[ 0:01] + cat
[ 0:01] + result=0
[ 0:01] + check_help default
[ 0:01] + divine exec -o help --dios-config default test.c
[ 0:01] compiling test.c
[ 0:01] loading bitcode … DiOS … LART … RR … constants … done
[ 0:03] booting … done
[ 0:03] a report was written to test.report
[ 0:03] + grep 'configure the fault handler' trace.out
[ 0:03] - [force-]{ignore|report|abort}: configure the fault handler
[ 0:03] + check_help proxy
[ 0:03] + divine exec -o help --dios-config proxy test.c
[ 0:03] compiling test.c
[ 0:03] loading bitcode … DiOS … LART … RR … constants … done
[ 0:07] booting … done
[ 0:07] a report was written to test.report
[ 0:07] + grep 'configure the fault handler' trace.out
[ 0:08] - [force-]{ignore|report|abort}: configure the fault handler
[ 0:08] + check_help sync
[ 0:08] + divine exec -o help --dios-config sync test.c
[ 0:08] compiling test.c
[ 0:08] loading bitcode … DiOS … LART … RR … constants … done
[ 0:09] booting … done
[ 0:09] a report was written to test.report
[ 0:09] + grep 'configure the fault handler' trace.out
[ 0:10] - [force-]{ignore|report|abort}: configure the fault handler
[ 0:10] + check_help replay
[ 0:10] + divine exec -o help --dios-config replay test.c
[ 0:10] compiling test.c
[ 0:10] loading bitcode … DiOS … LART … RR … constants … done
[ 0:14] booting … done
[ 0:14] a report was written to test.report
[ 0:14] + grep 'configure the fault handler' trace.out
[ 0:14] - [force-]{ignore|report|abort}: configure the fault handler
[ 0:14] + exit 0
[ 0:14] + check debris
[ 0:14] + test -e warning