Add run subset

VeriFIT · Oct 24, 2023 · 3951c80 · 3951c80
1 parent 6f3e85d
commit 3951c80
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/run_subset.sh b/run_subset.sh
@@ -0,0 +1,6 @@
+#!/bin/bash
+#
+echo "[!] Running subset of results (could take about 4 hours)"
+read -p "Press <any> key to starts subset of experiments"
+rm -rf ./results/data/partial-experiments || true
+./run_all.sh --jobs 4 --timeout 60 --armc-incl --lia-explicit --lia-symbolic --output-dir partial-experiments