[chore] Update kleef script

Author: misonijnik

scripts/kleef

@@ -53,9 +53,10 @@ def klee_options(
         # "--libc=uclibc",
         # "--posix-runtime",
         "--fp-runtime",
-        "--x86FP-as-x87FP80",
+        "--x86FP-as-x87FP80=false",
         # "--max-sym-array-size=4096",
         "--symbolic-allocation-threshold=8192",
+        "--uninit-memory-test-multiplier=10",
         # "--dump-all-states=false",
         #  "--search=nurs:covnew",
         #  "--search=nurs:md2u", "--search=random-path",