binding-substitution-results.json (35761B)
1 { 2 "stage": "isolated-boolean-binding-substitution-candidate", 3 "git_head": "23e96a601e150ab79c6329246a0523d972a625e6", 4 "run": { 5 "complete": true, 6 "mode": "isolated-core-candidate-not-installed", 7 "runtime_sha256": "15517148463a5ee0d3d4cc26f80d2aa69807946a405237aeeb4f128fb237d5d6", 8 "compiler_sha256": "6b7b389d64af12d85b85598db69d7ff71cf3dcb991c584e17e0caec8bcb44c7b", 9 "harness_sha256": "86804624e591ab1ab96a647659a46e4f7afaafbbbabeb62c4010d2561ac1f932", 10 "analysis_oracle_sha256": "c73e1151a8c0b8bfae8d9560a0355ae03ba18e44a0e8d2175e319f8426fe24cd", 11 "fixture_ast_sha256": "837a85f323b3376b29751e0acf0e1b6801e356dc8339af2fbaacc6d241c976bb", 12 "sources": { 13 "substitution.tri": "908437a05eea3c25fa7748dca697d8c1cad56915f5c6ea8cd90fe8ade1d41fbe", 14 "analysis.tri": "6fd758fb505312f69b4b7d8c6eb0f6de5f8e9e8064579194d37871775f204480", 15 "kernels.tri": "58b04ec37e82bfe7b8d3a6b42bb81307258ff0812a77f0fdac04b0f022b17db5", 16 "native_math.tri": "d699cce98f8779ff3d451d1be02687182243922fa622cedf5d4f6f9fe252102a", 17 "helpers.tri": "8b0caf4f89bcc2beb918407e06f7bc2e87ff4f2544e6278dc1860a88a5b2581e" 18 }, 19 "checks": [ 20 { 21 "label": "substitute-0", 22 "result_sha256": "dfdd145da42d5f0ea31bd7c00660bda33a9ab691872ade3c7788ebaf4f8b503b" 23 }, 24 { 25 "label": "substitute-24", 26 "result_sha256": "5a63caf3c367866acf396a49da8219f5520bb52199f8e664375b18d1b2d2a5b5" 27 }, 28 { 29 "label": "substitute-48", 30 "result_sha256": "def29cd56baf6f35a90eceab4c58c359d5a7693d75ebd6355a85db50a1a05201" 31 }, 32 { 33 "label": "substitute-72", 34 "result_sha256": "55b1e240bbf75972db11f0d1c55c011f19d43cfa801b13abd61c93238f7c0489" 35 }, 36 { 37 "label": "substitute-96", 38 "result_sha256": "d724e942e291f5c3d960baee39686858abb3194e08c74c16ea683fa6851390b6" 39 }, 40 { 41 "label": "substitute-120", 42 "result_sha256": "b7e3da44e8f5220c277d9f3661989c4d0bd3a7dc6da1e5d5366ec9e43a094542" 43 }, 44 { 45 "label": "substitute-144", 46 "result_sha256": "976785ea10293f7fb62ee6ab130d803a7240b2391a5c7d5fa8cf223bef772708" 47 }, 48 { 49 "label": "substitute-168", 50 "result_sha256": "bfa409dc35a3335615ac92bee78bf21ae94b115f20bcffebeaa739d7e598d980" 51 }, 52 { 53 "label": "substitute-192", 54 "result_sha256": "0ec8e13679460a3b2298ebf08bdb9d253cbd1d30e2499639f96e4ca037e03933" 55 }, 56 { 57 "label": "shift-0", 58 "result_sha256": "4ab7c1a0f1a480f902267572e7983a57a0d0420e759d9b0f227f0236173c5407" 59 }, 60 { 61 "label": "shift-24", 62 "result_sha256": "527c5ff69c2beff03773248ef175da52637e926a31c84b5f818a16cd7ee40f7f" 63 }, 64 { 65 "label": "shift-48", 66 "result_sha256": "df7a002546b87bce8a1272adf7486574fb3c05b0c8e2fb7080f8689d2fccc82a" 67 }, 68 { 69 "label": "shift-72", 70 "result_sha256": "e3baab7281b508ca8d928f1488ffa0ec54ba6d904d0c37a572bc38de694c6533" 71 }, 72 { 73 "label": "shift-96", 74 "result_sha256": "97e840f8561e5cdb7b3e82df8a6f8d7aab8d70bb4e2ca635af5d94eadd934160" 75 }, 76 { 77 "label": "shift-120", 78 "result_sha256": "cdfb7facc914fb955d0c843a42865b8a4ae6d01e1df9edaf0a3e4ad2ec0f806f" 79 }, 80 { 81 "label": "rewrite-0", 82 "result_sha256": "20da3cf42d1c010ba5901926eb5c178ac52a5e292080a5e5c082d039b44d65f0" 83 }, 84 { 85 "label": "rewrite-24", 86 "result_sha256": "b29ed52e1deffc52cef83c5369b89b75edc8b2473c73a4760096e5ecbb674002" 87 }, 88 { 89 "label": "rewrite-48", 90 "result_sha256": "366472b431ac7678c491be7fc8593ff4ea8775d5fad78fb4cf2c6a384d4583f9" 91 }, 92 { 93 "label": "rewrite-72", 94 "result_sha256": "e60b91648899a0fed6e6f6655512294ee3556cf482ffe7b6473cf3e464c5c9bd" 95 }, 96 { 97 "label": "rewrite-96", 98 "result_sha256": "5f7930eadcf7d9c027d0500b62ec56b5366e0b648e97b2ac623a27721a28f43b" 99 }, 100 { 101 "label": "rewrite-120", 102 "result_sha256": "061d71cfed60e2fd50932922b8175a8d2a6f38fbacddeddb677b0e661da09b29" 103 }, 104 { 105 "label": "transform-programs", 106 "result_sha256": "084a2419446b8a6413510a15d3ac337c5c61af98374478d4d939caeee009f648" 107 }, 108 { 109 "label": "core-etaExpanded-original", 110 "result_sha256": "e4b885a68d3a0cb0c884e0dab782c3fed5c79ca3bfc84b1c59c8f9eefe028107" 111 }, 112 { 113 "label": "core-etaExpanded-candidate", 114 "result_sha256": "e4b885a68d3a0cb0c884e0dab782c3fed5c79ca3bfc84b1c59c8f9eefe028107" 115 }, 116 { 117 "label": "core-etaContracted-original", 118 "result_sha256": "7e2ba417460947a1b29a06cb0aa450babe475f6c22906963ee6ebb577d21e45d" 119 }, 120 { 121 "label": "core-etaContracted-candidate", 122 "result_sha256": "7e2ba417460947a1b29a06cb0aa450babe475f6c22906963ee6ebb577d21e45d" 123 }, 124 { 125 "label": "core-singleBound-original", 126 "result_sha256": "e9334b087903dde5b2e8fad993b9a12f6d5aa1120376320c5c397d854dc5507f" 127 }, 128 { 129 "label": "core-singleBound-candidate", 130 "result_sha256": "8884f7ba1ed1b4cc0f55e7f622e51bd3d4757bc235d9b0e7c7ed57a6e57c3d71" 131 }, 132 { 133 "label": "core-singleInline-original", 134 "result_sha256": "8884f7ba1ed1b4cc0f55e7f622e51bd3d4757bc235d9b0e7c7ed57a6e57c3d71" 135 }, 136 { 137 "label": "core-singleInline-candidate", 138 "result_sha256": "8884f7ba1ed1b4cc0f55e7f622e51bd3d4757bc235d9b0e7c7ed57a6e57c3d71" 139 }, 140 { 141 "label": "core-branchBound-original", 142 "result_sha256": "94a7dd0655831b3ca390cc3c1482e36e2a2acbb099289928fb6c2a45f6d03f55" 143 }, 144 { 145 "label": "core-branchBound-candidate", 146 "result_sha256": "15baca56a345dff2f95299cc059f6fb031e712b0e15ec43196951b04d9a96068" 147 }, 148 { 149 "label": "core-branchInline-original", 150 "result_sha256": "15baca56a345dff2f95299cc059f6fb031e712b0e15ec43196951b04d9a96068" 151 }, 152 { 153 "label": "core-branchInline-candidate", 154 "result_sha256": "15baca56a345dff2f95299cc059f6fb031e712b0e15ec43196951b04d9a96068" 155 }, 156 { 157 "label": "core-constructorBound-original", 158 "result_sha256": "980522c225b6d7bb1441c25bd8f863bbb36793ed2c8bb147015c710a3c65aa44" 159 }, 160 { 161 "label": "core-constructorBound-candidate", 162 "result_sha256": "980522c225b6d7bb1441c25bd8f863bbb36793ed2c8bb147015c710a3c65aa44" 163 }, 164 { 165 "label": "core-constructorInline-original", 166 "result_sha256": "767d8928f60c667f29e017182be50f819d34939edcc303f65f6a2b90903bf83d" 167 }, 168 { 169 "label": "core-constructorInline-candidate", 170 "result_sha256": "767d8928f60c667f29e017182be50f819d34939edcc303f65f6a2b90903bf83d" 171 }, 172 { 173 "label": "core-sharedBound-original", 174 "result_sha256": "5b7583ac84b5dff6e644ae0ad7764e86fd14ea1607a8a962d29f12a390763c9f" 175 }, 176 { 177 "label": "core-sharedBound-candidate", 178 "result_sha256": "5b7583ac84b5dff6e644ae0ad7764e86fd14ea1607a8a962d29f12a390763c9f" 179 }, 180 { 181 "label": "core-sharedInline-original", 182 "result_sha256": "75ded7f49a1645e63f8e6f3e716262494abe9cdf74489eb735056591a085e26b" 183 }, 184 { 185 "label": "core-sharedInline-candidate", 186 "result_sha256": "75ded7f49a1645e63f8e6f3e716262494abe9cdf74489eb735056591a085e26b" 187 }, 188 { 189 "label": "core-closureBound-original", 190 "result_sha256": "4628fca79598d25ec6c4c30f809c80685ddc5181215962f6cff3991424e3bf68" 191 }, 192 { 193 "label": "core-closureBound-candidate", 194 "result_sha256": "4628fca79598d25ec6c4c30f809c80685ddc5181215962f6cff3991424e3bf68" 195 }, 196 { 197 "label": "core-closureInline-original", 198 "result_sha256": "f198c613d6fcafadd39f786bea5753261221e66756c5fc9c678f2137094d1e4d" 199 }, 200 { 201 "label": "core-closureInline-candidate", 202 "result_sha256": "f198c613d6fcafadd39f786bea5753261221e66756c5fc9c678f2137094d1e4d" 203 }, 204 { 205 "label": "core-unusedBound-original", 206 "result_sha256": "ffd45aa10083f9def77a8d39bfc97336f5384aa788f6f8f3ced80ffdc9ada557" 207 }, 208 { 209 "label": "core-unusedBound-candidate", 210 "result_sha256": "ffd45aa10083f9def77a8d39bfc97336f5384aa788f6f8f3ced80ffdc9ada557" 211 }, 212 { 213 "label": "core-unusedInline-original", 214 "result_sha256": "7e2ba417460947a1b29a06cb0aa450babe475f6c22906963ee6ebb577d21e45d" 215 }, 216 { 217 "label": "core-unusedInline-candidate", 218 "result_sha256": "7e2ba417460947a1b29a06cb0aa450babe475f6c22906963ee6ebb577d21e45d" 219 }, 220 { 221 "label": "core-closedBranchBound-original", 222 "result_sha256": "7660a2a4ae0e1805093a4b4fc43192c11076a9b0b93c117ac966b1a706376005" 223 }, 224 { 225 "label": "core-closedBranchBound-candidate", 226 "result_sha256": "7660a2a4ae0e1805093a4b4fc43192c11076a9b0b93c117ac966b1a706376005" 227 }, 228 { 229 "label": "core-closedBranchInline-original", 230 "result_sha256": "65ffe897d47d6f84cf76a32857e2b9fa0ab587015c0ce4a284043e25a6ce44c9" 231 }, 232 { 233 "label": "core-closedBranchInline-candidate", 234 "result_sha256": "65ffe897d47d6f84cf76a32857e2b9fa0ab587015c0ce4a284043e25a6ce44c9" 235 }, 236 { 237 "label": "core-adderBound-original", 238 "result_sha256": "c66794f43d5484e673b9fe713442df8e09d00fea3ae856c2c8cc9c267a89dfc0" 239 }, 240 { 241 "label": "core-adderBound-candidate", 242 "result_sha256": "e5d974ffb4870da83b641416c4afaf35014660e59330200323edc56e51ef474d" 243 }, 244 { 245 "label": "core-adderInline-original", 246 "result_sha256": "e5d974ffb4870da83b641416c4afaf35014660e59330200323edc56e51ef474d" 247 }, 248 { 249 "label": "core-adderInline-candidate", 250 "result_sha256": "e5d974ffb4870da83b641416c4afaf35014660e59330200323edc56e51ef474d" 251 }, 252 { 253 "label": "value-original-singleBound-False-False", 254 "result_sha256": "7255b3ce83a75f4d6f13513f56db57229ed61a0775438923799f7050c505ecda" 255 }, 256 { 257 "label": "value-original-singleBound-False-True", 258 "result_sha256": "7dc4096fa4ca962ffe7ba24f3cb48480065a7714e6a4a27588185d3d86a8dde8" 259 }, 260 { 261 "label": "value-original-singleBound-True-False", 262 "result_sha256": "7255b3ce83a75f4d6f13513f56db57229ed61a0775438923799f7050c505ecda" 263 }, 264 { 265 "label": "value-original-singleBound-True-True", 266 "result_sha256": "7dc4096fa4ca962ffe7ba24f3cb48480065a7714e6a4a27588185d3d86a8dde8" 267 }, 268 { 269 "label": "value-original-branchBound-False-False", 270 "result_sha256": "7dc4096fa4ca962ffe7ba24f3cb48480065a7714e6a4a27588185d3d86a8dde8" 271 }, 272 { 273 "label": "value-original-branchBound-False-True", 274 "result_sha256": "7255b3ce83a75f4d6f13513f56db57229ed61a0775438923799f7050c505ecda" 275 }, 276 { 277 "label": "value-original-branchBound-True-False", 278 "result_sha256": "7255b3ce83a75f4d6f13513f56db57229ed61a0775438923799f7050c505ecda" 279 }, 280 { 281 "label": "value-original-branchBound-True-True", 282 "result_sha256": "7dc4096fa4ca962ffe7ba24f3cb48480065a7714e6a4a27588185d3d86a8dde8" 283 }, 284 { 285 "label": "value-original-constructorBound-False-False", 286 "result_sha256": "7dc4096fa4ca962ffe7ba24f3cb48480065a7714e6a4a27588185d3d86a8dde8" 287 }, 288 { 289 "label": "value-original-constructorBound-False-True", 290 "result_sha256": "0c29f0eb759cfb9fef0b5e94b1bf38fc31c9568ad03a5d1970f6d87d1f16c81f" 291 }, 292 { 293 "label": "value-original-constructorBound-True-False", 294 "result_sha256": "7255b3ce83a75f4d6f13513f56db57229ed61a0775438923799f7050c505ecda" 295 }, 296 { 297 "label": "value-original-constructorBound-True-True", 298 "result_sha256": "09a57c8e9a06d998d979029e34d23f6315807a8d26500c9b8092f11c83bd8cd1" 299 }, 300 { 301 "label": "adder-original-FalseFalseFalse", 302 "result_sha256": "070b13c004e9475fa155cd84d90de9f87db1b7dea6707329638a6ce66043d246" 303 }, 304 { 305 "label": "adder-original-FalseFalseTrue", 306 "result_sha256": "7255b3ce83a75f4d6f13513f56db57229ed61a0775438923799f7050c505ecda" 307 }, 308 { 309 "label": "adder-original-FalseTrueFalse", 310 "result_sha256": "7255b3ce83a75f4d6f13513f56db57229ed61a0775438923799f7050c505ecda" 311 }, 312 { 313 "label": "adder-original-FalseTrueTrue", 314 "result_sha256": "7dc4096fa4ca962ffe7ba24f3cb48480065a7714e6a4a27588185d3d86a8dde8" 315 }, 316 { 317 "label": "adder-original-TrueFalseFalse", 318 "result_sha256": "7255b3ce83a75f4d6f13513f56db57229ed61a0775438923799f7050c505ecda" 319 }, 320 { 321 "label": "adder-original-TrueFalseTrue", 322 "result_sha256": "7dc4096fa4ca962ffe7ba24f3cb48480065a7714e6a4a27588185d3d86a8dde8" 323 }, 324 { 325 "label": "adder-original-TrueTrueFalse", 326 "result_sha256": "7dc4096fa4ca962ffe7ba24f3cb48480065a7714e6a4a27588185d3d86a8dde8" 327 }, 328 { 329 "label": "adder-original-TrueTrueTrue", 330 "result_sha256": "01cf53229704f2afab4dd64d33491fbc2aebb4793f0ef048b5f7b2afcdcb089a" 331 }, 332 { 333 "label": "sharing-original", 334 "result_sha256": "6f97bbebf5bb10d9522e99f38a23d40c4dec2d26a29861a34c6637f6a25c1fde" 335 }, 336 { 337 "label": "unused-original", 338 "result_sha256": "47dc540c94ceb704a23875c11273e16bb0b8a87aed84de911f2133568115f254" 339 }, 340 { 341 "label": "unselected-original", 342 "result_sha256": "6e340b9cffb37a989ca544e6bb780a2c78901d3fb33738768511a30617afa01d" 343 }, 344 { 345 "label": "value-candidate-singleBound-False-False", 346 "result_sha256": "7255b3ce83a75f4d6f13513f56db57229ed61a0775438923799f7050c505ecda" 347 }, 348 { 349 "label": "value-candidate-singleBound-False-True", 350 "result_sha256": "7dc4096fa4ca962ffe7ba24f3cb48480065a7714e6a4a27588185d3d86a8dde8" 351 }, 352 { 353 "label": "value-candidate-singleBound-True-False", 354 "result_sha256": "7255b3ce83a75f4d6f13513f56db57229ed61a0775438923799f7050c505ecda" 355 }, 356 { 357 "label": "value-candidate-singleBound-True-True", 358 "result_sha256": "7dc4096fa4ca962ffe7ba24f3cb48480065a7714e6a4a27588185d3d86a8dde8" 359 }, 360 { 361 "label": "value-candidate-branchBound-False-False", 362 "result_sha256": "7dc4096fa4ca962ffe7ba24f3cb48480065a7714e6a4a27588185d3d86a8dde8" 363 }, 364 { 365 "label": "value-candidate-branchBound-False-True", 366 "result_sha256": "7255b3ce83a75f4d6f13513f56db57229ed61a0775438923799f7050c505ecda" 367 }, 368 { 369 "label": "value-candidate-branchBound-True-False", 370 "result_sha256": "7255b3ce83a75f4d6f13513f56db57229ed61a0775438923799f7050c505ecda" 371 }, 372 { 373 "label": "value-candidate-branchBound-True-True", 374 "result_sha256": "7dc4096fa4ca962ffe7ba24f3cb48480065a7714e6a4a27588185d3d86a8dde8" 375 }, 376 { 377 "label": "value-candidate-constructorBound-False-False", 378 "result_sha256": "7dc4096fa4ca962ffe7ba24f3cb48480065a7714e6a4a27588185d3d86a8dde8" 379 }, 380 { 381 "label": "value-candidate-constructorBound-False-True", 382 "result_sha256": "0c29f0eb759cfb9fef0b5e94b1bf38fc31c9568ad03a5d1970f6d87d1f16c81f" 383 }, 384 { 385 "label": "value-candidate-constructorBound-True-False", 386 "result_sha256": "7255b3ce83a75f4d6f13513f56db57229ed61a0775438923799f7050c505ecda" 387 }, 388 { 389 "label": "value-candidate-constructorBound-True-True", 390 "result_sha256": "09a57c8e9a06d998d979029e34d23f6315807a8d26500c9b8092f11c83bd8cd1" 391 }, 392 { 393 "label": "adder-candidate-FalseFalseFalse", 394 "result_sha256": "070b13c004e9475fa155cd84d90de9f87db1b7dea6707329638a6ce66043d246" 395 }, 396 { 397 "label": "adder-candidate-FalseFalseTrue", 398 "result_sha256": "7255b3ce83a75f4d6f13513f56db57229ed61a0775438923799f7050c505ecda" 399 }, 400 { 401 "label": "adder-candidate-FalseTrueFalse", 402 "result_sha256": "7255b3ce83a75f4d6f13513f56db57229ed61a0775438923799f7050c505ecda" 403 }, 404 { 405 "label": "adder-candidate-FalseTrueTrue", 406 "result_sha256": "7dc4096fa4ca962ffe7ba24f3cb48480065a7714e6a4a27588185d3d86a8dde8" 407 }, 408 { 409 "label": "adder-candidate-TrueFalseFalse", 410 "result_sha256": "7255b3ce83a75f4d6f13513f56db57229ed61a0775438923799f7050c505ecda" 411 }, 412 { 413 "label": "adder-candidate-TrueFalseTrue", 414 "result_sha256": "7dc4096fa4ca962ffe7ba24f3cb48480065a7714e6a4a27588185d3d86a8dde8" 415 }, 416 { 417 "label": "adder-candidate-TrueTrueFalse", 418 "result_sha256": "7dc4096fa4ca962ffe7ba24f3cb48480065a7714e6a4a27588185d3d86a8dde8" 419 }, 420 { 421 "label": "adder-candidate-TrueTrueTrue", 422 "result_sha256": "01cf53229704f2afab4dd64d33491fbc2aebb4793f0ef048b5f7b2afcdcb089a" 423 }, 424 { 425 "label": "sharing-candidate", 426 "result_sha256": "6f97bbebf5bb10d9522e99f38a23d40c4dec2d26a29861a34c6637f6a25c1fde" 427 }, 428 { 429 "label": "unused-candidate", 430 "result_sha256": "47dc540c94ceb704a23875c11273e16bb0b8a87aed84de911f2133568115f254" 431 }, 432 { 433 "label": "unselected-candidate", 434 "result_sha256": "6e340b9cffb37a989ca544e6bb780a2c78901d3fb33738768511a30617afa01d" 435 }, 436 { 437 "label": "partial-unusedFlag-original", 438 "result_sha256": "7255b3ce83a75f4d6f13513f56db57229ed61a0775438923799f7050c505ecda" 439 }, 440 { 441 "label": "partial-branchNegatedHead-original", 442 "result_sha256": "6e340b9cffb37a989ca544e6bb780a2c78901d3fb33738768511a30617afa01d" 443 }, 444 { 445 "label": "partial-branchNegatedTail-original", 446 "result_sha256": "6e340b9cffb37a989ca544e6bb780a2c78901d3fb33738768511a30617afa01d" 447 }, 448 { 449 "label": "partial-adderKnownCarryZero-original", 450 "result_sha256": "6e340b9cffb37a989ca544e6bb780a2c78901d3fb33738768511a30617afa01d" 451 }, 452 { 453 "label": "partial-adderKnownCarryOne-original", 454 "result_sha256": "47dc540c94ceb704a23875c11273e16bb0b8a87aed84de911f2133568115f254" 455 }, 456 { 457 "label": "partial-unusedFlag-candidate", 458 "result_sha256": "7255b3ce83a75f4d6f13513f56db57229ed61a0775438923799f7050c505ecda" 459 }, 460 { 461 "label": "partial-branchNegatedHead-candidate", 462 "result_sha256": "6e340b9cffb37a989ca544e6bb780a2c78901d3fb33738768511a30617afa01d" 463 }, 464 { 465 "label": "partial-branchNegatedTail-candidate", 466 "result_sha256": "6e340b9cffb37a989ca544e6bb780a2c78901d3fb33738768511a30617afa01d" 467 }, 468 { 469 "label": "partial-adderKnownCarryZero-candidate", 470 "result_sha256": "6e340b9cffb37a989ca544e6bb780a2c78901d3fb33738768511a30617afa01d" 471 }, 472 { 473 "label": "partial-adderKnownCarryOne-candidate", 474 "result_sha256": "47dc540c94ceb704a23875c11273e16bb0b8a87aed84de911f2133568115f254" 475 } 476 ], 477 "programs": [ 478 { 479 "name": "etaExpanded", 480 "core_changed": false, 481 "compiled_tree_changed": false 482 }, 483 { 484 "name": "etaContracted", 485 "core_changed": false, 486 "compiled_tree_changed": false 487 }, 488 { 489 "name": "singleBound", 490 "core_changed": true, 491 "compiled_tree_changed": true 492 }, 493 { 494 "name": "singleInline", 495 "core_changed": false, 496 "compiled_tree_changed": false 497 }, 498 { 499 "name": "branchBound", 500 "core_changed": true, 501 "compiled_tree_changed": true 502 }, 503 { 504 "name": "branchInline", 505 "core_changed": false, 506 "compiled_tree_changed": false 507 }, 508 { 509 "name": "constructorBound", 510 "core_changed": false, 511 "compiled_tree_changed": false 512 }, 513 { 514 "name": "constructorInline", 515 "core_changed": false, 516 "compiled_tree_changed": false 517 }, 518 { 519 "name": "sharedBound", 520 "core_changed": false, 521 "compiled_tree_changed": false 522 }, 523 { 524 "name": "sharedInline", 525 "core_changed": false, 526 "compiled_tree_changed": false 527 }, 528 { 529 "name": "closureBound", 530 "core_changed": false, 531 "compiled_tree_changed": false 532 }, 533 { 534 "name": "closureInline", 535 "core_changed": false, 536 "compiled_tree_changed": false 537 }, 538 { 539 "name": "unusedBound", 540 "core_changed": false, 541 "compiled_tree_changed": false 542 }, 543 { 544 "name": "unusedInline", 545 "core_changed": false, 546 "compiled_tree_changed": false 547 }, 548 { 549 "name": "closedBranchBound", 550 "core_changed": false, 551 "compiled_tree_changed": false 552 }, 553 { 554 "name": "closedBranchInline", 555 "core_changed": false, 556 "compiled_tree_changed": false 557 }, 558 { 559 "name": "adderBound", 560 "core_changed": true, 561 "compiled_tree_changed": true 562 }, 563 { 564 "name": "adderInline", 565 "core_changed": false, 566 "compiled_tree_changed": false 567 } 568 ], 569 "certificates": { 570 "choose": "9ec87706d9552f21c8acf5209982ff8ffd4b8c71806bcf5178eba3b53e1d8a3c", 571 "negate": "9dad0cde222a08455e17d03746d5d3c640c317dfabe1dc66ff61b761f8dbc620" 572 }, 573 "substitution_bundle_sha256": "209de73126062166646e6d0d56b8e91b07c2f00b3299ac3197d2e3a0c93dc733", 574 "substitution_cases": 195, 575 "shift_cases": 128, 576 "rewrite_decisions": [ 577 { 578 "name": "singleBound", 579 "code": 1, 580 "unchanged": false 581 }, 582 { 583 "name": "branchBound", 584 "code": 1, 585 "unchanged": false 586 }, 587 { 588 "name": "constructorBound", 589 "code": 7, 590 "unchanged": true 591 }, 592 { 593 "name": "sharedBound", 594 "code": 2, 595 "unchanged": true 596 }, 597 { 598 "name": "closureBound", 599 "code": 3, 600 "unchanged": true 601 }, 602 { 603 "name": "unusedBound", 604 "code": 0, 605 "unchanged": true 606 }, 607 { 608 "name": "closedBranchBound", 609 "code": 7, 610 "unchanged": true 611 }, 612 { 613 "name": "adderBound", 614 "code": 1, 615 "unchanged": false 616 }, 617 { 618 "name": "literal-bool", 619 "code": 1, 620 "unchanged": false 621 }, 622 { 623 "name": "rhs-lambda", 624 "code": 7, 625 "unchanged": true 626 }, 627 { 628 "name": "rhs-unknown", 629 "code": 7, 630 "unchanged": true 631 }, 632 { 633 "name": "rhs-negation-computation", 634 "code": 7, 635 "unchanged": true 636 }, 637 { 638 "name": "unrelated-body-lambda", 639 "code": 8, 640 "unchanged": true 641 }, 642 { 643 "name": "not-binding", 644 "code": 9, 645 "unchanged": true 646 }, 647 { 648 "name": "generated-0", 649 "code": 0, 650 "unchanged": true 651 }, 652 { 653 "name": "generated-1", 654 "code": 0, 655 "unchanged": true 656 }, 657 { 658 "name": "generated-2", 659 "code": 0, 660 "unchanged": true 661 }, 662 { 663 "name": "generated-3", 664 "code": 0, 665 "unchanged": true 666 }, 667 { 668 "name": "generated-4", 669 "code": 0, 670 "unchanged": true 671 }, 672 { 673 "name": "generated-5", 674 "code": 0, 675 "unchanged": true 676 }, 677 { 678 "name": "generated-6", 679 "code": 0, 680 "unchanged": true 681 }, 682 { 683 "name": "generated-7", 684 "code": 0, 685 "unchanged": true 686 }, 687 { 688 "name": "generated-8", 689 "code": 0, 690 "unchanged": true 691 }, 692 { 693 "name": "generated-9", 694 "code": 0, 695 "unchanged": true 696 }, 697 { 698 "name": "generated-10", 699 "code": 0, 700 "unchanged": true 701 }, 702 { 703 "name": "generated-11", 704 "code": 1, 705 "unchanged": false 706 }, 707 { 708 "name": "generated-12", 709 "code": 0, 710 "unchanged": true 711 }, 712 { 713 "name": "generated-13", 714 "code": 0, 715 "unchanged": true 716 }, 717 { 718 "name": "generated-14", 719 "code": 0, 720 "unchanged": true 721 }, 722 { 723 "name": "generated-15", 724 "code": 0, 725 "unchanged": true 726 }, 727 { 728 "name": "generated-16", 729 "code": 0, 730 "unchanged": true 731 }, 732 { 733 "name": "generated-17", 734 "code": 0, 735 "unchanged": true 736 }, 737 { 738 "name": "generated-18", 739 "code": 0, 740 "unchanged": true 741 }, 742 { 743 "name": "generated-19", 744 "code": 0, 745 "unchanged": true 746 }, 747 { 748 "name": "generated-20", 749 "code": 0, 750 "unchanged": true 751 }, 752 { 753 "name": "generated-21", 754 "code": 0, 755 "unchanged": true 756 }, 757 { 758 "name": "generated-22", 759 "code": 0, 760 "unchanged": true 761 }, 762 { 763 "name": "generated-23", 764 "code": 0, 765 "unchanged": true 766 }, 767 { 768 "name": "generated-24", 769 "code": 0, 770 "unchanged": true 771 }, 772 { 773 "name": "generated-25", 774 "code": 0, 775 "unchanged": true 776 }, 777 { 778 "name": "generated-26", 779 "code": 0, 780 "unchanged": true 781 }, 782 { 783 "name": "generated-27", 784 "code": 0, 785 "unchanged": true 786 }, 787 { 788 "name": "generated-28", 789 "code": 0, 790 "unchanged": true 791 }, 792 { 793 "name": "generated-29", 794 "code": 0, 795 "unchanged": true 796 }, 797 { 798 "name": "generated-30", 799 "code": 0, 800 "unchanged": true 801 }, 802 { 803 "name": "generated-31", 804 "code": 0, 805 "unchanged": true 806 }, 807 { 808 "name": "generated-32", 809 "code": 0, 810 "unchanged": true 811 }, 812 { 813 "name": "generated-33", 814 "code": 3, 815 "unchanged": true 816 }, 817 { 818 "name": "generated-34", 819 "code": 0, 820 "unchanged": true 821 }, 822 { 823 "name": "generated-35", 824 "code": 4, 825 "unchanged": true 826 }, 827 { 828 "name": "generated-36", 829 "code": 4, 830 "unchanged": true 831 }, 832 { 833 "name": "generated-37", 834 "code": 0, 835 "unchanged": true 836 }, 837 { 838 "name": "generated-38", 839 "code": 0, 840 "unchanged": true 841 }, 842 { 843 "name": "generated-39", 844 "code": 0, 845 "unchanged": true 846 }, 847 { 848 "name": "generated-40", 849 "code": 0, 850 "unchanged": true 851 }, 852 { 853 "name": "generated-41", 854 "code": 0, 855 "unchanged": true 856 }, 857 { 858 "name": "generated-42", 859 "code": 0, 860 "unchanged": true 861 }, 862 { 863 "name": "generated-43", 864 "code": 0, 865 "unchanged": true 866 }, 867 { 868 "name": "generated-44", 869 "code": 0, 870 "unchanged": true 871 }, 872 { 873 "name": "generated-45", 874 "code": 0, 875 "unchanged": true 876 }, 877 { 878 "name": "generated-46", 879 "code": 0, 880 "unchanged": true 881 }, 882 { 883 "name": "generated-47", 884 "code": 0, 885 "unchanged": true 886 }, 887 { 888 "name": "generated-48", 889 "code": 0, 890 "unchanged": true 891 }, 892 { 893 "name": "generated-49", 894 "code": 1, 895 "unchanged": false 896 }, 897 { 898 "name": "generated-50", 899 "code": 0, 900 "unchanged": true 901 }, 902 { 903 "name": "generated-51", 904 "code": 0, 905 "unchanged": true 906 }, 907 { 908 "name": "generated-52", 909 "code": 0, 910 "unchanged": true 911 }, 912 { 913 "name": "generated-53", 914 "code": 0, 915 "unchanged": true 916 }, 917 { 918 "name": "generated-54", 919 "code": 1, 920 "unchanged": false 921 }, 922 { 923 "name": "generated-55", 924 "code": 0, 925 "unchanged": true 926 }, 927 { 928 "name": "generated-56", 929 "code": 0, 930 "unchanged": true 931 }, 932 { 933 "name": "generated-57", 934 "code": 0, 935 "unchanged": true 936 }, 937 { 938 "name": "generated-58", 939 "code": 0, 940 "unchanged": true 941 }, 942 { 943 "name": "generated-59", 944 "code": 4, 945 "unchanged": true 946 }, 947 { 948 "name": "generated-60", 949 "code": 0, 950 "unchanged": true 951 }, 952 { 953 "name": "generated-61", 954 "code": 0, 955 "unchanged": true 956 }, 957 { 958 "name": "generated-62", 959 "code": 0, 960 "unchanged": true 961 }, 962 { 963 "name": "generated-63", 964 "code": 0, 965 "unchanged": true 966 }, 967 { 968 "name": "generated-64", 969 "code": 0, 970 "unchanged": true 971 }, 972 { 973 "name": "generated-65", 974 "code": 0, 975 "unchanged": true 976 }, 977 { 978 "name": "generated-66", 979 "code": 0, 980 "unchanged": true 981 }, 982 { 983 "name": "generated-67", 984 "code": 0, 985 "unchanged": true 986 }, 987 { 988 "name": "generated-68", 989 "code": 0, 990 "unchanged": true 991 }, 992 { 993 "name": "generated-69", 994 "code": 0, 995 "unchanged": true 996 }, 997 { 998 "name": "generated-70", 999 "code": 0, 1000 "unchanged": true 1001 }, 1002 { 1003 "name": "generated-71", 1004 "code": 0, 1005 "unchanged": true 1006 }, 1007 { 1008 "name": "generated-72", 1009 "code": 0, 1010 "unchanged": true 1011 }, 1012 { 1013 "name": "generated-73", 1014 "code": 0, 1015 "unchanged": true 1016 }, 1017 { 1018 "name": "generated-74", 1019 "code": 0, 1020 "unchanged": true 1021 }, 1022 { 1023 "name": "generated-75", 1024 "code": 0, 1025 "unchanged": true 1026 }, 1027 { 1028 "name": "generated-76", 1029 "code": 0, 1030 "unchanged": true 1031 }, 1032 { 1033 "name": "generated-77", 1034 "code": 0, 1035 "unchanged": true 1036 }, 1037 { 1038 "name": "generated-78", 1039 "code": 0, 1040 "unchanged": true 1041 }, 1042 { 1043 "name": "generated-79", 1044 "code": 0, 1045 "unchanged": true 1046 }, 1047 { 1048 "name": "generated-80", 1049 "code": 0, 1050 "unchanged": true 1051 }, 1052 { 1053 "name": "generated-81", 1054 "code": 0, 1055 "unchanged": true 1056 }, 1057 { 1058 "name": "generated-82", 1059 "code": 0, 1060 "unchanged": true 1061 }, 1062 { 1063 "name": "generated-83", 1064 "code": 0, 1065 "unchanged": true 1066 }, 1067 { 1068 "name": "generated-84", 1069 "code": 0, 1070 "unchanged": true 1071 }, 1072 { 1073 "name": "generated-85", 1074 "code": 0, 1075 "unchanged": true 1076 }, 1077 { 1078 "name": "generated-86", 1079 "code": 4, 1080 "unchanged": true 1081 }, 1082 { 1083 "name": "generated-87", 1084 "code": 0, 1085 "unchanged": true 1086 }, 1087 { 1088 "name": "generated-88", 1089 "code": 4, 1090 "unchanged": true 1091 }, 1092 { 1093 "name": "generated-89", 1094 "code": 0, 1095 "unchanged": true 1096 }, 1097 { 1098 "name": "generated-90", 1099 "code": 0, 1100 "unchanged": true 1101 }, 1102 { 1103 "name": "generated-91", 1104 "code": 0, 1105 "unchanged": true 1106 }, 1107 { 1108 "name": "generated-92", 1109 "code": 0, 1110 "unchanged": true 1111 }, 1112 { 1113 "name": "generated-93", 1114 "code": 0, 1115 "unchanged": true 1116 }, 1117 { 1118 "name": "generated-94", 1119 "code": 0, 1120 "unchanged": true 1121 }, 1122 { 1123 "name": "generated-95", 1124 "code": 0, 1125 "unchanged": true 1126 }, 1127 { 1128 "name": "generated-96", 1129 "code": 0, 1130 "unchanged": true 1131 }, 1132 { 1133 "name": "generated-97", 1134 "code": 0, 1135 "unchanged": true 1136 }, 1137 { 1138 "name": "generated-98", 1139 "code": 0, 1140 "unchanged": true 1141 }, 1142 { 1143 "name": "generated-99", 1144 "code": 0, 1145 "unchanged": true 1146 }, 1147 { 1148 "name": "generated-100", 1149 "code": 0, 1150 "unchanged": true 1151 }, 1152 { 1153 "name": "generated-101", 1154 "code": 0, 1155 "unchanged": true 1156 }, 1157 { 1158 "name": "generated-102", 1159 "code": 0, 1160 "unchanged": true 1161 }, 1162 { 1163 "name": "generated-103", 1164 "code": 4, 1165 "unchanged": true 1166 }, 1167 { 1168 "name": "generated-104", 1169 "code": 0, 1170 "unchanged": true 1171 }, 1172 { 1173 "name": "generated-105", 1174 "code": 0, 1175 "unchanged": true 1176 }, 1177 { 1178 "name": "generated-106", 1179 "code": 0, 1180 "unchanged": true 1181 }, 1182 { 1183 "name": "generated-107", 1184 "code": 0, 1185 "unchanged": true 1186 }, 1187 { 1188 "name": "generated-108", 1189 "code": 0, 1190 "unchanged": true 1191 }, 1192 { 1193 "name": "generated-109", 1194 "code": 0, 1195 "unchanged": true 1196 }, 1197 { 1198 "name": "generated-110", 1199 "code": 0, 1200 "unchanged": true 1201 }, 1202 { 1203 "name": "generated-111", 1204 "code": 0, 1205 "unchanged": true 1206 }, 1207 { 1208 "name": "generated-112", 1209 "code": 0, 1210 "unchanged": true 1211 }, 1212 { 1213 "name": "generated-113", 1214 "code": 0, 1215 "unchanged": true 1216 }, 1217 { 1218 "name": "generated-114", 1219 "code": 0, 1220 "unchanged": true 1221 }, 1222 { 1223 "name": "generated-115", 1224 "code": 1, 1225 "unchanged": false 1226 }, 1227 { 1228 "name": "generated-116", 1229 "code": 0, 1230 "unchanged": true 1231 }, 1232 { 1233 "name": "generated-117", 1234 "code": 0, 1235 "unchanged": true 1236 }, 1237 { 1238 "name": "generated-118", 1239 "code": 0, 1240 "unchanged": true 1241 }, 1242 { 1243 "name": "generated-119", 1244 "code": 0, 1245 "unchanged": true 1246 }, 1247 { 1248 "name": "generated-120", 1249 "code": 4, 1250 "unchanged": true 1251 }, 1252 { 1253 "name": "generated-121", 1254 "code": 0, 1255 "unchanged": true 1256 }, 1257 { 1258 "name": "generated-122", 1259 "code": 4, 1260 "unchanged": true 1261 }, 1262 { 1263 "name": "generated-123", 1264 "code": 0, 1265 "unchanged": true 1266 }, 1267 { 1268 "name": "generated-124", 1269 "code": 0, 1270 "unchanged": true 1271 }, 1272 { 1273 "name": "generated-125", 1274 "code": 0, 1275 "unchanged": true 1276 }, 1277 { 1278 "name": "generated-126", 1279 "code": 0, 1280 "unchanged": true 1281 }, 1282 { 1283 "name": "generated-127", 1284 "code": 0, 1285 "unchanged": true 1286 } 1287 ], 1288 "core_compiler_bundle_sha256": "bac4bc9a801b5e318e44598b0d373f1c5d8a97d3c33f2948a0346726c05b26d4", 1289 "core_compiler_exact_tree_in_shipped_closure": true, 1290 "demand": [ 1291 { 1292 "name": "closureBound", 1293 "role": "original", 1294 "outcome": "timeout", 1295 "seconds": 3 1296 }, 1297 { 1298 "name": "closedBranchBound", 1299 "role": "original", 1300 "outcome": "timeout", 1301 "seconds": 3 1302 }, 1303 { 1304 "name": "closureBound", 1305 "role": "candidate", 1306 "outcome": "timeout", 1307 "seconds": 3 1308 }, 1309 { 1310 "name": "closedBranchBound", 1311 "role": "candidate", 1312 "outcome": "timeout", 1313 "seconds": 3 1314 } 1315 ], 1316 "partial_result_checks": 10 1317 } 1318 }