Skip to content

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

Open
ybertot wants to merge 1 commit into
rocq-community:coq-masterfrom
ybertot:sorted-oracles
Open

an attempts at reducing false alarms by sorting oracle files and logs#77
ybertot wants to merge 1 commit into
rocq-community:coq-masterfrom
ybertot:sorted-oracles

Conversation

@ybertot

@ybertot ybertot commented Sep 24, 2020

Copy link
Copy Markdown
Collaborator

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

Karmaki commented Oct 29, 2020

Copy link
Copy Markdown
Collaborator

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