-
Notifications
You must be signed in to change notification settings - Fork 109
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
fixed quickcheck percent done error #419
fixed quickcheck percent done error #419
Conversation
@Bodigrim Any thoughts on pulling this fix? |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I don't know internals of QuickCheck
well enough. @MaximilianAlgehed could you possibly review?
Probably yes.
Den ons 29 maj 2024 16:41William Rusnack ***@***.***> skrev:
… ***@***.**** commented on this pull request.
------------------------------
In quickcheck/Test/Tasty/QuickCheck.hs
<#419 (comment)>
:
> tm <- QC.newTerminal
(const $ pure ())
- (\progressText -> yieldProgress emptyProgress { progressPercent = parseProgress progressText })
+ $ \progressText -> do
+ ms <- readIORef maxSuccess
+ yieldProgress emptyProgress { progressPercent = 100 * parseProgress progressText / ms }
Does the callback remove the need for unsafePerformIO?
—
Reply to this email directly, view it on GitHub
<#419 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/ACBPPQP4IHXMZ6BMISXPZSLZEXSLBAVCNFSM6AAAAABHHYAJUCVHI2DSMVQWIX3LMV43YUDVNRWFEZLROVSXG5CSMV3GSZLXHMZDAOBVGYZTCMZZHA>
.
You are receiving this because you were mentioned.Message ID:
***@***.***>
|
Then it would probably be worth changing |
I wonder whether |
Callbacks get both the state and the result so it should be. |
@BebeSparkelSparkel do you need any help to make further progress here? I'd like to make a release of |
Yes, I do not know how to test this besides the visual I added. Also, with callbacks should shrinks be reported in the progress? |
@BebeSparkelSparkel looks good to me modulo two suggestions above. |
Co-authored-by: ˌbodʲɪˈɡrʲim <andrew.lelechenko@gmail.com>
Co-authored-by: ˌbodʲɪˈɡrʲim <andrew.lelechenko@gmail.com>
Done pull |
Thanks, that's great. |
closes #402