Commit 60697f73 authored by Anastasiia's avatar Anastasiia

synchr

parent dbb0d3b8
#!/bin/bash --posix
declare -a uni=("testcases/relative/changedinputs/Bsplines.scala" "testcases/relative/changedinputs/Sine.scala" "testcases/relative/changedinputs/Sqrt.scala")
for file in "${uni[@]}"
do
echo "$file"
bash daisy --relative --denormals --rel-rangeMethod=smtreuse --divLimit=0 --approach=naive $file >> nozero_z3_naive_bUp_univar.txt
done
declare -a multi=("testcases/relative/changedinputs/Doppler.scala" "testcases/relative/changedinputs/RigidBody.scala" "testcases/relative/changedinputs/Turbine.scala" "testcases/relative/changedinputs/JetEngine.scala" "testcases/relative/changedinputs/Himmilbeau.scala" "testcases/relative/changedinputs/InvertedPendulum.scala" "testcases/relative/changedinputs/Kepler.scala" "testcases/relative/changedinputs/Traincar4.scala")
for file in "${multi[@]}"
do
echo "$file"
bash daisy --relative --denormals --rel-rangeMethod=smtreuse --divLimit=0 --approach=naive $file >> nozero_z3_naive_bUp_multivar.txt
done
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