blob: 2b009d3ce51f0de851fede55f8767799b6f654f7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
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
|
