-
Notifications
You must be signed in to change notification settings - Fork 13
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
Add CustomTime time mode #65
base: master
Are you sure you want to change the base?
Conversation
I like the escape hatch! But given that we are extending |
OK. I've added the options as regular values that use |
Making them constructors would allow to specify them via command-line arguments which IMHO is quite useful. tasty-bench/src/Test/Tasty/Bench.hs Lines 916 to 919 in 2a66522
|
Can't we do this
? |
This option allows users to supply their own time function. (My use case is to get mutator time from the RTS.)
Addresses #60 minus the sub-issue of preventing breaking changes in the future if this option is not general enough.