Change it back to 0.001

7dd07b88 · Umang Yadav · 80cbf756 · 7dd07b88
Commit 7dd07b88 authored Sep 15, 2023 by Umang Yadav
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

src/driver/main.cpp src/driver/main.cpp +1 -1

No files found.
--- a/src/driver/main.cpp
+++ b/src/driver/main.cpp
@@ -536,7 +536,7 @@ struct params : command<params>
 struct verify : command<verify>
 {
    compiler c;
-    double threshold     = 0.002;
+    double threshold     = 0.001;
    bool per_instruction = false;
    bool reduce          = false;
    void parse(argument_parser& ap)