# TAGS: min
. testcase

cat > prog.c <<EOF
#include <assert.h>

int main()
{
    assert(1 != 1);
    return 0;
}
EOF

divine verify prog.c
if ! fgrep "prog.c:5: int main(): assertion '1 != 1' failed" prog.report
    then false;
fi
