[ 0:00] + draw /home/xrockai/src/divine/nightly/test/lang-c/assert.c
[ 0:00] + divine draw --render cat /home/xrockai/src/divine/nightly/test/lang-c/assert.c
[ 0:00] + grep -i 'label.*=.*assert'
[ 0:00] compiling /home/xrockai/src/divine/nightly/test/lang-c/assert.c
[ 0:00] 1 -> 2 [ label = "FAULT: /home/xrockai/src/divine/nightly/test/lang-c/assert.c:6: int main(): assertion '0' failed\l[0] FATAL: assertion failure in userspace\l" color=red]
[ 0:04] + draw /home/xrockai/src/divine/nightly/test/lang-c/assert.c
[ 0:04] + divine draw --render cat /home/xrockai/src/divine/nightly/test/lang-c/assert.c
[ 0:04] + grep -i color=red
[ 0:04] compiling /home/xrockai/src/divine/nightly/test/lang-c/assert.c
[ 0:04] 1 -> 2 [ label = "FAULT: /home/xrockai/src/divine/nightly/test/lang-c/assert.c:6: int main(): assertion '0' failed\l[0] FATAL: assertion failure in userspace\l" color=red]
[ 0:08] + check debris
[ 0:08] + test -e warning