debug

Author: dtcxzyw

fuzz.py

@@ -189,7 +189,8 @@ def print_check(name, res):
 start = time.time()
 
 print("Checklist:")
-scale = 1.0
+#scale = 1.0
+scale = 0.01
 # Correctness check
 print_check("Correctness Check", check("correctness", 3600 * scale))