Merge pull request #99 from trailofbits/issue_96_always_log_failures

Fixes Issue #96 to always log failures.
This commit is contained in:
Peter Goodman
2018-08-08 13:52:36 -04:00
committed by GitHub
+3 -4
View File
@@ -40,11 +40,10 @@ class Stream {
DEEPSTATE_INLINE ~Stream(void) {
if (do_log) {
if (has_something_to_log) {
DeepState_LogStream(level);
} else {
DeepState_ClearStream(level);
if (!has_something_to_log) {
DeepState_StreamCStr(level, "Condition failed");
}
DeepState_LogStream(level);
}
}