#!/bin/sh

set -e

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