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 /contrib/run-script-sygusComp2016-CLIA | |
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 'contrib/run-script-sygusComp2016-CLIA')
0 files changed, 0 insertions, 0 deletions