fix bug in benchmarks script
This commit is contained in:
parent
9971736a45
commit
ad50166bd0
@ -21,11 +21,11 @@ function run_solver
|
|||||||
solver_flag=true
|
solver_flag=true
|
||||||
if [ -n "$2" ]; then
|
if [ -n "$2" ]; then
|
||||||
if [ $SOLVER = hve ]; then
|
if [ $SOLVER = hve ]; then
|
||||||
extra_flag=clpbn_horus:set_horus_flag\(elim_heuristic,$2\)
|
solver_flag=clpbn_horus:set_horus_flag\(elim_heuristic,$2\)
|
||||||
elif [ $SOLVER = bp ]; then
|
elif [ $SOLVER = bp ]; then
|
||||||
extra_flag=clpbn_horus:set_horus_flag\(schedule,$2\)
|
solver_flag=clpbn_horus:set_horus_flag\(schedule,$2\)
|
||||||
elif [ $SOLVER = cbp ]; then
|
elif [ $SOLVER = cbp ]; then
|
||||||
extra_flag=clpbn_horus:set_horus_flag\(schedule,$2\)
|
solver_flag=clpbn_horus:set_horus_flag\(schedule,$2\)
|
||||||
else
|
else
|
||||||
echo "unknow flag $2"
|
echo "unknow flag $2"
|
||||||
fi
|
fi
|
||||||
|
Reference in New Issue
Block a user