coq-dpdgraph
coq-dpdgraph copied to clipboard
an attempts at reducing false alarms by sorting oracle files and logs
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
This one has the same problem than #76.