# TAGS: min
. testcase

cp $srcdir/test/demo/deadlock.chk.c testcase.c
cp $srcdir/test/demo/demo.h .

sim testcase.c <<EOF
> setup --debug libc
> stepa
> stepa
> rewind #1
! ERROR
+ executing __dios_start
EOF
