#!/bin/bash

PARAM="$1"
SATALLAX=./satallax.native

$SATALLAX ${PARAM} problems/ORIMP.p
if [ $? != 20 ]; then
echo ERROR
fi
$SATALLAX ${PARAM} problems/PEIRCE1.p
if [ $? != 25 ]; then
echo ERROR
fi
$SATALLAX ${PARAM} -c - -p coqscript -m mode1 problems/CHOICE4.p
if [ $? != 20 ]; then
echo ERROR
fi
$SATALLAX ${PARAM} -p hocore -m mode1 problems/CHOICE20.p
if [ $? != 20 ]; then
echo ERROR
fi
$SATALLAX ${PARAM} -t 5 problems/ETADN.p
if [ $? != 20 ]; then
echo ERROR
fi
$SATALLAX ${PARAM} problems/REFL1.p
if [ $? != 25 ]; then
echo ERROR
fi
$SATALLAX ${PARAM} -v problems/TEUCKE1.p
if [ $? != 25 ]; then
echo ERROR
fi
$SATALLAX ${PARAM} -c - -p coqscript -m mode1 problems/KAM2.p
if [ $? != 20 ]; then
echo ERROR
fi
$SATALLAX ${PARAM} problems/CHOICE5.p
if [ $? != 15 ]; then
echo ERROR
fi
$SATALLAX ${PARAM} -p coqscript -C itp/coq2/coqltest1.v
if [ $? != 20 ]; then
echo ERROR
fi
$SATALLAX ${PARAM} -p coqspfterm -C itp/coq2/coqltest1.v
if [ $? != 20 ]; then
echo ERROR
fi
$SATALLAX ${PARAM} -N -m satmode2a problems/CHOICE5.p
if [ $? != 15 ]; then
echo ERROR
fi
