#!/bin/sh

set -e

indir=debian/tests/why
for infile in $indir/*.mlw
do
    why3 prove -P alt-ergo $infile | grep -q "Valid"
done
