remove one invalid file from the whitelist, increase the number of

retries in case of segfault
OCamlPro · Aug 13, 2024 · db032d8 · db032d8
1 parent e21c4ca
commit db032d8
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/bench/testcomp/whitelist.txt b/bench/testcomp/whitelist.txt
@@ -1209,7 +1209,6 @@ hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsa16a_p7.yml
 hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsa16a_p8.yml
 hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p01.yml
 busybox-1.22.0/ls-incomplete-2.yml
-busybox-1.22.0/od-4.yml
 busybox-1.22.0/printf-3.yml
 busybox-1.22.0/test-1.yml
 ldv-linux-3.7.3/main0_drivers--media--dvb-frontends--stv090x-ko---32_7a--linux-3.7.3.yml

diff --git a/bench/tool/tool.ml b/bench/tool/tool.ml
@@ -160,7 +160,7 @@ let fork_and_run_on_file ~i ~fmt ~output_dir ~file ~tool ~timeout =
         | result -> result
       end
     in
-    loop 3
+    loop 10
   in
   Format.fprintf fmt "%a@\n" Report.Run_result.pp result;
   result
-Original file line number
+Diff line change
@@ Expand Up @@
             | result -> result
           end
         in
-        loop 3
+        loop 10
       in
       Format.fprintf fmt "%a@\n" Report.Run_result.pp result;
       result