#!/bin/sh

set -e

indir=/usr/share/doc/alt-ergo/examples/invalid

for infile in $indir/*.why
do
    alt-ergo $infile | grep -qv "Valid"
done
