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/strings/bug613.smt2 | |
| 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/strings/bug613.smt2')
0 files changed, 0 insertions, 0 deletions