diff options
Diffstat (limited to 'test')
| -rwxr-xr-x | test/symbolic/klee/run.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/symbolic/klee/run.sh b/test/symbolic/klee/run.sh index 97ce42c31b..d022fccb02 100755 --- a/test/symbolic/klee/run.sh +++ b/test/symbolic/klee/run.sh @@ -58,7 +58,6 @@ main() { includes="$includes -I/host-includes" local defines= - defines="$defines -DMIN_LOG_LEVEL=9999" defines="$defines -DINCLUDE_GENERATED_DECLARATIONS" test -z "$compile" && defines="$defines -DUSE_KLEE" |