#!/bin/sh

set -e

indir=debian/tests/c
this=wp
outdir=${ADT_ARTIFACTS:-/tmp}/${this}
mkdir -p ${outdir}

why3 config > /dev/null
frama-c -wp ${indir}/all_zeros.c > ${outdir}/${this}.out
if $(egrep -q "Proved goals:[[:space:]]*11 / 11" ${outdir}/${this}.out)
then
    exit 0
else
    cat ${outdir}/${this}.out
    exit 1
fi

