blob: 77a8bef7e163006bc1bf5c8b3607fdeb6ede7794 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#!/bin/bash
# @author gourdinl
# Script to compute profiling results for multiple version of CompCert
CCOMPS=(
"/home/yuki/Work/VERIMAG/Compcert_one"
"/home/yuki/Work/VERIMAG/Compcert_two"
"/home/yuki/Work/VERIMAG/Compcert_three"
)
FCTS=(
'.*function_equiv_checker$;.*WF.*function_checker$;.*Live.*function_checker$'
'.*check_symbolic_simu$'
'.*check_symbolic_simu$;.*liveness_checker$'
)
for ((i = 0; i < ${#CCOMPS[@]}; i++)); do
./prof_ci_tests.sh ${CCOMPS[$i]} ${FCTS[$i]}
done
|