#!/bin/bash
bin/satallax.opt problems/ORIMP.p
if [ $? != 20 ]; then
echo ERROR
fi
bin/satallax.opt problems/PEIRCE1.p
if [ $? != 25 ]; then
echo ERROR
fi
bin/satallax.opt -c - -p -m mode1 problems/CHOICE4.p
if [ $? != 20 ]; then
echo ERROR
fi
bin/satallax.opt -t 5 problems/ETADN.p
if [ $? != 20 ]; then
echo ERROR
fi
bin/satallax.opt problems/REFL1.p
if [ $? != 25 ]; then
echo ERROR
fi
bin/satallax.opt -v problems/TEUCKE1.p
if [ $? != 25 ]; then
echo ERROR
fi
bin/satallax.opt -c - -p -m mode1 problems/KAM2.p
if [ $? != 20 ]; then
echo ERROR
fi
bin/satallax.opt problems/CHOICE5.p
if [ $? != 15 ]; then
echo ERROR
fi
