diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-10-04 16:15:47 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-10-04 16:15:47 +0000 |
| commit | 7094d127b0cd69b4926203c05dd2d60cb4d27292 (patch) | |
| tree | b913b13274593a841387a4d07840f6ef79da3a01 /test | |
| parent | 7961e06fdca05678d27653a0fbe6cec730664a3f (diff) | |
fixes to context-dependent caching substitutions
Diffstat (limited to 'test')
| -rw-r--r-- | test/regress/regress0/push-pop/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/regress/regress0/push-pop/Makefile.am b/test/regress/regress0/push-pop/Makefile.am index 86eeae902..1dd1dcfd5 100644 --- a/test/regress/regress0/push-pop/Makefile.am +++ b/test/regress/regress0/push-pop/Makefile.am @@ -11,7 +11,8 @@ MAKEFLAGS = -k CVC_TESTS = \ test.00.cvc \ test.01.cvc \ - units.cvc + units.cvc \ + incremental-subst-bug.cvc TESTS = $(SMT_TESTS) $(SMT2_TESTS) $(CVC_TESTS) $(BUG_TESTS) |