diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-06-11 17:54:14 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-11 17:54:14 -0700 |
commit | 9925a54ce86e9b0101563c0ace1b973144490528 (patch) | |
tree | db5c60df4c48e1ae268b6319d1e582e1864111d0 /test/regress/regress0 | |
parent | 707734fb384203d6b1c87fcec4cc14ce6fc9ed97 (diff) |
Disable dumping regression for non-dumping builds (#3046)
`let_shadowing.smt2` uses dumping to test our printing infrastructure.
Since some builds do not support dumping, this commit disables that
regression for non-dumping builds. Additionally, it enables an error
message when trying to dump with a muzzled build and corrects the output
of `--show-config` to indicate that muzzled builds cannot dump.
Previously, the dumping output of a muzzled build was just silently
empty.
Most of the changes in `dump.cpp` are due to reformatting.
Diffstat (limited to 'test/regress/regress0')
-rw-r--r-- | test/regress/regress0/printer/let_shadowing.smt2 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/regress/regress0/printer/let_shadowing.smt2 b/test/regress/regress0/printer/let_shadowing.smt2 index 3251e4e38..9b5ffe747 100644 --- a/test/regress/regress0/printer/let_shadowing.smt2 +++ b/test/regress/regress0/printer/let_shadowing.smt2 @@ -1,3 +1,4 @@ +; REQUIRES: dumping ; COMMAND-LINE: --dump raw-benchmark --preprocess-only ; SCRUBBER: grep assert ; EXPECT: (assert (let ((_let_1 (* x y))) (= _let_1 _let_1 _let_0))) |