#!/bin/sh

#set -e

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

frama-c -eva ${indir}/abs.c -main abs > ${outdir}/${this}.out
if $(egrep -q "signed overflow" ${outdir}/${this}.out)
then
    exit 0
else
    cat ${outdir}/${this}.out
    exit 1
fi

