ite renamed to sbsat.

Author: mkouril

tests/cnf_tests.sh.in

@@ -13,7 +13,7 @@ do
  if [ -f $i.params ] ; then
    PARAMS=`cat $i.params`
  fi
- ../src/ite --debug 0 --ini @top_srcdir@/tests/emptyite.ini --ctrl-c 0 $i $PARAMS
+ ../src/sbsat --debug 0 --ini @top_srcdir@/tests/emptyite.ini --ctrl-c 0 $i $PARAMS
  if [ $? != 0 ] ; then
     exit 1;
  fi

tests/longer_tests.sh.in

@@ -9,7 +9,7 @@ echo ===========================================
 for i in @top_srcdir@/tests/longer_tests/*.params
 do
  PARAMS="@top_srcdir@/tests/longer_tests/`cat $i`"
- CMD="../src/ite --debug 1 --ini ../tests/emptyite.ini --ctrl-c 0 $PARAMS"
+ CMD="../src/sbsat --debug 1 --ini ../tests/emptyite.ini --ctrl-c 0 $PARAMS"
 
  $CMD
  if [ $? != 0 ] ; then

tests/trace_tests.sh.in

@@ -12,7 +12,7 @@ do
  if [ -f $i.params ] ; then
    PARAMS=`cat $i.params`
  fi
- ../src/ite --ini @top_srcdir@/tests/emptyite.ini --debug 0 $i $PARAMS
+ ../src/sbsat --ini @top_srcdir@/tests/emptyite.ini --debug 0 $i $PARAMS
  if [ $? != 0 ] ; then
     exit 1;
  fi

tests/xor_tests.sh.in

@@ -13,7 +13,7 @@ do
  if [ -f $i.params ] ; then
    PARAMS=`cat $i.params`
  fi
- ../src/ite --ini @top_srcdir@/tests/emptyite.ini --debug 0 $i
+ ../src/sbsat --ini @top_srcdir@/tests/emptyite.ini --debug 0 $i
  if [ $? != 0 ] ; then
     exit 1;
  fi