[chore] Update scripts/kleef

UnitTestBot · Nov 7, 2023 · efd4273 · efd4273
1 parent 527a782
commit efd4273
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/scripts/kleef b/scripts/kleef
@@ -49,7 +49,8 @@ def klee_options(
         "--cex-cache-validity-cores",
         # "--libc=uclibc",
         # "--posix-runtime",
-        # "--fp-runtime",
+        "--fp-runtime",
+        "--x86FP-as-x87FP80",
         # "--max-sym-array-size=4096",
         "--symbolic-allocation-threshold=8192",
         # "--dump-all-states=false",