Skip to content

Commit

Permalink
Test only models with FunSAT
Browse files Browse the repository at this point in the history
Prevent to test models with other solvers as we cannot
guarantee they will produce exactly the same model.
We have to modify gentest to manage several expected files while
testing models.
  • Loading branch information
Halbaroth committed Sep 27, 2023
1 parent d4301df commit 3299ff7
Show file tree
Hide file tree
Showing 2 changed files with 155 additions and 3,039 deletions.
Loading

0 comments on commit 3299ff7

Please sign in to comment.