Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Improve :check behavior for errors, Ctrl-C #114

Closed
acfoltzer opened this issue Sep 26, 2014 · 0 comments
Closed

Improve :check behavior for errors, Ctrl-C #114

acfoltzer opened this issue Sep 26, 2014 · 0 comments
Assignees
@acfoltzer
Labels
feature request Asking for new or improved functionality
Milestone
Cryptol 2.2

Comments

@acfoltzer
Copy link
Contributor

Following up on #103, we should make the random and exhaustive checker behave more gracefully when presented with an error or an interrupt. We should clean up the progress bars, and in the event of an error, report the inputs that yielded the error.
@acfoltzer acfoltzer self-assigned this Sep 26, 2014
@acfoltzer acfoltzer added this to the Cryptol 2.2 milestone Sep 26, 2014
@kiniry kiniry added the feature request Asking for new or improved functionality label Dec 2, 2014
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@acfoltzer acfoltzer

Labels
feature request Asking for new or improved functionality
Projects
None yet
Milestone
Cryptol 2.2
Development

No branches or pull requests
2 participants
@acfoltzer @kiniry