diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-20 15:13:23 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-23 17:26:14 -0400 |
commit | 55ca82cf4c48911e7cdad7f82b58497ba9822579 (patch) | |
tree | 1d77a72676b544c0d9f11f8ec3f5d7cdc07c834a /test | |
parent | 10f34b74c309fa24ec14e92d65f96d1e831264a5 (diff) |
Fatal error if --unconstrained-simp and --produce-models used together (before it would just override the user and turn off models).
Diffstat (limited to 'test')
-rw-r--r-- | test/regress/regress0/unconstrained/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/regress/regress0/unconstrained/Makefile.am b/test/regress/regress0/unconstrained/Makefile.am index dcc44d43a..a262499b8 100644 --- a/test/regress/regress0/unconstrained/Makefile.am +++ b/test/regress/regress0/unconstrained/Makefile.am @@ -13,7 +13,8 @@ TESTS_ENVIRONMENT = \ $(AM_LOG_FLAGS) $(LOG_FLAGS) endif -override CVC4_REGRESSION_ARGS += --unconstrained-simp +# models not supported with unconstrained simp +override CVC4_REGRESSION_ARGS += --unconstrained-simp --no-check-models export CVC4_REGRESSION_ARGS MAKEFLAGS = -k |