1
0
mirror of https://github.com/TomHarte/CLK.git synced 2025-04-05 19:37:19 +00:00

Withdraws test of CHK (exception taken).

This commit is contained in:
Thomas Harte 2019-12-16 20:00:42 -05:00
parent 60a9b260b1
commit ba2436206f

View File

@ -30,7 +30,6 @@
{ "name" : "EXT/EXTB 001d", "initial state": {"pc": 256, "sr": 9989, "d0": 612883506, "a0": 972417910, "d1": 1401531136, "a1": 1077259700, "d2": 1933179262, "a2": 69150042, "d3": 1663777778, "a3": 416119674, "d4": 728547258, "a4": 1516606286, "d5": 1889510466, "a5": 1118442558, "d6": 14230226, "a6": 739726922, "d7": 796723564, "a7": 730593006, "usp": 846522796}, "final state": {"pc": 258, "sr": 9992, "d0": 612883506, "a0": 972417910, "d1": 1401531136, "a1": 1077259700, "d2": 1933179262, "a2": 69150042, "d3": 1663777778, "a3": 416119674, "d4": 728547258, "a4": 1516606286, "d5": 4294943810, "a5": 1118442558, "d6": 14230226, "a6": 739726922, "d7": 796723564, "a7": 730593006, "usp": 846522796}, "initial memory": [0, 43, 1, 139, 2, 246, 3, 238, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 197, 258, 160, 259, 88, 260, 144, 261, 110, 262, 56, 263, 144, 264, 224, 265, 36, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 001e", "initial state": {"pc": 256, "sr": 10007, "d0": 777773962, "a0": 385570766, "d1": 314036852, "a1": 1329717970, "d2": 1650050884, "a2": 1855091108, "d3": 1948890484, "a3": 1348665010, "d4": 1581780544, "a4": 322928984, "d5": 1285536794, "a5": 776274926, "d6": 183941098, "a6": 889525756, "d7": 1269066052, "a7": 2576870876, "usp": 846522796}, "final state": {"pc": 258, "sr": 10008, "d0": 777773962, "a0": 385570766, "d1": 314036852, "a1": 1329717970, "d2": 1650050884, "a2": 1855091108, "d3": 1948890484, "a3": 1348665010, "d4": 1581780544, "a4": 322928984, "d5": 1285536794, "a5": 776274926, "d6": 4294948842, "a6": 889525756, "d7": 1269066052, "a7": 2576870876, "usp": 846522796}, "initial memory": [0, 153, 1, 151, 2, 237, 3, 220, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 198, 258, 128, 259, 208, 260, 192, 261, 178, 262, 80, 263, 30, 264, 144, 265, 82, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 001f", "initial state": {"pc": 256, "sr": 10002, "d0": 1697027254, "a0": 2111825768, "d1": 1206758978, "a1": 1993448806, "d2": 1162580978, "a2": 1001722402, "d3": 1692276840, "a3": 1824101580, "d4": 823429012, "a4": 198727294, "d5": 986783416, "a5": 672575980, "d6": 2000150578, "a6": 1778061698, "d7": 1969237954, "a7": 3708369110, "usp": 846522796}, "final state": {"pc": 258, "sr": 10000, "d0": 1697027254, "a0": 2111825768, "d1": 1206758978, "a1": 1993448806, "d2": 1162580978, "a2": 1001722402, "d3": 1692276840, "a3": 1824101580, "d4": 823429012, "a4": 198727294, "d5": 986783416, "a5": 672575980, "d6": 2000150578, "a6": 1778061698, "d7": 12226, "a7": 3708369110, "usp": 846522796}, "initial memory": [0, 221, 1, 9, 2, 56, 3, 214, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 199, 258, 56, 259, 60, 260, 168, 261, 134, 262, 16, 263, 224, 264, 208, 265, 22, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0030", "initial state": {"pc": 256, "sr": 10014, "d0": 1898162722, "a0": 1115386540, "d1": 1551309276, "a1": 916839924, "d2": 256043504, "a2": 1133435442, "d3": 1913443594, "a3": 1469541610, "d4": 678870532, "a4": 376431930, "d5": 196431620, "a5": 204623448, "d6": 743871900, "a6": 984971688, "d7": 1752730920, "a7": 1547046794, "usp": 846522796}, "final state": {"pc": 3870042732, "sr": 10008, "d0": 1898162722, "a0": 1115386540, "d1": 1551309276, "a1": 916839924, "d2": 256043504, "a2": 1133435442, "d3": 1913443594, "a3": 1469541610, "d4": 678870532, "a4": 376431930, "d5": 196431620, "a5": 204623448, "d6": 743871900, "a6": 984971688, "d7": 1752730920, "a7": 1547046788, "usp": 846522796}, "initial memory": [0, 92, 1, 54, 2, 15, 3, 138, 4, 0, 5, 0, 6, 1, 7, 0, 24, 230, 25, 172, 26, 42, 27, 108, 256, 73, 257, 128, 258, 0, 259, 58, 260, 32, 261, 12, 262, 200, 263, 22, 264, 200, 265, 126, -1], "final memory": [3542916, 39, 3542917, 24, 3542920, 1, 3542921, 2, -1]},
{ "name" : "EXT/EXTB 0031", "initial state": {"pc": 256, "sr": 10006, "d0": 2075559230, "a0": 1495165754, "d1": 199633548, "a1": 1544690738, "d2": 871601428, "a2": 687424982, "d3": 1019261016, "a3": 89668420, "d4": 242843792, "a4": 1671115200, "d5": 1256699650, "a5": 1642030934, "d6": 849366112, "a6": 301560140, "d7": 972442774, "a7": 424839416, "usp": 846522796}, "final state": {"pc": 338720434, "sr": 10008, "d0": 2075559230, "a0": 1495165754, "d1": 199633548, "a1": 1544690738, "d2": 871601428, "a2": 687424982, "d3": 1019261016, "a3": 89668420, "d4": 242843792, "a4": 1671115200, "d5": 1256699650, "a5": 1642030934, "d6": 849366112, "a6": 301560140, "d7": 972442774, "a7": 424839410, "usp": 846522796}, "initial memory": [0, 25, 1, 82, 2, 136, 3, 248, 4, 0, 5, 0, 6, 1, 7, 0, 24, 20, 25, 48, 26, 118, 27, 178, 256, 73, 257, 129, 258, 160, 259, 36, 260, 160, 261, 104, 262, 16, 263, 140, 264, 152, 265, 90, -1], "final memory": [5409010, 39, 5409011, 24, 5409014, 1, 5409015, 2, -1]},
{ "name" : "EXT/EXTB 0032", "initial state": {"pc": 256, "sr": 9986, "d0": 434044160, "a0": 999894256, "d1": 2125748714, "a1": 1163222816, "d2": 1920701512, "a2": 1742246678, "d3": 256147286, "a3": 1000390300, "d4": 1510224020, "a4": 910316544, "d5": 1225897054, "a5": 1016653780, "d6": 693677260, "a6": 1520184928, "d7": 2092472904, "a7": 1679541980, "usp": 846522796}, "final state": {"pc": 1692810276, "sr": 9984, "d0": 434044160, "a0": 999894256, "d1": 2125748714, "a1": 1163222816, "d2": 1920701512, "a2": 1742246678, "d3": 256147286, "a3": 1000390300, "d4": 1510224020, "a4": 910316544, "d5": 1225897054, "a5": 1016653780, "d6": 693677260, "a6": 1520184928, "d7": 2092472904, "a7": 1679541974, "usp": 846522796}, "initial memory": [0, 100, 1, 27, 2, 198, 3, 220, 4, 0, 5, 0, 6, 1, 7, 0, 24, 100, 25, 230, 26, 60, 27, 36, 256, 73, 257, 130, 258, 240, 259, 206, 260, 8, 261, 56, 262, 80, 263, 20, 264, 248, 265, 86, -1], "final memory": [1820374, 39, 1820378, 1, 1820379, 2, -1]},
{ "name" : "EXT/EXTB 0033", "initial state": {"pc": 256, "sr": 9990, "d0": 1762920498, "a0": 891185446, "d1": 572949034, "a1": 1602853550, "d2": 237741290, "a2": 1124763688, "d3": 1398277610, "a3": 1752260128, "d4": 938242148, "a4": 1792736792, "d5": 63378322, "a5": 1331695734, "d6": 47568942, "a6": 735632304, "d7": 627291510, "a7": 2664202912, "usp": 846522796}, "final state": {"pc": 849251456, "sr": 9984, "d0": 1762920498, "a0": 891185446, "d1": 572949034, "a1": 1602853550, "d2": 237741290, "a2": 1124763688, "d3": 1398277610, "a3": 1752260128, "d4": 938242148, "a4": 1792736792, "d5": 63378322, "a5": 1331695734, "d6": 47568942, "a6": 735632304, "d7": 627291510, "a7": 2664202906, "usp": 846522796}, "initial memory": [0, 158, 1, 204, 2, 130, 3, 160, 4, 0, 5, 0, 6, 1, 7, 0, 24, 50, 25, 158, 26, 140, 27, 128, 256, 73, 257, 131, 258, 8, 259, 52, 260, 144, 261, 60, 262, 152, 263, 246, 264, 72, 265, 170, -1], "final memory": [13402778, 39, 13402782, 1, 13402783, 2, -1]},