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.

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

an attempts at reducing false alarms by sorting oracle files and logs #77

Open
wants to merge 1 commit into
base: coq-master
Choose a base branch
from

Conversation

ybertot
Copy link
Collaborator

@ybertot ybertot commented Sep 24, 2020

If this is merged, tests will be slightly less precise but will be resistant to some changes in order of lines.

We may consider that the occasions where sorting is needed are too rare to bother.

Yves

@Karmaki
Copy link
Collaborator

Karmaki commented Oct 29, 2020

This one has the same problem than #76.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants