[chore] Update build.sh

UnitTestBot · Nov 24, 2023 · 0668bd3 · 0668bd3
1 parent 1730544
commit 0668bd3
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/build.sh b/build.sh
@@ -31,7 +31,7 @@ LLVM_VERSION=14
 ENABLE_OPTIMIZED=1
 ENABLE_DEBUG=0
 DISABLE_ASSERTIONS=1
-REQUIRES_RTTI=0
+REQUIRES_RTTI=1
 
 ## Solvers Required options
 # SOLVERS=STP

diff --git a/scripts/kleef b/scripts/kleef
@@ -86,8 +86,13 @@ def klee_options(
             # "--target-assert", # Target
         ]
         if max_time:
+            max_time = float(max_time)
+            if max_time and int(max_time) > 30:
+                max_time = int(max_time * 0.99)
+            else:
+                max_time = int(max_time * 0.9)
             cmd += [
-                f"--max-time={int(max_time)}",  # Use the whole time
+                f"--max-time={max_time}",
             ]
 
     if f_cov: