Commit 491610b9 authored by Heiko Becker's avatar Heiko Becker

Add experiment script

parent 44f78c9f
#!/bin/bash
arr=()
while IFS= read -r -d $'\0'; do
arr+=("$REPLY")
done < <(find ./testcases/verification/ -name "*.scala" -print0)
mkdir -p ./coq/output
mkdir -p ./hol/output
#declare -a arr=("testcases/verification/control_BatchReactor.scala" \
#"testcases/verification/control_BatchProcessor.scala" \
#"testcases/verification/control_BallBeam.scala" \
#"testcases/verification/control_Bicycle.scala" \
#"testcases/verification/control_DCMotor.scala" \
#"testcases/verification/control_InvertedPendulum.scala" \
#"testcases/verification/control_InvertedPendulum4.scala" \
#"testcases/verification/control_Pitch.scala" \
#"testcases/verification/control_RigidBody.scala" \
#"testcases/verification/control_Traincar1.scala" \
#"testcases/verification/control_Traincar2.scala" \
#"testcases/verification/control_Traincar3.scala" \
#"testcases/verification/control_Traincar4.scala" \
#)
for file in "${arr[@]}"
do
echo $file
echo ""
./daisy $file --certificate=coq
echo ""
done
#mv static_experiment.txt static_experiment_interval.txt
# for file in "${arr[@]}"
# do
# echo $file
# ./daisy --noInitialErrors --rangeMethod=affine $file
# done
# mv static_experiment.txt static_experiment_affine.txt
# for file in "${arr[@]}"
# do
# echo $file
# ./daisy --noInitialErrors --rangeMethod=smt $file
# done
# mv static_experiment.txt static_experiment_smt.txt
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment