diff options
author | Tim King <taking@google.com> | 2017-01-10 17:51:14 -0800 |
---|---|---|
committer | Tim King <taking@google.com> | 2017-01-10 18:21:15 -0800 |
commit | 1e7807069e07a710bafa83fc7412c3ac164249b8 (patch) | |
tree | 3301a132c17645a33abe8e5bb331fa3d721af33d /test/Makefile.am | |
parent | ff498bb43b3d3785bdb894974678e65926de62ab (diff) |
Adding regression test scrubbing.
Diffstat (limited to 'test/Makefile.am')
-rw-r--r-- | test/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/Makefile.am b/test/Makefile.am index b2df85e97..89ac66a3a 100644 --- a/test/Makefile.am +++ b/test/Makefile.am @@ -39,6 +39,7 @@ subdirs_to_check = \ regress/regress0/bv/core \ regress/regress0/datatypes \ regress/regress0/decision \ + regress/regress0/expect \ regress/regress0/fmf \ regress/regress0/lemmas \ regress/regress0/parser \ |