Accueil Explorer Aide
Connexion
Juan
/
wnfs
1
0
Fork 0
Fichiers Tickets 0 Pull Requests 0 Wiki
Aborescence: ca6e083277
Branches Tags
wnfs
/
wnfs-hamt
/
proptest-regressions
/
node.txt

node.txt 11 KB
Historique Raw

12345678 
  1. # Seeds for failure cases proptest has generated in the past. It is
    2. 

  2. # automatically read and these particular cases re-run before any
    3. 

  3. # novel cases are generated.
    4. 

  4. #
    5. 

  5. # It is recommended to check this file in to source control so that
    6. 

  6. # everyone who runs the test benefits from these saved cases.
    7. 

  7. cc 5d08de0046bd35ac178402bb79aa73af7341a55dc2bac02bd2bf1ae67a56d507 # shrinks to input = _NodeCanEncodeDecodeAsCborArgs { operations: Operations([Insert("key 72", 471), Remove("key 269"), Remove("key 108"), Insert("key 788", 616), Remove("key 216"), Remove("key 664"), Remove("key 138"), Remove("key 692"), Remove("key 490"), Insert("key 724", 756), Insert("key 857", 171), Remove("key 799"), Insert("key 728", 116), Remove("key 821"), Insert("key 265", 123), Remove("key 185"), Insert("key 972", 543), Insert("key 436", 360), Remove("key 298"), Remove("key 539"), Insert("key 808", 99), Insert("key 562", 710), Insert("key 461", 559), Insert("key 195", 703), Insert("key 934", 294), Insert("key 251", 639), Remove("key 183"), Insert("key 686", 89), Remove("key 258"), Insert("key 874", 521), Remove("key 933"), Remove("key 163"), Insert("key 748", 500), Remove("key 697"), Insert("key 585", 148), Insert("key 242", 509), Remove("key 671"), Insert("key 204", 445), Remove("key 338"), Remove("key 816"), Insert("key 808", 562), Remove("key 745"), Insert("key 805", 542), Insert("key 481", 972), Remove("key 132"), Insert("key 791", 496), Remove("key 347"), Insert("key 277", 605), Remove("key 252"), Insert("key 586", 336), Remove("key 894"), Insert("key 896", 825), Remove("key 417"), Insert("key 463", 816), Insert("key 380", 989), Remove("key 311"), Remove("key 865"), Remove("key 795"), Remove("key 994"), Remove("key 825"), Remove("key 209"), Insert("key 636", 171), Insert("key 969", 405), Remove("key 697"), Remove("key 87"), Remove("key 334"), Remove("key 948"), Remove("key 697"), Remove("key 530"), Insert("key 47", 9), Remove("key 789"), Insert("key 466", 191), Remove("key 13"), Insert("key 557", 639), Remove("key 122"), Remove("key 600"), Insert("key 552", 234), Remove("key 657"), Remove("key 837"), Insert("key 566", 756), Remove("key 802"), Insert("key 332", 37), Remove("key 321"), Remove("key 427"), Remove("key 949"), Insert("key 972", 880), Remove("key 962"), Remove("key 240"), Insert("key 122", 777), Remove("key 224"), Insert("key 82", 265), Insert("key 435", 37), Insert("key 979", 398), Insert("key 76", 873), Remove("key 563"), Insert("key 767", 884), Remove("key 632"), Insert("key 29", 699), Insert("key 692", 39), Remove("key 92"), Insert("key 673", 942), Remove("key 712"), Remove("key 463"), Insert("key 533", 127), Remove("key 441"), Remove("key 980"), Insert("key 297", 673), Insert("key 728", 692), Insert("key 657", 285), Insert("key 307", 716), Insert("key 524", 328), Remove("key 547"), Remove("key 102"), Insert("key 569", 246), Insert("key 940", 506), Remove("key 116"), Insert("key 294", 297), Remove("key 800"), Remove("key 39"), Remove("key 182"), Remove("key 429"), Remove("key 862"), Remove("key 737"), Insert("key 91", 53), Insert("key 935", 925), Remove("key 77"), Remove("key 110"), Remove("key 170"), Insert("key 514", 390), Remove("key 623"), Remove("key 199"), Insert("key 86", 546), Insert("key 827", 561), Insert("key 761", 704), Remove("key 474"), Remove("key 433"), Insert("key 574", 368), Remove("key 537"), Insert("key 378", 228), Remove("key 596"), Insert("key 27", 581), Insert("key 518", 244), Insert("key 115", 634), Remove("key 971"), Insert("key 564", 231), Remove("key 874"), Remove("key 136"), Insert("key 783", 858), Insert("key 226", 486), Insert("key 376", 348), Remove("key 534"), Remove("key 20"), Insert("key 708", 607), Insert("key 913", 878), Insert("key 326", 243), Remove("key 211"), Remove("key 69"), Insert("key 541", 755), Remove("key 681"), Insert("key 898", 741), Remove("key 356"), Insert("key 801", 866), Insert("key 583", 476), Remove("key 613"), Remove("key 470"), Remove("key 594"), Remove("key 100"), Remove("key 911"), Remove("key 488"), Remove("key 768"), Insert("key 483", 843), Remove("key 357"), Remove("key 543"), Insert("key 562", 896), Remove("key 221"), Remove("key 308"), Remove("key 277"), Remove("key 90"), Remove("key 627"), Insert("key 276", 770), Remove("key 557"), Remove("key 147"), Remove("key 192"), Remove("key 817"), Insert("key 75", 24), Insert("key 640", 998), Insert("key 95", 954), Remove("key 542"), Insert("key 443", 804), Insert("key 311", 445), Insert("key 87", 560), Insert("key 353", 366), Insert("key 728", 4), Insert("key 650", 336), Insert("key 264", 755), Insert("key 479", 621), Remove("key 195"), Remove("key 800"), Insert("key 866", 121), Insert("key 361", 109), Remove("key 672"), Insert("key 428", 39), Remove("key 215"), Insert("key 844", 498), Insert("key 824", 774), Insert("key 203", 434), Remove("key 656"), Insert("key 710", 710), Insert("key 307", 366), Insert("key 236", 703), Remove("key 439"), Insert("key 110", 216), Insert("key 659", 58), Remove("key 346"), Remove("key 606"), Remove("key 301"), Remove("key 734"), Remove("key 116"), Insert("key 638", 367), Remove("key 371"), Remove("key 651"), Insert("key 697", 291), Remove("key 637"), Insert("key 973", 513), Insert("key 572", 183), Remove("key 496"), Remove("key 767"), Remove("key 236"), Remove("key 689"), Remove("key 538"), Remove("key 793"), Insert("key 234", 124), Remove("key 182"), Insert("key 456", 308), Insert("key 532", 578), Remove("key 753"), Remove("key 480"), Insert("key 85", 840), Insert("key 123", 339), Insert("key 478", 62), Insert("key 913", 94), Remove("key 653"), Insert("key 384", 124), Remove("key 859"), Remove("key 93"), Remove("key 644"), Remove("key 372"), Remove("key 379"), Remove("key 460"), Remove("key 727"), Remove("key 540"), Remove("key 613"), Remove("key 615"), Insert("key 643", 277), Remove("key 428"), Remove("key 636"), Insert("key 683", 825), Remove("key 573"), Insert("key 293", 627), Remove("key 735"), Remove("key 756"), Remove("key 465"), Insert("key 422", 717), Remove("key 480"), Insert("key 316", 925), Insert("key 193", 799), Remove("key 62"), Insert("key 851", 471), Insert("key 919", 256), Insert("key 652", 458), Insert("key 990", 250), Insert("key 850", 122), Remove("key 817"), Remove("key 817"), Remove("key 557"), Remove("key 815"), Insert("key 874", 473), Remove("key 722"), Remove("key 402"), Remove("key 864"), Remove("key 687"), Remove("key 639"), Remove("key 957"), Remove("key 152"), Insert("key 15", 83), Insert("key 448", 811), Insert("key 803", 749), Remove("key 410"), Insert("key 783", 742), Insert("key 312", 756), Insert("key 148", 651), Remove("key 935"), Remove("key 910"), Remove("key 753"), Remove("key 780"), Remove("key 800"), Insert("key 660", 865), Remove("key 635"), Insert("key 359", 10), Insert("key 314", 345), Remove("key 919"), Remove("key 680"), Remove("key 731"), Insert("key 116", 426), Remove("key 522"), Insert("key 443", 938), Insert("key 308", 143), Remove("key 801"), Insert("key 513", 798), Insert("key 349", 487), Insert("key 910", 106), Insert("key 877", 766), Insert("key 430", 676), Remove("key 517"), Insert("key 433", 338), Insert("key 787", 736), Remove("key 398"), Insert("key 866", 68), Remove("key 656"), Insert("key 610", 843), Remove("key 227"), Remove("key 652"), Remove("key 855"), Insert("key 775", 707), Insert("key 874", 164), Remove("key 955"), Remove("key 821"), Remove("key 775"), Remove("key 79"), Remove("key 283"), Insert("key 635", 644), Insert("key 766", 281), Insert("key 382", 911), Insert("key 492", 866), Remove("key 717"), Insert("key 420", 658), Remove("key 360"), Insert("key 8", 982), Remove("key 120"), Remove("key 962"), Insert("key 942", 291), Insert("key 130", 220), Remove("key 414"), Insert("key 300", 891), Insert("key 530", 340), Insert("key 656", 560), Remove("key 318"), Insert("key 611", 17), Remove("key 359"), Insert("key 332", 524), Insert("key 190", 911), Remove("key 122"), Remove("key 298"), Insert("key 748", 180), Remove("key 92"), Remove("key 843"), Insert("key 188", 95), Remove("key 17"), Insert("key 437", 427), Remove("key 222"), Insert("key 625", 428), Remove("key 512"), Insert("key 54", 230), Remove("key 850"), Remove("key 780"), Remove("key 284"), Remove("key 345"), Insert("key 698", 826), Remove("key 558"), Insert("key 414", 459), Remove("key 729"), Remove("key 66"), Insert("key 153", 841), Remove("key 777"), Insert("key 119", 571), Insert("key 616", 745), Insert("key 588", 235), Insert("key 344", 741), Insert("key 416", 683), Remove("key 840"), Insert("key 79", 201), Remove("key 830"), Remove("key 866"), Insert("key 675", 699), Remove("key 683"), Remove("key 649"), Remove("key 526"), Insert("key 516", 633), Insert("key 538", 292), Insert("key 4", 318), Insert("key 707", 553), Remove("key 539"), Remove("key 223"), Remove("key 999"), Insert("key 449", 157), Remove("key 655"), Remove("key 752"), Insert("key 844", 936), Insert("key 465", 11), Insert("key 902", 730), Insert("key 13", 379), Insert("key 28", 437), Remove("key 157"), Insert("key 231", 585), Remove("key 477"), Insert("key 331", 379), Remove("key 493"), Remove("key 952"), Insert("key 703", 424), Insert("key 615", 845), Insert("key 420", 927), Remove("key 540"), Remove("key 720"), Insert("key 229", 60), Insert("key 622", 909), Remove("key 288"), Remove("key 180"), Remove("key 802"), Insert("key 966", 766), Insert("key 974", 519), Insert("key 384", 970), Remove("key 714"), Insert("key 829", 779), Insert("key 338", 605), Insert("key 681", 508), Remove("key 717"), Remove("key 4"), Insert("key 882", 333), Remove("key 525"), Insert("key 449", 558), Insert("key 67", 586), Insert("key 578", 744), Remove("key 724"), Remove("key 274"), Remove("key 723"), Insert("key 722", 96), Remove("key 829"), Insert("key 9", 283), Insert("key 495", 716), Insert("key 960", 955), Insert("key 159", 337), Insert("key 991", 816), Insert("key 497", 692), Remove("key 935"), Remove("key 985"), Remove("key 787"), Remove("key 490"), Remove("key 590"), Remove("key 192"), Insert("key 664", 452), Insert("key 971", 634), Remove("key 405"), Insert("key 441", 577), Remove("key 219"), Remove("key 938"), Remove("key 125"), Remove("key 294"), Remove("key 436"), Remove("key 140"), Insert("key 683", 97), Remove("key 547"), Insert("key 647", 862), Insert("key 523", 993), Remove("key 77"), Remove("key 443"), Remove("key 551"), Insert("key 975", 8), Insert("key 802", 414), Insert("key 615", 465), Remove("key 858"), Remove("key 98"), Remove("key 220"), Remove("key 949"), Insert("key 986", 347), Remove("key 770"), Remove("key 220"), Remove("key 19"), Insert("key 228", 229), Remove("key 550"), Insert("key 664", 563), Insert("key 568", 74), Remove("key 322"), Insert("key 762", 221), Insert("key 551", 204), Insert("key 980", 619), Insert("key 758", 875), Insert("key 965", 134), Insert("key 840", 976), Remove("key 930"), Insert("key 553", 124), Remove("key 795"), Remove("key 234")]) }
    8. 

  8. cc f1b2081f621d8fdb2ee7cf61a4b54f3b9f4c273d092bf3e9d43b11ad7b5dc0db # shrinks to input = _TestRepeatedSerializationRoundtripArgs { operations: [Insert([137, 155], 0), Insert([137, 155], 1)] }
    9.