Commit 3e1e85b3 authored by Anastasiia's avatar Anastasiia

clean script 1

parent ae63f7aa
#!/bin/bash --posix
## declare an array variable
# declare -a arr=("element1" "element2" "element3")
# ## now loop through the above array
# for i in "${arr[@]}"
# do
# echo "$i"
# # or do whatever with individual element of the array
# done
# figure out how to write a list
declare -a uni=("testcases/relative/changedinputs/Bsplines.scala" \
"testcases/relative/changedinputs/Sine.scala" \
"testcases/relative/changedinputs/Sqrt.scala")
declare -a multi=("testcases/relative/changedinputs/Doppler.scala" \
"testcases/relative/changedinputs/Himmilbeau.scala" \
"testcases/relative/changedinputs/InvertedPendulum.scala" \
"testcases/relative/changedinputs/JetEngine.scala" \
"testcases/relative/changedinputs/Kepler.scala" \
"testcases/relative/changedinputs/RigidBody.scala" \
"testcases/relative/changedinputs/Traincar4.scala" \
"testcases/relative/changedinputs/Turbine.scala")
for file in "${uni[@]}"
do
echo $file
# ./daisy --solver=dreal --relative --rel-rangeMethod=smtcomplete $file >> paper_results/relerr_dreal_uni.txt
done
for file in "${multi[@]}"
do
echo $file
# ./daisy --solver=dreal --relative --rel-rangeMethod=smtcomplete $file >> paper_results/relerr_dreal_multi_nozero.txt
done
echo "testcases/relative/changedinputs/Kepler.scala"
./daisy --solver=dreal --relative --rel-rangeMethod=smtcomplete "testcases/relative/changedinputs/Kepler.scala" >> paper_results/relerr_dreal_multi_nozero.txt
echo "testcases/relative/changedinputs/JetEngine.scala"
./daisy --solver=dreal --relative --rel-rangeMethod=smtcomplete "testcases/relative/changedinputs/JetEngine.scala" >> paper_results/relerr_dreal_multi_nozero.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