#!/bin/sh

set -e

indir=debian/tests/why
why3 config detect > /dev/null 2>&1
for infile in $indir/minimum.mlw
do
    why3 prove -P spass $infile | grep -q "Valid"
done
