From 2887bc6f15257de1ac066ca35d5a7f8f9e53d136 Mon Sep 17 00:00:00 2001
From: Andrea Lattuada <andrea@lattuada.me>
Date: Mon, 19 Aug 2024 23:50:17 +0200
Subject: [PATCH] add verifiers paths for millibenchmarks in containr

---
 milli/util/verifiers-exe-vars | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 milli/util/verifiers-exe-vars

diff --git a/milli/util/verifiers-exe-vars b/milli/util/verifiers-exe-vars
new file mode 100644
index 0000000..62e3619
--- /dev/null
+++ 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