diff options
| -rw-r--r-- | test/regress/regress1/rewriterules/Makefile.am | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/regress/regress1/rewriterules/Makefile.am b/test/regress/regress1/rewriterules/Makefile.am index b0fdcbee6..a5a045d2e 100644 --- a/test/regress/regress1/rewriterules/Makefile.am +++ b/test/regress/regress1/rewriterules/Makefile.am @@ -13,6 +13,11 @@ TESTS_ENVIRONMENT = \ $(AM_LOG_FLAGS) $(LOG_FLAGS) endif +override CVC4_REGRESSION_ARGS += --rewrite-rules +export CVC4_REGRESSION_ARGS + +MAKEFLAGS = -k + # These are run for all build profiles. # If a test shouldn't be run in e.g. competition mode, # put it below in "TESTS +=" |