-
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
Tasty progress reporting #311
Merged
Bodigrim
merged 13 commits into
UnkindPartition:master
from
coot:coot/try-adding-progress-rpt
Jul 29, 2023
Merged
Tasty progress reporting #311
Bodigrim
merged 13 commits into
UnkindPartition:master
from
coot:coot/try-adding-progress-rpt
Jul 29, 2023
Commits on Jul 29, 2023
-
There are bits that are still not very clever but it seems to work. I'm concerned about a performance hit from constantly thrashing the TVars and checking them all the time.
Configuration menu - View commit details
-
Copy full SHA for c6def8f - Browse repository at this point
Copy the full SHA c6def8fView commit details -
QuickCheck has its own progress information which shows number of test cases done so far and if a test fails also reports the number of shrinks. Tasty disables QuickCheck's output by setting 'chatty' option to 'False'. We can now feed this information to tasty progress reporting by defining how 'QuickCheck's speaks to a terminal.
Configuration menu - View commit details
-
Copy full SHA for cc2e0c7 - Browse repository at this point
Copy the full SHA cc2e0c7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 22cc6c2 - Browse repository at this point
Copy the full SHA 22cc6c2View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7b8c2c5 - Browse repository at this point
Copy the full SHA 7b8c2c5View commit details -
Configuration menu - View commit details
-
Copy full SHA for f3282b9 - Browse repository at this point
Copy the full SHA f3282b9View commit details -
Avoid potential multi-line progress lines
Without these changes, I get multiple dots from QuickCheck on the terminal with --quickcheck-tests=1000000 Either of them suffices for a fix, but they both make sense.
Configuration menu - View commit details
-
Copy full SHA for 417e9ad - Browse repository at this point
Copy the full SHA 417e9adView commit details -
Configuration menu - View commit details
-
Copy full SHA for f0fcf30 - Browse repository at this point
Copy the full SHA f0fcf30View commit details -
Configuration menu - View commit details
-
Copy full SHA for bc4a788 - Browse repository at this point
Copy the full SHA bc4a788View commit details -
Configuration menu - View commit details
-
Copy full SHA for 611b716 - Browse repository at this point
Copy the full SHA 611b716View commit details -
Updated tasty-quickcheck CHANGELOG.md file
And bumped version to 0.10.3.
Configuration menu - View commit details
-
Copy full SHA for 1e488fb - Browse repository at this point
Copy the full SHA 1e488fbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 2b6ac07 - Browse repository at this point
Copy the full SHA 2b6ac07View commit details -
Fix CI: turn off haddock step for GHC 8.4
This haddock is too old for parsing constructor field documentation.
Configuration menu - View commit details
-
Copy full SHA for 7035f76 - Browse repository at this point
Copy the full SHA 7035f76View commit details -
Configuration menu - View commit details
-
Copy full SHA for 29f43a4 - Browse repository at this point
Copy the full SHA 29f43a4View commit details
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.