diff options
| author | yoni206 <yoni206@users.noreply.github.com> | 2020-09-15 21:31:10 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-15 23:31:10 -0500 |
| commit | e61c6ecf2e8c569d9f1b5f27ec1309371cc45cff (patch) | |
| tree | 339ec96158b78b7e998a6c4edd16a4127a7fe8aa /test/regress/regress0/tptp/MGT031-1.p | |
| parent | 85a3056bed70e226d9e17a1f5785d957628f9e26 (diff) | |
bv2int: support models in tests (#5068)
Previous changes in this preprocessing pass have already enabled model generation when using it.
However, the satisfiable tests still had --no-check-models.
The changes in this PR:
All --no-check-models from current tests for the preprocessing pass are removed.
Refactoring of the relevant part of the code.
Solves CVC4/cvc4-projects#128.
Remark: disabling white-spaces when reviewing this PR is recommended.
Diffstat (limited to 'test/regress/regress0/tptp/MGT031-1.p')
0 files changed, 0 insertions, 0 deletions