add verifiers paths for millibenchmarks in containr

verus-lang · Aug 19, 2024 · 2887bc6 · 2887bc6
1 parent 8ddbdc4
commit 2887bc6
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/milli/util/verifiers-exe-vars b/milli/util/verifiers-exe-vars
@@ -0,0 +1,5 @@
+EVAL_CREUSOT_EXE=/root/eval/util/why-3-replay.sh
+EVAL_PRUSTI_EXE=/root/eval/verifiers/prusti/target/release/prusti-rustc
+EVAL_FSTARLOWSTAR_EXE=/root/.opam/4.14.1/bin/fstar.exe
+EVAL_DAFNY_EXE=/root/eval/verifiers/dafny/dafny
+EVAL_VERUS_EXE=/root/eval/verifiers/verus/source/target-verus/release/verus