Merge pull request #149 from shuangxiangkan/master

Modify the default threshold of diff_test
SVF-tools · Sep 4, 2024 · a5c7c68 · a5c7c68
2 parents ccd4d1b + aa80dc1
commit a5c7c68
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/diff_tests/difftest.py b/diff_tests/difftest.py
@@ -82,7 +82,7 @@ def comparer_andersen(stats1: Stats, stats2: Stats):
             else:
                 return
     # Default threshold
-    if delta > 0.001:
+    if delta > 0.001008:
         raise ValueError(f"Diff AvgTopLvlPtsSize {delta} too large")
 
 def comparer_filesystem(stats1: Stats, stats2: Stats):