[ 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:04] + grep 'configure the fault handler' trace.out
[ 0:04] - [force-]{ignore|report|abort}: configure the fault handler
[ 0:04] + check_help proxy
[ 0:04] + divine exec -o help --dios-config proxy test.c
[ 0:04] compiling test.c
[ 0:04] loading bitcode … DiOS … LART … RR … constants … done
[ 0:11] booting … done
[ 0:11] a report was written to test.report
[ 0:11] + grep 'configure the fault handler' trace.out
[ 0:11] - [force-]{ignore|report|abort}: configure the fault handler
[ 0:11] + check_help sync
[ 0:11] + divine exec -o help --dios-config sync test.c
[ 0:11] compiling test.c
[ 0:11] 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] + check_help replay
[ 0:14] + divine exec -o help --dios-config replay test.c
[ 0:14] compiling test.c
[ 0:14] loading bitcode … DiOS … LART … RR … constants … done
[ 0:22] booting … done
[ 0:22] a report was written to test.report
[ 0:22] + grep 'configure the fault handler' trace.out
[ 0:22] - [force-]{ignore|report|abort}: configure the fault handler
[ 0:22] + exit 0
[ 0:22] + check debris
[ 0:22] + test -e warning