[ 0:00] + cat
[ 0:00] + divine verify prog.c
[ 0:00] + fgrep 'prog.c:5: int main(): assertion '\''1 != 1'\'' failed'
[ 0:00] compiling prog.c
[ 0:00] loading bitcode … DiOS … LART … RR … constants … done
[ 0:03] booting … done
[ 0:03] a report was written to prog.report
[ 0:04]   FAULT: prog.c:5: int main(): assertion '1 != 1' failed
[ 0:05] + check debris
[ 0:05] + test -e warning