From f7c6f8ad56a645a09a5a22010f86ca7a81d85635 Mon Sep 17 00:00:00 2001
From: Loic Guegan <manzerbredes@mailbox.org>
Date: Wed, 19 May 2021 16:45:04 +0200
Subject: Debug simulator and add paper scenarios

---
 results/scenarios/scenario.sh | 52 +++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 52 insertions(+)
 create mode 100755 results/scenarios/scenario.sh

(limited to 'results/scenarios/scenario.sh')

diff --git a/results/scenarios/scenario.sh b/results/scenarios/scenario.sh
new file mode 100755
index 0000000..2b009d3
--- /dev/null
+++ b/results/scenarios/scenario.sh
@@ -0,0 +1,52 @@
+#!/usr/bin/env bash
+
+set -e
+
+wai=$(dirname $(readlink -f "$0"))
+inputs="${wai}/../../inputs.json"
+simulator="make -C ${wai}/../../ run"
+
+run-simulation () {
+    # Run simulations
+    $simulator 2>&1
+}
+
+
+echo "Which scenario to run:"
+echo "(a) Baseline"
+echo "(b) Extended"
+echo "(c) Hint"
+echo "(d) Hint+Extended"
+
+read -p "> " -n 1 -r
+echo 
+
+case $REPLY in
+    a)
+        echo "Run baseline scenarios (a)"
+        cp ${wai}/baseline.json $inputs
+        run-simulation
+        ;;
+    b)
+        echo "Run extended scenarios (b)"
+        cp ${wai}/extended.json $inputs
+        run-simulation
+        ;;
+    c)
+        echo "Run hint scenarios (c)"
+        cp ${wai}/hint.json $inputs
+        run-simulation
+        ;;
+    d)
+        echo "Run hint+extended scenarios (d)"
+        cp ${wai}/hint_extended.json $inputs
+        run-simulation
+        ;;
+    *)
+        echo "Unknown choice"
+        exit 1
+        ;;
+esac
+
+
+
-- 
cgit v1.2.3