From 5b039db15f54f98085fa1b5b22efaa86c49db370 Mon Sep 17 00:00:00 2001
From: Loïc Guégan <loic.guegan@mailbox.org>
Date: Tue, 23 Sep 2025 12:14:53 +0200
Subject: Cleaning result folder

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

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

diff --git a/simulations/results/scenarios/scenario.sh b/simulations/results/scenarios/scenario.sh
deleted file mode 100755
index 2b009d3..0000000
--- a/simulations/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