# TAGS: min
. testcase

cp $srcdir/test/lang-c/assert.chk.c testcase.c

divine verify --report-filename verify.out testcase.c

sim --load-report verify.out <<EOF
+ ^# .*frame in __dios_fault
> backtrace
EOF
