# TAGS: min
. testcase
egrep -v '^// S :' < $srcdir/test/lang-c/assert.chk.c > testcase.c

sim testcase.c <<EOF
+ ^# executing __boot at
> setup --sticky "source"
> start
+ ^\s*4 int main\(\)
EOF

sim testcase.c <<EOF
+ ^# executing __boot at
> start
> setup --sticky "backtrace $state"
> stepi
+   main at
+   __dios_start at
EOF
