[ 0:00] + draw /home/xrockai/src/divine/next-staging/test/dios/fairness.pkg.cpp [ 0:00] + divine draw --render cat /home/xrockai/src/divine/next-staging/test/dios/fairness.pkg.cpp [ 0:00] + grep -i color=blue [ 0:00] compiling /home/xrockai/src/divine/next-staging/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:11] 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:11] 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:11] 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:11] 32 -> 55 [ label = "" color=blue] [ 0:11] 34 -> 57 [ label = "" color=blue] [ 0:11] 36 -> 59 [ label = "" color=blue] [ 0:11] 38 -> 61 [ label = "" color=blue] [ 0:11] 40 -> 63 [ label = "" color=blue] [ 0:11] 42 -> 65 [ label = "" color=blue] [ 0:11] 44 -> 67 [ label = "" color=blue] [ 0:11] 46 -> 69 [ label = "" color=blue] [ 0:11] 48 -> 71 [ label = "" color=blue] [ 0:11] 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:11] 55 -> 78 [ label = "" color=blue] [ 0:11] 57 -> 80 [ label = "" color=blue] [ 0:11] 59 -> 82 [ label = "" color=blue] [ 0:11] 61 -> 84 [ label = "" color=blue] [ 0:11] 63 -> 86 [ label = "" color=blue] [ 0:11] 65 -> 88 [ label = "" color=blue] [ 0:11] 67 -> 90 [ label = "" color=blue] [ 0:11] 69 -> 92 [ label = "" color=blue] [ 0:11] 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:11] 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:11] 78 -> 102 [ label = "" color=blue] [ 0:11] 80 -> 104 [ label = "" color=blue] [ 0:11] 82 -> 106 [ label = "" color=blue] [ 0:11] 84 -> 108 [ label = "" color=blue] [ 0:11] 86 -> 110 [ label = "" color=blue] [ 0:11] 88 -> 112 [ label = "" color=blue] [ 0:11] 90 -> 114 [ label = "" color=blue] [ 0:11] 92 -> 116 [ label = "" color=blue] [ 0:11] 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:11] 97 -> 99 [ label = "" color=blue] [ 0:11] 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:11] 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:11] 102 -> 119 [ label = "" color=blue] [ 0:11] 104 -> 121 [ label = "" color=blue] [ 0:11] 106 -> 123 [ label = "" color=blue] [ 0:11] 108 -> 125 [ label = "" color=blue] [ 0:11] 110 -> 127 [ label = "" color=blue] [ 0:11] 112 -> 129 [ label = "" color=blue] [ 0:11] 114 -> 131 [ label = "" color=blue] [ 0:11] 116 -> 133 [ label = "" color=blue] [ 0:11] 117 -> 99 [ label = "" color=blue] [ 0:11] 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:11] 119 -> 135 [ label = "" color=blue] [ 0:11] 121 -> 137 [ label = "" color=blue] [ 0:11] 123 -> 139 [ label = "" color=blue] [ 0:11] 125 -> 141 [ label = "" color=blue] [ 0:11] 127 -> 143 [ label = "" color=blue] [ 0:11] 129 -> 145 [ label = "" color=blue] [ 0:11] 131 -> 147 [ label = "" color=blue] [ 0:11] 133 -> 149 [ label = "" color=blue] [ 0:11] 135 -> 151 [ label = "" color=blue] [ 0:11] 137 -> 153 [ label = "" color=blue] [ 0:11] 139 -> 155 [ label = "" color=blue] [ 0:11] 141 -> 157 [ label = "" color=blue] [ 0:11] 143 -> 159 [ label = "" color=blue] [ 0:11] 145 -> 161 [ label = "" color=blue] [ 0:11] 147 -> 163 [ label = "" color=blue] [ 0:11] 149 -> 165 [ label = "" color=blue] [ 0:11] 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:11] 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:11] 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:11] 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:11] 159 -> 167 [ label = "" color=blue] [ 0:11] 161 -> 169 [ label = "" color=blue] [ 0:11] 163 -> 171 [ label = "" color=blue] [ 0:11] 165 -> 173 [ label = "" color=blue] [ 0:11] 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:11] 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:11] 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:11] 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:11] + check debris [ 0:11] + test -e warning