abandon, rather than fatal, on failed assumption, for fuzzing

2018-06-23 15:00:52 -07:00
parent 079b8083fa
commit 16e9255396
1 changed files with 1 additions and 2 deletions
@@ -278,8 +278,7 @@ 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_LogFatal, "Assumption %s at %s(%u) failed",
-                        expr_str, file, line);
+    DeepState_Abandon("Assumption failed");
  }
 }