more verbose assumption failures

2018-11-30 12:24:27 -07:00
parent a0bfead4cf
commit 5dff6925f5
1 changed files with 3 additions and 0 deletions
@@ -298,6 +298,9 @@ int32_t DeepState_MaxInt(int32_t v) {
 void _DeepState_Assume(int expr, const char *expr_str, const char *file,
                       unsigned line) {
  if (!expr) {
+    DeepState_LogFormat(DeepState_LogError,
+                      "%s(%u): Assumption %s failed",
+                      file, line, expr_str);    
    DeepState_Abandon("Assumption failed");
  }
 }