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 /src/base | |
| 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 'src/base')
| -rw-r--r-- | src/base/configuration.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/configuration.cpp b/src/base/configuration.cpp index a7fa79395..080c817a4 100644 --- a/src/base/configuration.cpp +++ b/src/base/configuration.cpp @@ -59,7 +59,7 @@ bool Configuration::isTracingBuild() { } bool Configuration::isDumpingBuild() { - return IS_DUMPING_BUILD; + return IS_DUMPING_BUILD && !IS_MUZZLED_BUILD; } bool Configuration::isMuzzledBuild() { |