summaryrefslogtreecommitdiff
path: root/tests/ref/fate/smc
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ref/fate/smc')
-rw-r--r--tests/ref/fate/smc241
1 files changed, 121 insertions, 120 deletions
diff --git a/tests/ref/fate/smc b/tests/ref/fate/smc
index 2901b908d5..1635b37e55 100644
--- a/tests/ref/fate/smc
+++ b/tests/ref/fate/smc
@@ -1,120 +1,121 @@
-0, 0, 230400, 0xf814fc90
-0, 9000, 230400, 0xe1b13137
-0, 18000, 230400, 0xa7f4d408
-0, 27000, 230400, 0x4b86e1d5
-0, 36000, 230400, 0xc663af5a
-0, 45000, 230400, 0x943b5757
-0, 54000, 230400, 0x0d7ee496
-0, 63000, 230400, 0x78792de4
-0, 72000, 230400, 0xd102fb8d
-0, 81000, 230400, 0xf9006139
-0, 90000, 230400, 0x216bd87d
-0, 99000, 230400, 0x1e4c902c
-0, 108000, 230400, 0x5aaa7742
-0, 117000, 230400, 0x48699d93
-0, 126000, 230400, 0xd1e22a5c
-0, 135000, 230400, 0x18929315
-0, 144000, 230400, 0x680dd4d3
-0, 153000, 230400, 0x4cdbcbcb
-0, 162000, 230400, 0x6f810d98
-0, 171000, 230400, 0xb4f68204
-0, 180000, 230400, 0xbd3bb19e
-0, 189000, 230400, 0xab27b424
-0, 198000, 230400, 0xe5dd675d
-0, 207000, 230400, 0x811e45a1
-0, 216000, 230400, 0x951011f7
-0, 225000, 230400, 0x2f1e2b99
-0, 234000, 230400, 0x6657c0d6
-0, 243000, 230400, 0xfd29177d
-0, 252000, 230400, 0x4b4c01d7
-0, 261000, 230400, 0x9af286aa
-0, 270000, 230400, 0xc4e9b193
-0, 279000, 230400, 0x05dc28ec
-0, 288000, 230400, 0x68352119
-0, 297000, 230400, 0x0b87e79c
-0, 306000, 230400, 0x8358b180
-0, 315000, 230400, 0x8debbc9d
-0, 324000, 230400, 0x961c58ce
-0, 333000, 230400, 0xd8a809c8
-0, 342000, 230400, 0x5351789d
-0, 351000, 230400, 0xa7ca598c
-0, 360000, 230400, 0xc5ce1812
-0, 369000, 230400, 0x74496550
-0, 378000, 230400, 0x326e366e
-0, 387000, 230400, 0x27ae9a92
-0, 396000, 230400, 0xadbc8794
-0, 405000, 230400, 0x7f3587d8
-0, 414000, 230400, 0xf0400ca6
-0, 423000, 230400, 0x59a5138e
-0, 432000, 230400, 0x456d62a5
-0, 441000, 230400, 0xf1a5e5f1
-0, 450000, 230400, 0x75c712e4
-0, 459000, 230400, 0xd160780a
-0, 468000, 230400, 0xc6c23cf0
-0, 477000, 230400, 0x0339a2ac
-0, 486000, 230400, 0x0e27a2e2
-0, 495000, 230400, 0x84976300
-0, 504000, 230400, 0xb368f3c4
-0, 513000, 230400, 0xa5231fb8
-0, 522000, 230400, 0x17c036d4
-0, 531000, 230400, 0xfc81a2c0
-0, 540000, 230400, 0x99faa403
-0, 549000, 230400, 0xff59efd3
-0, 558000, 230400, 0xcece1d23
-0, 567000, 230400, 0x56c785d9
-0, 576000, 230400, 0xe5a9f222
-0, 585000, 230400, 0xb80946f8
-0, 594000, 230400, 0xf6b642c6
-0, 603000, 230400, 0x69573aed
-0, 612000, 230400, 0xfb69a1fd
-0, 621000, 230400, 0x100b47f4
-0, 630000, 230400, 0x6edf9543
-0, 639000, 230400, 0x11fdf43c
-0, 648000, 230400, 0xd143bf2a
-0, 657000, 230400, 0x7ca747c4
-0, 666000, 230400, 0xd984bd73
-0, 675000, 230400, 0xc5477e8d
-0, 684000, 230400, 0xf7d58300
-0, 693000, 230400, 0x7a1b9463
-0, 702000, 230400, 0x47a29342
-0, 711000, 230400, 0xdf437f9d
-0, 720000, 230400, 0xf836ef5d
-0, 729000, 230400, 0xc98937af
-0, 738000, 230400, 0x9258695b
-0, 747000, 230400, 0xd4fe179c
-0, 756000, 230400, 0x35d524d3
-0, 765000, 230400, 0xd9ce5484
-0, 774000, 230400, 0xdef776ed
-0, 783000, 230400, 0x154c4057
-0, 792000, 230400, 0xf5c764f1
-0, 801000, 230400, 0x41979b13
-0, 810000, 230400, 0xae4e83db
-0, 819000, 230400, 0x09fc0f83
-0, 828000, 230400, 0x60267fdf
-0, 837000, 230400, 0xeaafc525
-0, 846000, 230400, 0x80cc35e5
-0, 855000, 230400, 0xd82c6164
-0, 864000, 230400, 0xd68b8111
-0, 873000, 230400, 0x96f874a3
-0, 882000, 230400, 0x7fc861c4
-0, 891000, 230400, 0xb911f310
-0, 900000, 230400, 0x35bbf5aa
-0, 909000, 230400, 0xa922b683
-0, 918000, 230400, 0xbf6ae353
-0, 927000, 230400, 0x6bd3984c
-0, 936000, 230400, 0xe51768c0
-0, 945000, 230400, 0xee691624
-0, 954000, 230400, 0xd546fed7
-0, 963000, 230400, 0x98d375e6
-0, 972000, 230400, 0x3b9ca990
-0, 981000, 230400, 0x27128ad1
-0, 990000, 230400, 0x2788e38c
-0, 999000, 230400, 0xb0cf3381
-0, 1008000, 230400, 0x4fc86d39
-0, 1017000, 230400, 0xf5632fff
-0, 1026000, 230400, 0x7fa1e6c2
-0, 1035000, 230400, 0xffeef044
-0, 1044000, 230400, 0x932af385
-0, 1053000, 230400, 0x76738428
-0, 1062000, 230400, 0xf6771ba2
-0, 1071000, 230400, 0x17e2ff27
+#tb 0: 1/10
+0, 0, 0, 1, 230400, 0xf814fc90
+0, 1, 1, 1, 230400, 0xe1b13137
+0, 2, 2, 1, 230400, 0xa7f4d408
+0, 3, 3, 1, 230400, 0x4b86e1d5
+0, 4, 4, 1, 230400, 0xc663af5a
+0, 5, 5, 1, 230400, 0x943b5757
+0, 6, 6, 1, 230400, 0x0d7ee496
+0, 7, 7, 1, 230400, 0x78792de4
+0, 8, 8, 1, 230400, 0xd102fb8d
+0, 9, 9, 1, 230400, 0xf9006139
+0, 10, 10, 1, 230400, 0x216bd87d
+0, 11, 11, 1, 230400, 0x1e4c902c
+0, 12, 12, 1, 230400, 0x5aaa7742
+0, 13, 13, 1, 230400, 0x48699d93
+0, 14, 14, 1, 230400, 0xd1e22a5c
+0, 15, 15, 1, 230400, 0x18929315
+0, 16, 16, 1, 230400, 0x680dd4d3
+0, 17, 17, 1, 230400, 0x4cdbcbcb
+0, 18, 18, 1, 230400, 0x6f810d98
+0, 19, 19, 1, 230400, 0xb4f68204
+0, 20, 20, 1, 230400, 0xbd3bb19e
+0, 21, 21, 1, 230400, 0xab27b424
+0, 22, 22, 1, 230400, 0xe5dd675d
+0, 23, 23, 1, 230400, 0x811e45a1
+0, 24, 24, 1, 230400, 0x951011f7
+0, 25, 25, 1, 230400, 0x2f1e2b99
+0, 26, 26, 1, 230400, 0x6657c0d6
+0, 27, 27, 1, 230400, 0xfd29177d
+0, 28, 28, 1, 230400, 0x4b4c01d7
+0, 29, 29, 1, 230400, 0x9af286aa
+0, 30, 30, 1, 230400, 0xc4e9b193
+0, 31, 31, 1, 230400, 0x05dc28ec
+0, 32, 32, 1, 230400, 0x68352119
+0, 33, 33, 1, 230400, 0x0b87e79c
+0, 34, 34, 1, 230400, 0x8358b180
+0, 35, 35, 1, 230400, 0x8debbc9d
+0, 36, 36, 1, 230400, 0x961c58ce
+0, 37, 37, 1, 230400, 0xd8a809c8
+0, 38, 38, 1, 230400, 0x5351789d
+0, 39, 39, 1, 230400, 0xa7ca598c
+0, 40, 40, 1, 230400, 0xc5ce1812
+0, 41, 41, 1, 230400, 0x74496550
+0, 42, 42, 1, 230400, 0x326e366e
+0, 43, 43, 1, 230400, 0x27ae9a92
+0, 44, 44, 1, 230400, 0xadbc8794
+0, 45, 45, 1, 230400, 0x7f3587d8
+0, 46, 46, 1, 230400, 0xf0400ca6
+0, 47, 47, 1, 230400, 0x59a5138e
+0, 48, 48, 1, 230400, 0x456d62a5
+0, 49, 49, 1, 230400, 0xf1a5e5f1
+0, 50, 50, 1, 230400, 0x75c712e4
+0, 51, 51, 1, 230400, 0xd160780a
+0, 52, 52, 1, 230400, 0xc6c23cf0
+0, 53, 53, 1, 230400, 0x0339a2ac
+0, 54, 54, 1, 230400, 0x0e27a2e2
+0, 55, 55, 1, 230400, 0x84976300
+0, 56, 56, 1, 230400, 0xb368f3c4
+0, 57, 57, 1, 230400, 0xa5231fb8
+0, 58, 58, 1, 230400, 0x17c036d4
+0, 59, 59, 1, 230400, 0xfc81a2c0
+0, 60, 60, 1, 230400, 0x99faa403
+0, 61, 61, 1, 230400, 0xff59efd3
+0, 62, 62, 1, 230400, 0xcece1d23
+0, 63, 63, 1, 230400, 0x56c785d9
+0, 64, 64, 1, 230400, 0xe5a9f222
+0, 65, 65, 1, 230400, 0xb80946f8
+0, 66, 66, 1, 230400, 0xf6b642c6
+0, 67, 67, 1, 230400, 0x69573aed
+0, 68, 68, 1, 230400, 0xfb69a1fd
+0, 69, 69, 1, 230400, 0x100b47f4
+0, 70, 70, 1, 230400, 0x6edf9543
+0, 71, 71, 1, 230400, 0x11fdf43c
+0, 72, 72, 1, 230400, 0xd143bf2a
+0, 73, 73, 1, 230400, 0x7ca747c4
+0, 74, 74, 1, 230400, 0xd984bd73
+0, 75, 75, 1, 230400, 0xc5477e8d
+0, 76, 76, 1, 230400, 0xf7d58300
+0, 77, 77, 1, 230400, 0x7a1b9463
+0, 78, 78, 1, 230400, 0x47a29342
+0, 79, 79, 1, 230400, 0xdf437f9d
+0, 80, 80, 1, 230400, 0xf836ef5d
+0, 81, 81, 1, 230400, 0xc98937af
+0, 82, 82, 1, 230400, 0x9258695b
+0, 83, 83, 1, 230400, 0xd4fe179c
+0, 84, 84, 1, 230400, 0x35d524d3
+0, 85, 85, 1, 230400, 0xd9ce5484
+0, 86, 86, 1, 230400, 0xdef776ed
+0, 87, 87, 1, 230400, 0x154c4057
+0, 88, 88, 1, 230400, 0xf5c764f1
+0, 89, 89, 1, 230400, 0x41979b13
+0, 90, 90, 1, 230400, 0xae4e83db
+0, 91, 91, 1, 230400, 0x09fc0f83
+0, 92, 92, 1, 230400, 0x60267fdf
+0, 93, 93, 1, 230400, 0xeaafc525
+0, 94, 94, 1, 230400, 0x80cc35e5
+0, 95, 95, 1, 230400, 0xd82c6164
+0, 96, 96, 1, 230400, 0xd68b8111
+0, 97, 97, 1, 230400, 0x96f874a3
+0, 98, 98, 1, 230400, 0x7fc861c4
+0, 99, 99, 1, 230400, 0xb911f310
+0, 100, 100, 1, 230400, 0x35bbf5aa
+0, 101, 101, 1, 230400, 0xa922b683
+0, 102, 102, 1, 230400, 0xbf6ae353
+0, 103, 103, 1, 230400, 0x6bd3984c
+0, 104, 104, 1, 230400, 0xe51768c0
+0, 105, 105, 1, 230400, 0xee691624
+0, 106, 106, 1, 230400, 0xd546fed7
+0, 107, 107, 1, 230400, 0x98d375e6
+0, 108, 108, 1, 230400, 0x3b9ca990
+0, 109, 109, 1, 230400, 0x27128ad1
+0, 110, 110, 1, 230400, 0x2788e38c
+0, 111, 111, 1, 230400, 0xb0cf3381
+0, 112, 112, 1, 230400, 0x4fc86d39
+0, 113, 113, 1, 230400, 0xf5632fff
+0, 114, 114, 1, 230400, 0x7fa1e6c2
+0, 115, 115, 1, 230400, 0xffeef044
+0, 116, 116, 1, 230400, 0x932af385
+0, 117, 117, 1, 230400, 0x76738428
+0, 118, 118, 1, 230400, 0xf6771ba2
+0, 119, 119, 1, 230400, 0x17e2ff27