From 8260634af49e26db25149515787b56610b922d56 Mon Sep 17 00:00:00 2001
From: Loïc Guégan <loic.guegan@mailbox.org>
Date: Sun, 30 Jun 2024 14:49:37 +0200
Subject: Cleaning repository

---
 results/scenarios/scenario.sh | 52 -------------------------------------------
 1 file changed, 52 deletions(-)
 delete mode 100755 results/scenarios/scenario.sh

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

diff --git a/results/scenarios/scenario.sh b/results/scenarios/scenario.sh
deleted file mode 100755
index 2b009d3..0000000
--- a/results/scenarios/scenario.sh
+++ /dev/null
@@ -1,52 +0,0 @@
-#!/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