coq-dpdgraph icon indicating copy to clipboard operation
coq-dpdgraph copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

test files are too flimsy

Open ybertot opened this issue 4 years ago • 0 comments

After the merge of PR#74 make tests reports changes that are not relevant. Files are mostly the same, except the order of lines has changed.

We should compare logs with oracles only after sorting.

ybertot avatar Sep 24 '20 07:09 ybertot