[ 0:00] + draw /home/xrockai/src/divine/nightly/test/dios/fairness.pkg.cpp
[ 0:00] + divine draw --render cat /home/xrockai/src/divine/nightly/test/dios/fairness.pkg.cpp
[ 0:00] + grep -i color=blue
[ 0:00] compiling /home/xrockai/src/divine/nightly/test/dios/fairness.pkg.cpp
[ 0:00] 24 -> 53 [ label = "[0] terminating with uncaught exception of type std::bad_alloc: std::bad_alloc\lFAULT: Uncaught signal.\l[0] FATAL: control error in kernel\l" color=blue]
[ 0:16] 26 -> 53 [ label = "[0] terminating with uncaught exception of type std::bad_alloc: std::bad_alloc\lFAULT: Uncaught signal.\l[0] FATAL: control error in kernel\l" color=blue]
[ 0:16] 28 -> 53 [ label = "[0] terminating with uncaught exception of type std::bad_alloc: std::bad_alloc\lFAULT: Uncaught signal.\l[0] FATAL: control error in kernel\l" color=blue]
[ 0:16] 30 -> 53 [ label = "[0] terminating with uncaught exception of type std::bad_alloc: std::bad_alloc\lFAULT: Uncaught signal.\l[0] FATAL: control error in kernel\l" color=blue]
[ 0:16] 32 -> 55 [ label = "" color=blue]
[ 0:16] 34 -> 57 [ label = "" color=blue]
[ 0:16] 36 -> 59 [ label = "" color=blue]
[ 0:16] 38 -> 61 [ label = "" color=blue]
[ 0:16] 40 -> 63 [ label = "" color=blue]
[ 0:16] 42 -> 65 [ label = "" color=blue]
[ 0:16] 44 -> 67 [ label = "" color=blue]
[ 0:16] 46 -> 69 [ label = "" color=blue]
[ 0:16] 48 -> 71 [ label = "" color=blue]
[ 0:16] 48 -> 74 [ label = "W: pointer-dependent operation with [heap* 65fbc4d5 0 ddp] and [heap* 8a34eb31 0 ddp] in debug mode (abandoned)\l" color=blue]
[ 0:16] 55 -> 78 [ label = "" color=blue]
[ 0:16] 57 -> 80 [ label = "" color=blue]
[ 0:16] 59 -> 82 [ label = "" color=blue]
[ 0:16] 61 -> 84 [ label = "" color=blue]
[ 0:16] 63 -> 86 [ label = "" color=blue]
[ 0:16] 65 -> 88 [ label = "" color=blue]
[ 0:16] 67 -> 90 [ label = "" color=blue]
[ 0:16] 69 -> 92 [ label = "" color=blue]
[ 0:16] 71 -> 48 [ label = "W: pointer-dependent operation with [heap* 8a34eb31 0 ddp] and [heap* 65fbc4d5 0 ddp] in debug mode (abandoned)\l" color=blue]
[ 0:16] 71 -> 95 [ label = "W: pointer-dependent operation with [heap* 65fbc4d5 0 ddp] and [heap* 8a34eb31 0 ddp] in debug mode (abandoned)\l" color=blue]
[ 0:16] 78 -> 102 [ label = "" color=blue]
[ 0:16] 80 -> 104 [ label = "" color=blue]
[ 0:16] 82 -> 106 [ label = "" color=blue]
[ 0:16] 84 -> 108 [ label = "" color=blue]
[ 0:16] 86 -> 110 [ label = "" color=blue]
[ 0:16] 88 -> 112 [ label = "" color=blue]
[ 0:16] 90 -> 114 [ label = "" color=blue]
[ 0:16] 92 -> 116 [ label = "" color=blue]
[ 0:16] 97 -> 97 [ label = "W: pointer-dependent operation with [heap* 8a34eb31 0 ddp] and [heap* 65fbc4d5 0 ddp] in debug mode (abandoned)\l" color=blue]
[ 0:16] 97 -> 99 [ label = "" color=blue]
[ 0:16] 99 -> 117 [ label = "W: pointer-dependent operation with [heap* 8a34eb31 0 ddp] and [heap* 65fbc4d5 0 ddp] in debug mode (abandoned)\l" color=blue]
[ 0:16] 99 -> 94 [ label = "W: pointer-dependent operation with [heap* 65fbc4d5 0 ddp] and [heap* 8a34eb31 0 ddp] in debug mode (abandoned)\l" color=blue]
[ 0:16] 102 -> 119 [ label = "" color=blue]
[ 0:16] 104 -> 121 [ label = "" color=blue]
[ 0:16] 106 -> 123 [ label = "" color=blue]
[ 0:16] 108 -> 125 [ label = "" color=blue]
[ 0:16] 110 -> 127 [ label = "" color=blue]
[ 0:16] 112 -> 129 [ label = "" color=blue]
[ 0:16] 114 -> 131 [ label = "" color=blue]
[ 0:16] 116 -> 133 [ label = "" color=blue]
[ 0:16] 117 -> 99 [ label = "" color=blue]
[ 0:16] 117 -> 73 [ label = "W: pointer-dependent operation with [heap* 65fbc4d5 0 ddp] and [heap* 8a34eb31 0 ddp] in debug mode (abandoned)\l" color=blue]
[ 0:16] 119 -> 135 [ label = "" color=blue]
[ 0:16] 121 -> 137 [ label = "" color=blue]
[ 0:16] 123 -> 139 [ label = "" color=blue]
[ 0:16] 125 -> 141 [ label = "" color=blue]
[ 0:16] 127 -> 143 [ label = "" color=blue]
[ 0:16] 129 -> 145 [ label = "" color=blue]
[ 0:16] 131 -> 147 [ label = "" color=blue]
[ 0:16] 133 -> 149 [ label = "" color=blue]
[ 0:16] 135 -> 151 [ label = "" color=blue]
[ 0:16] 137 -> 153 [ label = "" color=blue]
[ 0:16] 139 -> 155 [ label = "" color=blue]
[ 0:16] 141 -> 157 [ label = "" color=blue]
[ 0:16] 143 -> 159 [ label = "" color=blue]
[ 0:16] 145 -> 161 [ label = "" color=blue]
[ 0:16] 147 -> 163 [ label = "" color=blue]
[ 0:16] 149 -> 165 [ label = "" color=blue]
[ 0:16] 151 -> 53 [ label = "[0] terminating with uncaught exception of type std::bad_alloc: std::bad_alloc\lFAULT: Uncaught signal.\l[0] FATAL: control error in kernel\l" color=blue]
[ 0:16] 153 -> 53 [ label = "[0] terminating with uncaught exception of type std::bad_alloc: std::bad_alloc\lFAULT: Uncaught signal.\l[0] FATAL: control error in kernel\l" color=blue]
[ 0:16] 155 -> 53 [ label = "[0] terminating with uncaught exception of type std::bad_alloc: std::bad_alloc\lFAULT: Uncaught signal.\l[0] FATAL: control error in kernel\l" color=blue]
[ 0:16] 157 -> 53 [ label = "[0] terminating with uncaught exception of type std::bad_alloc: std::bad_alloc\lFAULT: Uncaught signal.\l[0] FATAL: control error in kernel\l" color=blue]
[ 0:17] 159 -> 167 [ label = "" color=blue]
[ 0:17] 161 -> 169 [ label = "" color=blue]
[ 0:17] 163 -> 171 [ label = "" color=blue]
[ 0:17] 165 -> 173 [ label = "" color=blue]
[ 0:17] 167 -> 53 [ label = "[0] terminating with uncaught exception of type std::bad_alloc: std::bad_alloc\lFAULT: Uncaught signal.\l[0] FATAL: control error in kernel\l" color=blue]
[ 0:17] 169 -> 53 [ label = "[0] terminating with uncaught exception of type std::bad_alloc: std::bad_alloc\lFAULT: Uncaught signal.\l[0] FATAL: control error in kernel\l" color=blue]
[ 0:17] 171 -> 53 [ label = "[0] terminating with uncaught exception of type std::bad_alloc: std::bad_alloc\lFAULT: Uncaught signal.\l[0] FATAL: control error in kernel\l" color=blue]
[ 0:17] 173 -> 53 [ label = "[0] terminating with uncaught exception of type std::bad_alloc: std::bad_alloc\lFAULT: Uncaught signal.\l[0] FATAL: control error in kernel\l" color=blue]
[ 0:17] + check debris
[ 0:17] + test -e warning