From d2f335bb6be7c6739223ea68edf453a7f8f53401 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Sat, 18 Mar 2017 10:40:33 +0000 Subject: [WIP] Fix bug where stats would not be updated on early exit caused by finding a bug with the `-exit-on-error` option enabled. --- include/klee/Interpreter.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'include') diff --git a/include/klee/Interpreter.h b/include/klee/Interpreter.h index 4c428994..40f59ff1 100644 --- a/include/klee/Interpreter.h +++ b/include/klee/Interpreter.h @@ -138,6 +138,8 @@ public: virtual void setInhibitForking(bool value) = 0; + virtual void prepareForEarlyExit() = 0; + /*** State accessor methods ***/ virtual unsigned getPathStreamID(const ExecutionState &state) = 0; -- cgit 1.4.1