#!/bin/sh

set -e

indir=$PWD/Examples
outdir=${TMPDIR-/tmp}

cd $outdir
for infile in presburger.mona minusmodulo.mona
do
    mona $indir/$infile | grep -q 'Formula is valid'
done
