X-Git-Url: https://git.lttng.org/?a=blobdiff_plain;ds=sidebyside;f=formal-model%2Furcu-controldataflow-alpha-no-ipi%2Furcu_free_single_flip.spin.input.trail;fp=formal-model%2Furcu-controldataflow-alpha-no-ipi%2Furcu_free_single_flip.spin.input.trail;h=0000000000000000000000000000000000000000;hb=5e32821aa6d74b755730c19a8aa66404d2c367c9;hp=fe033947d7ce90b82741c5d6a1d4a5de9339d105;hpb=41e967af0a4bd23a88b87be39a6c7f7d68a9e2ca;p=urcu.git

diff --git a/formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_single_flip.spin.input.trail b/formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_single_flip.spin.input.trail
deleted file mode 100644
index fe03394..0000000
--- a/formal-model/urcu-controldataflow-alpha-no-ipi/urcu_free_single_flip.spin.input.trail
+++ /dev/null
@@ -1,1147 +0,0 @@
--2:3:-2
--4:-4:-4
-1:0:4465
-2:3:4385
-3:3:4388
-4:3:4388
-5:3:4391
-6:3:4399
-7:3:4399
-8:3:4402
-9:3:4408
-10:3:4412
-11:3:4412
-12:3:4415
-13:3:4425
-14:3:4433
-15:3:4433
-16:3:4436
-17:3:4442
-18:3:4446
-19:3:4446
-20:3:4449
-21:3:4455
-22:3:4459
-23:3:4460
-24:0:4465
-25:3:4462
-26:0:4465
-27:2:3117
-28:0:4465
-29:2:3123
-30:0:4465
-31:2:3124
-32:0:4465
-33:2:3126
-34:0:4465
-35:2:3127
-36:0:4465
-37:2:3128
-38:0:4465
-39:2:3129
-40:0:4465
-41:2:3130
-42:0:4465
-43:2:3131
-44:0:4465
-45:2:3132
-46:2:3133
-47:2:3137
-48:2:3138
-49:2:3146
-50:2:3147
-51:2:3151
-52:2:3152
-53:2:3160
-54:2:3165
-55:2:3169
-56:2:3170
-57:2:3178
-58:2:3179
-59:2:3183
-60:2:3184
-61:2:3178
-62:2:3179
-63:2:3183
-64:2:3184
-65:2:3192
-66:2:3197
-67:2:3198
-68:2:3209
-69:2:3210
-70:2:3211
-71:2:3222
-72:2:3227
-73:2:3228
-74:2:3239
-75:2:3240
-76:2:3241
-77:2:3239
-78:2:3240
-79:2:3241
-80:2:3252
-81:2:3260
-82:0:4465
-83:2:3131
-84:0:4465
-85:2:3264
-86:2:3268
-87:2:3269
-88:2:3273
-89:2:3277
-90:2:3278
-91:2:3282
-92:2:3290
-93:2:3291
-94:2:3295
-95:2:3299
-96:2:3300
-97:2:3295
-98:2:3296
-99:2:3304
-100:0:4465
-101:2:3131
-102:0:4465
-103:2:3312
-104:2:3313
-105:2:3314
-106:0:4465
-107:2:3131
-108:0:4465
-109:2:3319
-110:0:4465
-111:2:4022
-112:2:4023
-113:2:4027
-114:2:4031
-115:2:4032
-116:2:4036
-117:2:4041
-118:2:4049
-119:2:4053
-120:2:4054
-121:2:4049
-122:2:4053
-123:2:4054
-124:2:4058
-125:2:4065
-126:2:4072
-127:2:4073
-128:2:4080
-129:2:4085
-130:2:4092
-131:2:4093
-132:2:4092
-133:2:4093
-134:2:4100
-135:2:4104
-136:0:4465
-137:2:3321
-138:2:4003
-139:0:4465
-140:2:3131
-141:0:4465
-142:2:3322
-143:0:4465
-144:2:3131
-145:0:4465
-146:2:3325
-147:2:3326
-148:2:3330
-149:2:3331
-150:2:3339
-151:2:3340
-152:2:3344
-153:2:3345
-154:2:3353
-155:2:3358
-156:2:3362
-157:2:3363
-158:2:3371
-159:2:3372
-160:2:3376
-161:2:3377
-162:2:3371
-163:2:3372
-164:2:3376
-165:2:3377
-166:2:3385
-167:2:3390
-168:2:3391
-169:2:3402
-170:2:3403
-171:2:3404
-172:2:3415
-173:2:3420
-174:2:3421
-175:2:3432
-176:2:3433
-177:2:3434
-178:2:3432
-179:2:3433
-180:2:3434
-181:2:3445
-182:2:3452
-183:0:4465
-184:2:3131
-185:0:4465
-186:2:3456
-187:2:3457
-188:2:3458
-189:2:3470
-190:2:3471
-191:2:3475
-192:2:3476
-193:2:3484
-194:2:3489
-195:2:3493
-196:2:3494
-197:2:3502
-198:2:3503
-199:2:3507
-200:2:3508
-201:2:3502
-202:2:3503
-203:2:3507
-204:2:3508
-205:2:3516
-206:2:3521
-207:2:3522
-208:2:3533
-209:2:3534
-210:2:3535
-211:2:3546
-212:2:3551
-213:2:3552
-214:2:3563
-215:2:3564
-216:2:3565
-217:2:3563
-218:2:3564
-219:2:3565
-220:2:3576
-221:2:3586
-222:2:3587
-223:0:4465
-224:2:3131
-225:0:4465
-226:2:3991
-227:0:4465
-228:2:4295
-229:2:4296
-230:2:4300
-231:2:4304
-232:2:4305
-233:2:4309
-234:2:4317
-235:2:4318
-236:2:4322
-237:2:4326
-238:2:4327
-239:2:4322
-240:2:4326
-241:2:4327
-242:2:4331
-243:2:4338
-244:2:4345
-245:2:4346
-246:2:4353
-247:2:4358
-248:2:4365
-249:2:4366
-250:2:4365
-251:2:4366
-252:2:4373
-253:2:4377
-254:0:4465
-255:2:3993
-256:2:4003
-257:0:4465
-258:2:3131
-259:0:4465
-260:2:3994
-261:2:3995
-262:0:4465
-263:2:3131
-264:0:4465
-265:2:3999
-266:0:4465
-267:2:4007
-268:0:4465
-269:2:3124
-270:0:4465
-271:2:3126
-272:0:4465
-273:2:3127
-274:0:4465
-275:2:3128
-276:0:4465
-277:2:3129
-278:0:4465
-279:2:3130
-280:0:4465
-281:2:3131
-282:0:4465
-283:2:3132
-284:2:3133
-285:2:3137
-286:2:3138
-287:2:3146
-288:2:3147
-289:2:3151
-290:2:3152
-291:2:3160
-292:2:3165
-293:2:3169
-294:2:3170
-295:2:3178
-296:2:3179
-297:2:3180
-298:2:3178
-299:2:3179
-300:2:3183
-301:2:3184
-302:2:3192
-303:2:3197
-304:2:3198
-305:2:3209
-306:2:3210
-307:2:3211
-308:2:3222
-309:2:3227
-310:2:3228
-311:2:3239
-312:2:3240
-313:2:3241
-314:2:3239
-315:2:3240
-316:2:3241
-317:2:3252
-318:2:3260
-319:0:4465
-320:2:3131
-321:0:4465
-322:2:3264
-323:2:3268
-324:2:3269
-325:2:3273
-326:2:3277
-327:2:3278
-328:2:3282
-329:2:3290
-330:2:3291
-331:2:3295
-332:2:3296
-333:2:3295
-334:2:3299
-335:2:3300
-336:2:3304
-337:0:4465
-338:2:3131
-339:0:4465
-340:2:3312
-341:2:3313
-342:2:3314
-343:0:4465
-344:2:3131
-345:0:4465
-346:2:3319
-347:0:4465
-348:1:2
-349:0:4465
-350:1:8
-351:0:4465
-352:1:9
-353:0:4465
-354:1:10
-355:0:4465
-356:1:11
-357:0:4465
-358:1:12
-359:1:13
-360:1:17
-361:1:18
-362:1:26
-363:1:27
-364:1:31
-365:1:32
-366:1:40
-367:1:45
-368:1:49
-369:1:50
-370:1:58
-371:1:59
-372:1:63
-373:1:64
-374:1:58
-375:1:59
-376:1:63
-377:1:64
-378:1:72
-379:1:84
-380:1:85
-381:1:89
-382:1:90
-383:1:91
-384:1:102
-385:1:107
-386:1:108
-387:1:119
-388:1:120
-389:1:121
-390:1:119
-391:1:120
-392:1:121
-393:1:132
-394:0:4465
-395:1:11
-396:0:4465
-397:1:141
-398:1:142
-399:0:4465
-400:1:11
-401:0:4465
-402:1:148
-403:1:149
-404:1:153
-405:1:154
-406:1:162
-407:1:163
-408:1:167
-409:1:168
-410:1:176
-411:1:181
-412:1:185
-413:1:186
-414:1:194
-415:1:195
-416:1:199
-417:1:200
-418:1:194
-419:1:195
-420:1:199
-421:1:200
-422:1:208
-423:1:220
-424:1:221
-425:1:225
-426:1:226
-427:1:227
-428:1:238
-429:1:243
-430:1:244
-431:1:255
-432:1:256
-433:1:257
-434:1:255
-435:1:256
-436:1:257
-437:1:268
-438:0:4465
-439:1:11
-440:0:4465
-441:1:277
-442:1:278
-443:1:282
-444:1:283
-445:1:291
-446:1:292
-447:1:296
-448:1:297
-449:1:305
-450:1:310
-451:1:314
-452:1:315
-453:1:323
-454:1:324
-455:1:328
-456:1:329
-457:1:323
-458:1:324
-459:1:328
-460:1:329
-461:1:337
-462:1:342
-463:1:343
-464:1:354
-465:1:355
-466:1:356
-467:1:367
-468:1:372
-469:1:373
-470:1:384
-471:1:385
-472:1:386
-473:1:384
-474:1:385
-475:1:386
-476:1:397
-477:1:404
-478:0:4465
-479:1:11
-480:0:4465
-481:1:540
-482:1:544
-483:1:545
-484:1:549
-485:1:550
-486:1:558
-487:1:566
-488:1:567
-489:1:571
-490:1:575
-491:1:576
-492:1:571
-493:1:575
-494:1:576
-495:1:580
-496:1:587
-497:1:594
-498:1:595
-499:1:602
-500:1:607
-501:1:614
-502:1:615
-503:1:614
-504:1:615
-505:1:622
-506:0:4465
-507:1:11
-508:0:4465
-509:2:4022
-510:2:4023
-511:2:4027
-512:2:4031
-513:2:4032
-514:2:4036
-515:2:4041
-516:2:4049
-517:2:4053
-518:2:4054
-519:2:4049
-520:2:4053
-521:2:4054
-522:2:4058
-523:2:4065
-524:2:4072
-525:2:4073
-526:2:4080
-527:2:4085
-528:2:4092
-529:2:4093
-530:2:4092
-531:2:4093
-532:2:4100
-533:2:4104
-534:0:4465
-535:2:3321
-536:2:4003
-537:0:4465
-538:2:3131
-539:0:4465
-540:2:3322
-541:0:4465
-542:2:3131
-543:0:4465
-544:2:3325
-545:2:3326
-546:2:3330
-547:2:3331
-548:2:3339
-549:2:3340
-550:2:3344
-551:2:3345
-552:2:3353
-553:2:3358
-554:2:3362
-555:2:3363
-556:2:3371
-557:2:3372
-558:2:3376
-559:2:3377
-560:2:3371
-561:2:3372
-562:2:3376
-563:2:3377
-564:2:3385
-565:2:3390
-566:2:3391
-567:2:3402
-568:2:3403
-569:2:3404
-570:2:3415
-571:2:3420
-572:2:3421
-573:2:3432
-574:2:3433
-575:2:3434
-576:2:3432
-577:2:3433
-578:2:3434
-579:2:3445
-580:2:3452
-581:0:4465
-582:2:3131
-583:0:4465
-584:2:3456
-585:2:3457
-586:2:3458
-587:2:3470
-588:2:3471
-589:2:3475
-590:2:3476
-591:2:3484
-592:2:3489
-593:2:3493
-594:2:3494
-595:2:3502
-596:2:3503
-597:2:3507
-598:2:3508
-599:2:3502
-600:2:3503
-601:2:3507
-602:2:3508
-603:2:3516
-604:2:3521
-605:2:3522
-606:2:3533
-607:2:3534
-608:2:3535
-609:2:3546
-610:2:3551
-611:2:3552
-612:2:3563
-613:2:3564
-614:2:3565
-615:2:3563
-616:2:3564
-617:2:3565
-618:2:3576
-619:2:3586
-620:2:3587
-621:0:4465
-622:2:3131
-623:0:4465
-624:2:3991
-625:0:4465
-626:2:4295
-627:2:4296
-628:2:4300
-629:2:4304
-630:2:4305
-631:2:4309
-632:2:4317
-633:2:4318
-634:2:4322
-635:2:4326
-636:2:4327
-637:2:4322
-638:2:4326
-639:2:4327
-640:2:4331
-641:2:4338
-642:2:4345
-643:2:4346
-644:2:4353
-645:2:4358
-646:2:4365
-647:2:4366
-648:2:4365
-649:2:4366
-650:2:4373
-651:2:4377
-652:0:4465
-653:2:3993
-654:2:4003
-655:0:4465
-656:2:3131
-657:0:4465
-658:2:3994
-659:2:3995
-660:0:4465
-661:2:3131
-662:0:4465
-663:2:3999
-664:0:4465
-665:2:4007
-666:0:4465
-667:2:3124
-668:0:4465
-669:2:3126
-670:0:4465
-671:2:3127
-672:0:4465
-673:2:3128
-674:0:4465
-675:2:3129
-676:0:4465
-677:2:3130
-678:0:4465
-679:2:3131
-680:0:4465
-681:2:3132
-682:2:3133
-683:2:3137
-684:2:3138
-685:2:3146
-686:2:3147
-687:2:3151
-688:2:3152
-689:2:3160
-690:2:3165
-691:2:3169
-692:2:3170
-693:2:3178
-694:2:3179
-695:2:3183
-696:2:3184
-697:2:3178
-698:2:3179
-699:2:3180
-700:2:3192
-701:2:3197
-702:2:3198
-703:2:3209
-704:2:3210
-705:2:3211
-706:2:3222
-707:2:3227
-708:2:3228
-709:2:3239
-710:2:3240
-711:2:3241
-712:2:3239
-713:2:3240
-714:2:3241
-715:2:3252
-716:2:3260
-717:0:4465
-718:2:3131
-719:0:4465
-720:1:632
-721:1:633
-722:1:637
-723:1:638
-724:1:646
-725:1:647
-726:1:651
-727:1:652
-728:1:660
-729:1:665
-730:1:669
-731:1:670
-732:1:678
-733:1:679
-734:1:683
-735:1:684
-736:1:678
-737:1:679
-738:1:683
-739:1:684
-740:1:692
-741:1:697
-742:1:698
-743:1:709
-744:1:710
-745:1:711
-746:1:722
-747:1:734
-748:1:735
-749:1:739
-750:1:740
-751:1:741
-752:1:739
-753:1:740
-754:1:741
-755:1:752
-756:0:4465
-757:1:11
-758:0:4465
-759:1:761
-760:1:764
-761:1:765
-762:0:4465
-763:1:11
-764:0:4465
-765:1:768
-766:1:769
-767:1:773
-768:1:774
-769:1:782
-770:1:783
-771:1:787
-772:1:788
-773:1:796
-774:1:801
-775:1:805
-776:1:806
-777:1:814
-778:1:815
-779:1:819
-780:1:820
-781:1:814
-782:1:815
-783:1:819
-784:1:820
-785:1:828
-786:1:833
-787:1:834
-788:1:845
-789:1:846
-790:1:847
-791:1:858
-792:1:870
-793:1:871
-794:1:875
-795:1:876
-796:1:877
-797:1:875
-798:1:876
-799:1:877
-800:1:888
-801:0:4465
-802:1:11
-803:0:4465
-804:1:1028
-805:1:1029
-806:1:1033
-807:1:1034
-808:1:1042
-809:1:1043
-810:1:1047
-811:1:1048
-812:1:1056
-813:1:1061
-814:1:1065
-815:1:1066
-816:1:1074
-817:1:1075
-818:1:1079
-819:1:1080
-820:1:1074
-821:1:1075
-822:1:1079
-823:1:1080
-824:1:1088
-825:1:1093
-826:1:1094
-827:1:1105
-828:1:1106
-829:1:1107
-830:1:1118
-831:1:1130
-832:1:1131
-833:1:1135
-834:1:1136
-835:1:1137
-836:1:1135
-837:1:1136
-838:1:1137
-839:1:1148
-840:1:1155
-841:1:1159
-842:0:4465
-843:1:11
-844:0:4465
-845:1:1160
-846:1:1161
-847:1:1165
-848:1:1166
-849:1:1174
-850:1:1175
-851:1:1176
-852:1:1188
-853:1:1193
-854:1:1197
-855:1:1198
-856:1:1206
-857:1:1207
-858:1:1211
-859:1:1212
-860:1:1206
-861:1:1207
-862:1:1211
-863:1:1212
-864:1:1220
-865:1:1225
-866:1:1226
-867:1:1237
-868:1:1238
-869:1:1239
-870:1:1250
-871:1:1262
-872:1:1263
-873:1:1267
-874:1:1268
-875:1:1269
-876:1:1267
-877:1:1268
-878:1:1269
-879:1:1280
-880:0:4465
-881:1:11
-882:0:4465
-883:1:1289
-884:0:4465
-885:1:3023
-886:1:3030
-887:1:3031
-888:1:3038
-889:1:3043
-890:1:3050
-891:1:3051
-892:1:3050
-893:1:3051
-894:1:3058
-895:1:3062
-896:0:4465
-897:2:3264
-898:2:3268
-899:2:3269
-900:2:3273
-901:2:3277
-902:2:3278
-903:2:3282
-904:2:3290
-905:2:3291
-906:2:3295
-907:2:3299
-908:2:3300
-909:2:3295
-910:2:3296
-911:2:3304
-912:0:4465
-913:2:3131
-914:0:4465
-915:2:3312
-916:2:3313
-917:2:3314
-918:0:4465
-919:2:3131
-920:0:4465
-921:2:3319
-922:0:4465
-923:2:4022
-924:2:4023
-925:2:4027
-926:2:4031
-927:2:4032
-928:2:4036
-929:2:4041
-930:2:4049
-931:2:4053
-932:2:4054
-933:2:4049
-934:2:4053
-935:2:4054
-936:2:4058
-937:2:4065
-938:2:4072
-939:2:4073
-940:2:4080
-941:2:4085
-942:2:4092
-943:2:4093
-944:2:4092
-945:2:4093
-946:2:4100
-947:2:4104
-948:0:4465
-949:2:3321
-950:2:4003
-951:0:4465
-952:2:3131
-953:0:4465
-954:2:3322
-955:0:4465
-956:2:3131
-957:0:4465
-958:2:3325
-959:2:3326
-960:2:3330
-961:2:3331
-962:2:3339
-963:2:3340
-964:2:3344
-965:2:3345
-966:2:3353
-967:2:3358
-968:2:3362
-969:2:3363
-970:2:3371
-971:2:3372
-972:2:3376
-973:2:3377
-974:2:3371
-975:2:3372
-976:2:3376
-977:2:3377
-978:2:3385
-979:2:3390
-980:2:3391
-981:2:3402
-982:2:3403
-983:2:3404
-984:2:3415
-985:2:3420
-986:2:3421
-987:2:3432
-988:2:3433
-989:2:3434
-990:2:3432
-991:2:3433
-992:2:3434
-993:2:3445
-994:2:3452
-995:0:4465
-996:2:3131
-997:0:4465
-998:2:3456
-999:2:3457
-1000:2:3458
-1001:2:3470
-1002:2:3471
-1003:2:3475
-1004:2:3476
-1005:2:3484
-1006:2:3489
-1007:2:3493
-1008:2:3494
-1009:2:3502
-1010:2:3503
-1011:2:3507
-1012:2:3508
-1013:2:3502
-1014:2:3503
-1015:2:3507
-1016:2:3508
-1017:2:3516
-1018:2:3521
-1019:2:3522
-1020:2:3533
-1021:2:3534
-1022:2:3535
-1023:2:3546
-1024:2:3551
-1025:2:3552
-1026:2:3563
-1027:2:3564
-1028:2:3565
-1029:2:3563
-1030:2:3564
-1031:2:3565
-1032:2:3576
-1033:2:3584
-1034:0:4465
-1035:2:3131
-1036:0:4465
-1037:2:3590
-1038:0:4465
-1039:2:4113
-1040:2:4114
-1041:2:4118
-1042:2:4122
-1043:2:4123
-1044:2:4127
-1045:2:4135
-1046:2:4136
-1047:2:4140
-1048:2:4144
-1049:2:4145
-1050:2:4140
-1051:2:4144
-1052:2:4145
-1053:2:4149
-1054:2:4156
-1055:2:4163
-1056:2:4164
-1057:2:4171
-1058:2:4176
-1059:2:4183
-1060:2:4184
-1061:2:4183
-1062:2:4184
-1063:2:4191
-1064:2:4195
-1065:0:4465
-1066:2:3592
-1067:2:3593
-1068:0:4465
-1069:2:3131
-1070:0:4465
-1071:2:3456
-1072:2:3457
-1073:2:3461
-1074:2:3462
-1075:2:3470
-1076:2:3471
-1077:2:3475
-1078:2:3476
-1079:2:3484
-1080:2:3489
-1081:2:3493
-1082:2:3494
-1083:2:3502
-1084:2:3503
-1085:2:3507
-1086:2:3508
-1087:2:3502
-1088:2:3503
-1089:2:3507
-1090:2:3508
-1091:2:3516
-1092:2:3521
-1093:2:3522
-1094:2:3533
-1095:2:3534
-1096:2:3535
-1097:2:3546
-1098:2:3551
-1099:2:3552
-1100:2:3563
-1101:2:3564
-1102:2:3565
-1103:2:3563
-1104:2:3564
-1105:2:3565
-1106:2:3576
-1107:2:3584
-1108:0:4465
-1109:2:3131
-1110:0:4465
-1111:2:3590
-1112:0:4465
-1113:2:4113
-1114:2:4114
-1115:2:4118
-1116:2:4122
-1117:2:4123
-1118:2:4127
-1119:2:4135
-1120:2:4136
-1121:2:4140
-1122:2:4144
-1123:2:4145
-1124:2:4140
-1125:2:4144
-1126:2:4145
-1127:2:4149
-1128:2:4156
-1129:2:4163
-1130:2:4164
-1131:2:4171
-1132:2:4176
-1133:2:4183
-1134:2:4184
-1135:2:4183
-1136:2:4184
-1137:2:4191
-1138:2:4195
-1139:0:4465
-1140:1:1291
-1141:1:1292
-1142:0:4463
-1143:1:11
-1144:0:4469
-1145:2:3684