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.