-
Notifications
You must be signed in to change notification settings - Fork 1
/
run-random-all-together.sh
executable file
·68 lines (50 loc) · 3.71 KB
/
run-random-all-together.sh
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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
#!/bin/bash -l
#SBATCH -n 1
#SBATCH -N 1
#SBATCH -c 4
#SBATCH --time=0-24:00:00
#SBATCH -p batch
#SBATCH --qos=qos-batch
#SBATCH -J Random-Unreal-Repair
#SBATCH --mail-user=renzo.degiovanni@uni.lu
#SBATCH --mail-type=all
module purge
export BASEDIR=/home/users/rdegiovanni/unreal-repair
export JAVA_HOME=/home/users/rdegiovanni/envlib/java-11-oracle/
export ANT_HOME=/home/users/rdegiovanni/envlib/ant/
export LIB_HOME=/home/users/rdegiovanni/envlib/lib/
#export LD_LIBRARY_PATH=~/envlib/lib/:~/envlib/clib/:$LD_LIBRARY_PATH
export PATH=$JAVA_HOME/bin:$ANT_HOME/bin:$LIB_HOME:$PATH
module load tools/Singularity/3.5.2
pushd ${BASEDIR}
echo $JAVA_HOME
echo $PATH
echo $(java -version)
echo $(javac -version)
ant compile
K=$1
RESULT_DIR=$2
CONFIG='-Max=1000 -Gen=1000 -Pop=1000 -k=20 -GATO=7200 -addA -onlyInputsA -random -geneNUM=0'
#for K in {9..9}
#do
echo "Running Minepump..."
./unreal-repair.sh $CONFIG -ref=case-studies/minepump/genuine/minepump_fixed0.tlsf -ref=case-studies/minepump/genuine/minepump_fixed1.tlsf -ref=case-studies/minepump/genuine/minepump_fixed2.tlsf -out=$RESULT_DIR/minepump/minepump-random-$K case-studies/minepump/minepump.tlsf > $RESULT_DIR/minepump/minepump-random-$K.out
echo "Running Arbiter..."
./unreal-repair.sh $CONFIG -ref=case-studies/arbiter/genuine/arbiter_fixed0.tlsf -ref=case-studies/arbiter/genuine/arbiter_fixed1.tlsf -ref=case-studies/arbiter/genuine/arbiter_fixed2.tlsf -ref=case-studies/arbiter/genuine/arbiter_fixed3.tlsf -out=$RESULT_DIR/arbiter/arbiter-random-$K case-studies/arbiter/arbiter.tlsf > $RESULT_DIR/arbiter/arbiter-random-$K.out
echo "Running Lily02..."
./unreal-repair.sh $CONFIG -ref=case-studies/lily02/genuine/lilydemo02_fixed.tlsf -out=$RESULT_DIR/lilydemo02/lilydemo02-random-$K case-studies/lily02/lilydemo02.tlsf > $RESULT_DIR/lilydemo02/lilydemo02-random-$K.out
echo "Running RG1..."
./unreal-repair.sh $CONFIG -ref=case-studies/RG1/genuine/RG1_fixed0.tlsf -ref=case-studies/RG1/genuine/RG1_fixed1.tlsf -ref=case-studies/RG1/genuine/RG1_fixed2.tlsf -ref=case-studies/RG1/genuine/RG1_fixed3.tlsf -out=$RESULT_DIR/RG1/RG1-random-$K case-studies/RG1/RG1.tlsf > $RESULT_DIR/RG1/RG1-random-$K.out
echo "Running RG2..."
./unreal-repair.sh $CONFIG -ref=case-studies/RG2/genuine/RG2_fixed0.tlsf -ref=case-studies/RG2/genuine/RG2_fixed1.tlsf -out=$RESULT_DIR/RG2/RG2-random-$K case-studies/RG2/RG2.tlsf > $RESULT_DIR/RG2/RG2-random-$K.out
echo "Running Lift..."
./unreal-repair.sh $CONFIG -ref=case-studies/lift/genuine/Lift_fixed0.tlsf -ref=case-studies/lift/genuine/Lift_fixed1.tlsf -out=$RESULT_DIR/Lift/Lift-random-$K case-studies/lift/Lift.tlsf > $RESULT_DIR/Lift/Lift-random-$K.out
echo "Running HumanoidLTL_458..."
./unreal-repair.sh $CONFIG -ref=case-studies/HumanoidLTL_458/genuine/HumanoidLTL_460_Humanoid.tlsf -out=$RESULT_DIR/HumanoidLTL_458/HumanoidLTL_458-random-$K case-studies/HumanoidLTL_458/HumanoidLTL_458_Humanoid_fixed_unrealizable.tlsf > $RESULT_DIR/HumanoidLTL_458/HumanoidLTL_458-random-$K.out
echo "Running GyroUnrealizable_Var1..."
./unreal-repair.sh $CONFIG -ref=case-studies/GyroUnrealizable_Var1/genuine/GyroLTLVar3_702_GyroAspect.tlsf -out=$RESULT_DIR/GyroUnrealizable_Var1/GyroUnrealizable_Var1-random-$K case-studies/GyroUnrealizable_Var1/GyroUnrealizable_Var1_710_GyroAspect_unrealizable.tlsf > $RESULT_DIR/GyroUnrealizable_Var1/GyroUnrealizable_Var1-random-$K.out
echo "Running GyroUnrealizable_Var2..."
./unreal-repair.sh $CONFIG -ref=case-studies/GyroUnrealizable_Var2/genuine/GyroLTLVar3_702_GyroAspect.tlsf -out=$RESULT_DIR/GyroUnrealizable_Var2/GyroUnrealizable_Var2-random-$K case-studies/GyroUnrealizable_Var2/GyroUnrealizable_Var2_710_GyroAspect_unrealizable.tlsf > $RESULT_DIR/GyroUnrealizable_Var2/GyroUnrealizable_Var2-random-$K.out
#done
echo "Finished."
popd