Skip to content

Commit

Permalink
Use default solver for testing models (#938)
Browse files Browse the repository at this point in the history
Prior to c1e4387 (#829) we did not have
model generation in the default solver, and model generation required to
use the Tableaux solver, so we used the Tableaux solver when testing
models.

Since the default solver now supports model generation, we should use it
to test model generation instead, since the models generated by both
solvers can be different and most users will use the default solver
rather than the Tableaux solver.

Unfortunately, this causes some tests using `get-assignment` to fail
(see #937).
  • Loading branch information
bclement-ocp authored Nov 16, 2023
1 parent 2ee61aa commit e96d3d4
Showing 4 changed files with 79 additions and 103 deletions.
Loading

0 comments on commit e96d3d4

Please sign in to comment.