exchange: master 0a6dd728

Author Committer Branch Timestamp Parent
Christian Grothoff Christian Grothoff master 2015-09-21 17:41 master ec0131bc
Changeset add tests generated by AFL (for now)
add - src/mint/afl-tests/id:000000,orig:admin_add_incoming.req Diff File
add - src/mint/afl-tests/id:000001,orig:deposit.req Diff File
add - src/mint/afl-tests/id:000002,orig:keys.req Diff File
add - src/mint/afl-tests/id:000003,orig:refresh_link.req Diff File
add - src/mint/afl-tests/id:000004,orig:refresh_melt.req Diff File
add - src/mint/afl-tests/id:000005,orig:refresh_reveal.req Diff File
add - src/mint/afl-tests/id:000006,orig:reserve_status.req Diff File
add - src/mint/afl-tests/id:000007,orig:reserve_withdraw.req Diff File
add - src/mint/afl-tests/id:000008,orig:wire.req Diff File
add - src/mint/afl-tests/id:000009,orig:wire_sepa.req Diff File
add - src/mint/afl-tests/id:000010,orig:wire_test.req Diff File
add - src/mint/afl-tests/id:000011,src:000000,op:flip1,pos:2,+cov Diff File
add - src/mint/afl-tests/id:000012,src:000000,op:flip1,pos:4,+cov Diff File
add - src/mint/afl-tests/id:000013,src:000000,op:flip1,pos:5,+cov Diff File
add - src/mint/afl-tests/id:000014,src:000000,op:flip1,pos:5,+cov Diff File
add - src/mint/afl-tests/id:000015,src:000000,op:flip1,pos:8,+cov Diff File
add - src/mint/afl-tests/id:000016,src:000000,op:flip1,pos:11 Diff File
add - src/mint/afl-tests/id:000017,src:000000,op:flip1,pos:13,+cov Diff File
add - src/mint/afl-tests/id:000018,src:000000,op:flip1,pos:13,+cov Diff File
add - src/mint/afl-tests/id:000019,src:000000,op:flip1,pos:19,+cov Diff File
add - src/mint/afl-tests/id:000020,src:000000,op:flip1,pos:19,+cov Diff File
add - src/mint/afl-tests/id:000021,src:000000,op:flip1,pos:21,+cov Diff File
add - src/mint/afl-tests/id:000022,src:000000,op:flip1,pos:23,+cov Diff File
add - src/mint/afl-tests/id:000023,src:000000,op:flip1,pos:24,+cov Diff File
add - src/mint/afl-tests/id:000024,src:000000,op:flip1,pos:24,+cov Diff File
add - src/mint/afl-tests/id:000025,src:000000,op:flip1,pos:24,+cov Diff File
add - src/mint/afl-tests/id:000026,src:000000,op:flip1,pos:25,+cov Diff File
add - src/mint/afl-tests/id:000027,src:000000,op:flip1,pos:26,+cov Diff File
add - src/mint/afl-tests/id:000028,src:000000,op:flip1,pos:26,+cov Diff File
add - src/mint/afl-tests/id:000029,src:000000,op:flip1,pos:27,+cov Diff File
add - src/mint/afl-tests/id:000030,src:000000,op:flip1,pos:27 Diff File
add - src/mint/afl-tests/id:000031,src:000000,op:flip1,pos:28,+cov Diff File
add - src/mint/afl-tests/id:000032,src:000000,op:flip1,pos:30,+cov Diff File
add - src/mint/afl-tests/id:000033,src:000000,op:flip1,pos:30,+cov Diff File
add - src/mint/afl-tests/id:000034,src:000000,op:flip1,pos:30,+cov Diff File
add - src/mint/afl-tests/id:000035,src:000000,op:flip1,pos:30,+cov Diff File
add - src/mint/afl-tests/id:000036,src:000000,op:flip1,pos:31,+cov Diff File
add - src/mint/afl-tests/id:000037,src:000000,op:flip1,pos:32,+cov Diff File
add - src/mint/afl-tests/id:000038,src:000000,op:flip1,pos:32 Diff File
add - src/mint/afl-tests/id:000039,src:000000,op:flip1,pos:34,+cov Diff File
add - src/mint/afl-tests/id:000040,src:000000,op:flip1,pos:34,+cov Diff File
add - src/mint/afl-tests/id:000041,src:000000,op:flip1,pos:36,+cov Diff File
add - src/mint/afl-tests/id:000042,src:000000,op:flip1,pos:36,+cov Diff File
add - src/mint/afl-tests/id:000043,src:000000,op:flip1,pos:37,+cov Diff File
add - src/mint/afl-tests/id:000044,src:000000,op:flip1,pos:38 Diff File
add - src/mint/afl-tests/id:000045,src:000000,op:flip1,pos:39,+cov Diff File
add - src/mint/afl-tests/id:000046,src:000000,op:flip1,pos:39,+cov Diff File
add - src/mint/afl-tests/id:000047,src:000000,op:flip1,pos:39,+cov Diff File
add - src/mint/afl-tests/id:000048,src:000000,op:flip1,pos:40,+cov Diff File
add - src/mint/afl-tests/id:000049,src:000000,op:flip1,pos:41,+cov Diff File
add - src/mint/afl-tests/id:000050,src:000000,op:flip1,pos:42,+cov Diff File
add - src/mint/afl-tests/id:000051,src:000000,op:flip1,pos:47,+cov Diff File
add - src/mint/afl-tests/id:000052,src:000000,op:flip1,pos:47,+cov Diff File
add - src/mint/afl-tests/id:000053,src:000000,op:flip1,pos:47,+cov Diff File
add - src/mint/afl-tests/id:000054,src:000000,op:flip1,pos:49,+cov Diff File
add - src/mint/afl-tests/id:000055,src:000000,op:flip1,pos:52,+cov Diff File
add - src/mint/afl-tests/id:000056,src:000000,op:flip1,pos:52,+cov Diff File
add - src/mint/afl-tests/id:000057,src:000000,op:flip1,pos:54,+cov Diff File
add - src/mint/afl-tests/id:000058,src:000000,op:flip1,pos:54,+cov Diff File
add - src/mint/afl-tests/id:000059,src:000000,op:flip1,pos:55,+cov Diff File
add - src/mint/afl-tests/id:000060,src:000000,op:flip1,pos:56,+cov Diff File
add - src/mint/afl-tests/id:000061,src:000000,op:flip1,pos:59,+cov Diff File
add - src/mint/afl-tests/id:000062,src:000000,op:flip1,pos:60,+cov Diff File
add - src/mint/afl-tests/id:000063,src:000000,op:flip1,pos:61,+cov Diff File
add - src/mint/afl-tests/id:000064,src:000000,op:flip1,pos:62,+cov Diff File
add - src/mint/afl-tests/id:000065,src:000000,op:flip1,pos:63,+cov Diff File
add - src/mint/afl-tests/id:000066,src:000000,op:flip1,pos:63,+cov Diff File
add - src/mint/afl-tests/id:000067,src:000000,op:flip1,pos:65,+cov Diff File
add - src/mint/afl-tests/id:000068,src:000000,op:flip1,pos:66,+cov Diff File
add - src/mint/afl-tests/id:000069,src:000000,op:flip1,pos:67,+cov Diff File
add - src/mint/afl-tests/id:000070,src:000000,op:flip1,pos:69,+cov Diff File
add - src/mint/afl-tests/id:000071,src:000000,op:flip1,pos:74,+cov Diff File
add - src/mint/afl-tests/id:000072,src:000000,op:flip1,pos:76,+cov Diff File
add - src/mint/afl-tests/id:000073,src:000000,op:flip1,pos:81,+cov Diff File
add - src/mint/afl-tests/id:000074,src:000000,op:flip1,pos:82,+cov Diff File
add - src/mint/afl-tests/id:000075,src:000000,op:flip1,pos:82,+cov Diff File
add - src/mint/afl-tests/id:000076,src:000000,op:flip1,pos:83,+cov Diff File
add - src/mint/afl-tests/id:000077,src:000000,op:flip1,pos:85,+cov Diff File
add - src/mint/afl-tests/id:000078,src:000000,op:flip1,pos:87,+cov Diff File
add - src/mint/afl-tests/id:000079,src:000000,op:flip1,pos:87,+cov Diff File
add - src/mint/afl-tests/id:000080,src:000000,op:flip1,pos:87,+cov Diff File
add - src/mint/afl-tests/id:000081,src:000000,op:flip1,pos:90,+cov Diff File
add - src/mint/afl-tests/id:000082,src:000000,op:flip1,pos:92,+cov Diff File
add - src/mint/afl-tests/id:000083,src:000000,op:flip1,pos:93,+cov Diff File
add - src/mint/afl-tests/id:000084,src:000000,op:flip1,pos:95,+cov Diff File
add - src/mint/afl-tests/id:000085,src:000000,op:flip1,pos:95,+cov Diff File
add - src/mint/afl-tests/id:000086,src:000000,op:flip1,pos:96,+cov Diff File
add - src/mint/afl-tests/id:000087,src:000000,op:flip1,pos:96,+cov Diff File
add - src/mint/afl-tests/id:000088,src:000000,op:flip1,pos:100,+cov Diff File
add - src/mint/afl-tests/id:000089,src:000000,op:flip1,pos:105 Diff File
add - src/mint/afl-tests/id:000090,src:000000,op:flip1,pos:113,+cov Diff File
add - src/mint/afl-tests/id:000091,src:000000,op:flip1,pos:114,+cov Diff File
add - src/mint/afl-tests/id:000092,src:000000,op:flip1,pos:121,+cov Diff File
add - src/mint/afl-tests/id:000093,src:000000,op:flip1,pos:123,+cov Diff File
add - src/mint/afl-tests/id:000094,src:000000,op:flip1,pos:126,+cov Diff File
add - src/mint/afl-tests/id:000095,src:000000,op:flip1,pos:135,+cov Diff File
add - src/mint/afl-tests/id:000096,src:000000,op:flip1,pos:135,+cov Diff File
add - src/mint/afl-tests/id:000097,src:000000,op:flip1,pos:135,+cov Diff File
add - src/mint/afl-tests/id:000098,src:000000,op:flip1,pos:136,+cov Diff File
add - src/mint/afl-tests/id:000099,src:000000,op:flip1,pos:136,+cov Diff File
add - src/mint/afl-tests/id:000100,src:000000,op:flip1,pos:136,+cov Diff File
add - src/mint/afl-tests/id:000101,src:000000,op:flip1,pos:136,+cov Diff File
add - src/mint/afl-tests/id:000102,src:000000,op:flip1,pos:137,+cov Diff File
add - src/mint/afl-tests/id:000103,src:000000,op:flip1,pos:138,+cov Diff File
add - src/mint/afl-tests/id:000104,src:000000,op:flip1,pos:138,+cov Diff File
add - src/mint/afl-tests/id:000105,src:000000,op:flip1,pos:139,+cov Diff File
add - src/mint/afl-tests/id:000106,src:000000,op:flip1,pos:139,+cov Diff File
add - src/mint/afl-tests/id:000107,src:000000,op:flip1,pos:140,+cov Diff File
add - src/mint/afl-tests/id:000108,src:000000,op:flip1,pos:141,+cov Diff File
add - src/mint/afl-tests/id:000109,src:000000,op:flip1,pos:141,+cov Diff File
add - src/mint/afl-tests/id:000110,src:000000,op:flip1,pos:143,+cov Diff File
add - src/mint/afl-tests/id:000111,src:000000,op:flip1,pos:145,+cov Diff File
add - src/mint/afl-tests/id:000112,src:000000,op:flip1,pos:147,+cov Diff File
add - src/mint/afl-tests/id:000113,src:000000,op:flip1,pos:147,+cov Diff File
add - src/mint/afl-tests/id:000114,src:000000,op:flip1,pos:150,+cov Diff File
add - src/mint/afl-tests/id:000115,src:000000,op:flip1,pos:153,+cov Diff File
add - src/mint/afl-tests/id:000116,src:000000,op:flip1,pos:154,+cov Diff File
add - src/mint/afl-tests/id:000117,src:000000,op:flip1,pos:155,+cov Diff File
add - src/mint/afl-tests/id:000118,src:000000,op:flip1,pos:157,+cov Diff File
add - src/mint/afl-tests/id:000119,src:000000,op:flip1,pos:158,+cov Diff File
add - src/mint/afl-tests/id:000120,src:000000,op:flip1,pos:158,+cov Diff File
add - src/mint/afl-tests/id:000121,src:000000,op:flip1,pos:159,+cov Diff File
add - src/mint/afl-tests/id:000122,src:000000,op:flip1,pos:159,+cov Diff File
add - src/mint/afl-tests/id:000123,src:000000,op:flip1,pos:161,+cov Diff File
add - src/mint/afl-tests/id:000124,src:000000,op:flip1,pos:164,+cov Diff File
add - src/mint/afl-tests/id:000125,src:000000,op:flip1,pos:166,+cov Diff File
add - src/mint/afl-tests/id:000126,src:000000,op:flip1,pos:166,+cov Diff File
add - src/mint/afl-tests/id:000127,src:000000,op:flip1,pos:167,+cov Diff File
add - src/mint/afl-tests/id:000128,src:000000,op:flip1,pos:170,+cov Diff File
add - src/mint/afl-tests/id:000129,src:000000,op:flip1,pos:173,+cov Diff File
add - src/mint/afl-tests/id:000130,src:000000,op:flip1,pos:173,+cov Diff File
add - src/mint/afl-tests/id:000131,src:000000,op:flip1,pos:174,+cov Diff File
add - src/mint/afl-tests/id:000132,src:000000,op:flip1,pos:176,+cov Diff File
add - src/mint/afl-tests/id:000133,src:000000,op:flip1,pos:178,+cov Diff File
add - src/mint/afl-tests/id:000134,src:000000,op:flip1,pos:178,+cov Diff File
add - src/mint/afl-tests/id:000135,src:000000,op:flip1,pos:179,+cov Diff File
add - src/mint/afl-tests/id:000136,src:000000,op:flip1,pos:183,+cov Diff File
add - src/mint/afl-tests/id:000137,src:000000,op:flip1,pos:184,+cov Diff File
add - src/mint/afl-tests/id:000138,src:000000,op:flip1,pos:185,+cov Diff File
add - src/mint/afl-tests/id:000139,src:000000,op:flip1,pos:190 Diff File
add - src/mint/afl-tests/id:000140,src:000000,op:flip1,pos:200,+cov Diff File
add - src/mint/afl-tests/id:000141,src:000000,op:flip1,pos:205,+cov Diff File
add - src/mint/afl-tests/id:000142,src:000000,op:flip1,pos:211,+cov Diff File
add - src/mint/afl-tests/id:000143,src:000000,op:flip1,pos:238,+cov Diff File
add - src/mint/afl-tests/id:000144,src:000000,op:flip1,pos:238,+cov Diff File
add - src/mint/afl-tests/id:000145,src:000000,op:flip1,pos:241,+cov Diff File
add - src/mint/afl-tests/id:000146,src:000000,op:flip1,pos:245 Diff File
add - src/mint/afl-tests/id:000147,src:000000,op:flip1,pos:255,+cov Diff File
add - src/mint/afl-tests/id:000148,src:000000,op:flip1,pos:262,+cov Diff File
add - src/mint/afl-tests/id:000149,src:000000,op:flip1,pos:270,+cov Diff File
add - src/mint/afl-tests/id:000150,src:000000,op:flip1,pos:279,+cov Diff File
add - src/mint/afl-tests/id:000151,src:000000,op:flip1,pos:279,+cov Diff File
add - src/mint/afl-tests/id:000152,src:000000,op:flip1,pos:283,+cov Diff File
add - src/mint/afl-tests/id:000153,src:000000,op:flip1,pos:291,+cov Diff File
add - src/mint/afl-tests/id:000154,src:000000,op:flip1,pos:298,+cov Diff File
add - src/mint/afl-tests/id:000155,src:000000,op:flip1,pos:302,+cov Diff File
add - src/mint/afl-tests/id:000156,src:000000,op:flip1,pos:305,+cov Diff File
add - src/mint/afl-tests/id:000157,src:000000,op:flip1,pos:307,+cov Diff File
add - src/mint/afl-tests/id:000158,src:000000,op:flip1,pos:313,+cov Diff File
add - src/mint/afl-tests/id:000159,src:000000,op:flip1,pos:313,+cov Diff File
add - src/mint/afl-tests/id:000160,src:000000,op:flip1,pos:314,+cov Diff File
add - src/mint/afl-tests/id:000161,src:000000,op:flip1,pos:314,+cov Diff File
add - src/mint/afl-tests/id:000162,src:000000,op:flip1,pos:315,+cov Diff File
add - src/mint/afl-tests/id:000163,src:000000,op:flip1,pos:316,+cov Diff File
add - src/mint/afl-tests/id:000164,src:000000,op:flip1,pos:317 Diff File
add - src/mint/afl-tests/id:000165,src:000000,op:flip1,pos:317,+cov Diff File
add - src/mint/afl-tests/id:000166,src:000000,op:flip1,pos:319,+cov Diff File
add - src/mint/afl-tests/id:000167,src:000000,op:flip1,pos:320,+cov Diff File
add - src/mint/afl-tests/id:000168,src:000000,op:flip1,pos:322,+cov Diff File
add - src/mint/afl-tests/id:000169,src:000000,op:flip1,pos:326,+cov Diff File
add - src/mint/afl-tests/id:000170,src:000000,op:flip1,pos:328,+cov Diff File
add - src/mint/afl-tests/id:000171,src:000000,op:flip1,pos:329 Diff File
add - src/mint/afl-tests/id:000172,src:000000,op:flip1,pos:332,+cov Diff File
add - src/mint/afl-tests/id:000173,src:000000,op:flip2,pos:8,+cov Diff File
add - src/mint/afl-tests/id:000174,src:000000,op:flip2,pos:8,+cov Diff File
add - src/mint/afl-tests/id:000175,src:000000,op:flip2,pos:28,+cov Diff File
add - src/mint/afl-tests/id:000176,src:000000,op:flip2,pos:30,+cov Diff File
add - src/mint/afl-tests/id:000177,src:000000,op:flip2,pos:30,+cov Diff File
add - src/mint/afl-tests/id:000178,src:000000,op:flip2,pos:31,+cov Diff File
add - src/mint/afl-tests/id:000179,src:000000,op:flip2,pos:31,+cov Diff File
add - src/mint/afl-tests/id:000180,src:000000,op:flip2,pos:32,+cov Diff File
add - src/mint/afl-tests/id:000181,src:000000,op:flip2,pos:36,+cov Diff File
add - src/mint/afl-tests/id:000182,src:000000,op:flip2,pos:38 Diff File
add - src/mint/afl-tests/id:000183,src:000000,op:flip2,pos:39,+cov Diff File
add - src/mint/afl-tests/id:000184,src:000000,op:flip2,pos:40,+cov Diff File
add - src/mint/afl-tests/id:000185,src:000000,op:flip2,pos:40,+cov Diff File
add - src/mint/afl-tests/id:000186,src:000000,op:flip2,pos:40,+cov Diff File
add - src/mint/afl-tests/id:000187,src:000000,op:flip2,pos:46,+cov Diff File
add - src/mint/afl-tests/id:000188,src:000000,op:flip2,pos:47,+cov Diff File
add - src/mint/afl-tests/id:000189,src:000000,op:flip2,pos:48,+cov Diff File
add - src/mint/afl-tests/id:000190,src:000000,op:flip2,pos:49,+cov Diff File
add - src/mint/afl-tests/id:000191,src:000000,op:flip2,pos:53,+cov Diff File
add - src/mint/afl-tests/id:000192,src:000000,op:flip2,pos:53,+cov Diff File
add - src/mint/afl-tests/id:000193,src:000000,op:flip2,pos:62,+cov Diff File
add - src/mint/afl-tests/id:000194,src:000000,op:flip2,pos:68,+cov Diff File
add - src/mint/afl-tests/id:000195,src:000000,op:flip2,pos:70,+cov Diff File
add - src/mint/afl-tests/id:000196,src:000000,op:flip2,pos:73,+cov Diff File
add - src/mint/afl-tests/id:000197,src:000000,op:flip2,pos:73,+cov Diff File
add - src/mint/afl-tests/id:000198,src:000000,op:flip2,pos:76,+cov Diff File
add - src/mint/afl-tests/id:000199,src:000000,op:flip2,pos:76,+cov Diff File
add - src/mint/afl-tests/id:000200,src:000000,op:flip2,pos:80,+cov Diff File
add - src/mint/afl-tests/id:000201,src:000000,op:flip2,pos:86,+cov Diff File
add - src/mint/afl-tests/id:000202,src:000000,op:flip2,pos:90,+cov Diff File
add - src/mint/afl-tests/id:000203,src:000000,op:flip2,pos:93,+cov Diff File
add - src/mint/afl-tests/id:000204,src:000000,op:flip2,pos:100,+cov Diff File
add - src/mint/afl-tests/id:000205,src:000000,op:flip2,pos:114 Diff File
add - src/mint/afl-tests/id:000206,src:000000,op:flip2,pos:115,+cov Diff File
add - src/mint/afl-tests/id:000207,src:000000,op:flip2,pos:116,+cov Diff File
add - src/mint/afl-tests/id:000208,src:000000,op:flip2,pos:124,+cov Diff File
add - src/mint/afl-tests/id:000209,src:000000,op:flip2,pos:135,+cov Diff File
add - src/mint/afl-tests/id:000210,src:000000,op:flip2,pos:137,+cov Diff File
add - src/mint/afl-tests/id:000211,src:000000,op:flip2,pos:138,+cov Diff File
add - src/mint/afl-tests/id:000212,src:000000,op:flip2,pos:138,+cov Diff File
add - src/mint/afl-tests/id:000213,src:000000,op:flip2,pos:139,+cov Diff File
add - src/mint/afl-tests/id:000214,src:000000,op:flip2,pos:143,+cov Diff File
add - src/mint/afl-tests/id:000215,src:000000,op:flip2,pos:146,+cov Diff File
add - src/mint/afl-tests/id:000216,src:000000,op:flip2,pos:156,+cov Diff File
add - src/mint/afl-tests/id:000217,src:000000,op:flip2,pos:161,+cov Diff File
add - src/mint/afl-tests/id:000218,src:000000,op:flip2,pos:176,+cov Diff File
add - src/mint/afl-tests/id:000219,src:000000,op:flip2,pos:185,+cov Diff File
add - src/mint/afl-tests/id:000220,src:000000,op:flip2,pos:193,+cov Diff File
add - src/mint/afl-tests/id:000221,src:000000,op:flip2,pos:226,+cov Diff File
add - src/mint/afl-tests/id:000222,src:000000,op:flip2,pos:232,+cov Diff File
add - src/mint/afl-tests/id:000223,src:000000,op:flip2,pos:239,+cov Diff File
add - src/mint/afl-tests/id:000224,src:000000,op:flip2,pos:241,+cov Diff File
add - src/mint/afl-tests/id:000225,src:000000,op:flip2,pos:250,+cov Diff File
add - src/mint/afl-tests/id:000226,src:000000,op:flip2,pos:272,+cov Diff File
add - src/mint/afl-tests/id:000227,src:000000,op:flip2,pos:277,+cov Diff File
add - src/mint/afl-tests/id:000228,src:000000,op:flip2,pos:316,+cov Diff File
add - src/mint/afl-tests/id:000229,src:000000,op:flip2,pos:316,+cov Diff File
add - src/mint/afl-tests/id:000230,src:000000,op:flip2,pos:316,+cov Diff File
add - src/mint/afl-tests/id:000231,src:000000,op:flip2,pos:317,+cov Diff File
add - src/mint/afl-tests/id:000232,src:000000,op:flip2,pos:320,+cov Diff File
add - src/mint/afl-tests/id:000233,src:000000,op:flip2,pos:321,+cov Diff File
add - src/mint/afl-tests/id:000234,src:000000,op:flip2,pos:327,+cov Diff File
add - src/mint/afl-tests/id:000235,src:000000,op:flip2,pos:328,+cov Diff File
add - src/mint/afl-tests/id:000236,src:000000,op:flip2,pos:330,+cov Diff File
add - src/mint/afl-tests/id:000237,src:000000,op:flip2,pos:331,+cov Diff File
add - src/mint/afl-tests/id:000238,src:000000,op:flip4,pos:5,+cov Diff File
add - src/mint/afl-tests/id:000239,src:000000,op:flip4,pos:25,+cov Diff File
add - src/mint/afl-tests/id:000240,src:000000,op:flip4,pos:29,+cov Diff File
add - src/mint/afl-tests/id:000241,src:000000,op:flip4,pos:30 Diff File
add - src/mint/afl-tests/id:000242,src:000000,op:flip4,pos:32 Diff File
add - src/mint/afl-tests/id:000243,src:000000,op:flip4,pos:37,+cov Diff File
add - src/mint/afl-tests/id:000244,src:000000,op:flip4,pos:39,+cov Diff File
add - src/mint/afl-tests/id:000245,src:000000,op:flip4,pos:45,+cov Diff File
add - src/mint/afl-tests/id:000246,src:000000,op:flip4,pos:47,+cov Diff File
add - src/mint/afl-tests/id:000247,src:000000,op:flip4,pos:50,+cov Diff File
add - src/mint/afl-tests/id:000248,src:000000,op:flip4,pos:60,+cov Diff File
add - src/mint/afl-tests/id:000249,src:000000,op:flip4,pos:68,+cov Diff File
add - src/mint/afl-tests/id:000250,src:000000,op:flip4,pos:68,+cov Diff File
add - src/mint/afl-tests/id:000251,src:000000,op:flip4,pos:74,+cov Diff File
add - src/mint/afl-tests/id:000252,src:000000,op:flip4,pos:75,+cov Diff File
add - src/mint/afl-tests/id:000253,src:000000,op:flip4,pos:75,+cov Diff File
add - src/mint/afl-tests/id:000254,src:000000,op:flip4,pos:76,+cov Diff File
add - src/mint/afl-tests/id:000255,src:000000,op:flip4,pos:81,+cov Diff File
add - src/mint/afl-tests/id:000256,src:000000,op:flip4,pos:83,+cov Diff File
add - src/mint/afl-tests/id:000257,src:000000,op:flip4,pos:86,+cov Diff File
add - src/mint/afl-tests/id:000258,src:000000,op:flip4,pos:88,+cov Diff File
add - src/mint/afl-tests/id:000259,src:000000,op:flip4,pos:91,+cov Diff File
add - src/mint/afl-tests/id:000260,src:000000,op:flip4,pos:112,+cov Diff File
add - src/mint/afl-tests/id:000261,src:000000,op:flip4,pos:139,+cov Diff File
add - src/mint/afl-tests/id:000262,src:000000,op:flip4,pos:142,+cov Diff File
add - src/mint/afl-tests/id:000263,src:000000,op:flip4,pos:147,+cov Diff File
add - src/mint/afl-tests/id:000264,src:000000,op:flip4,pos:157,+cov Diff File
add - src/mint/afl-tests/id:000265,src:000000,op:flip4,pos:157,+cov Diff File
add - src/mint/afl-tests/id:000266,src:000000,op:flip4,pos:177,+cov Diff File
add - src/mint/afl-tests/id:000267,src:000000,op:flip4,pos:225,+cov Diff File
add - src/mint/afl-tests/id:000268,src:000000,op:flip4,pos:258,+cov Diff File
add - src/mint/afl-tests/id:000269,src:000000,op:flip4,pos:270,+cov Diff File
add - src/mint/afl-tests/id:000270,src:000000,op:flip4,pos:280,+cov Diff File
add - src/mint/afl-tests/id:000271,src:000000,op:flip4,pos:284,+cov Diff File
add - src/mint/afl-tests/id:000272,src:000000,op:flip4,pos:317,+cov Diff File
add - src/mint/afl-tests/id:000273,src:000000,op:flip4,pos:328,+cov Diff File
add - src/mint/afl-tests/id:000274,src:000000,op:flip4,pos:330,+cov Diff File
add - src/mint/afl-tests/id:000275,src:000000,op:flip8,pos:32,+cov Diff File
add - src/mint/afl-tests/id:000276,src:000000,op:flip8,pos:47,+cov Diff File
add - src/mint/afl-tests/id:000277,src:000000,op:flip8,pos:52,+cov Diff File
add - src/mint/afl-tests/id:000278,src:000000,op:flip8,pos:62,+cov Diff File
add - src/mint/afl-tests/id:000279,src:000000,op:flip8,pos:87,+cov Diff File
add - src/mint/afl-tests/id:000280,src:000000,op:flip8,pos:88,+cov Diff File
add - src/mint/afl-tests/id:000281,src:000000,op:flip8,pos:331,+cov Diff File
add - src/mint/afl-tests/id:000282,src:000000,op:flip16,pos:39,+cov Diff File
add - src/mint/afl-tests/id:000283,src:000000,op:flip16,pos:85,+cov Diff File
add - src/mint/afl-tests/id:000284,src:000000,op:flip32,pos:49,+cov Diff File
add - src/mint/afl-tests/id:000285,src:000000,op:flip32,pos:62 Diff File
add - src/mint/afl-tests/id:000286,src:000000,op:flip32,pos:86,+cov Diff File
add - src/mint/afl-tests/id:000287,src:000000,op:flip32,pos:92,+cov Diff File
add - src/mint/afl-tests/id:000288,src:000000,op:arith8,pos:4,val:-19 Diff File
add - src/mint/afl-tests/id:000289,src:000000,op:arith8,pos:4,val:-22 Diff File
add - src/mint/afl-tests/id:000290,src:000000,op:arith8,pos:5,val:-10,+cov Diff File
add - src/mint/afl-tests/id:000291,src:000000,op:arith8,pos:5,val:-34 Diff File
add - src/mint/afl-tests/id:000292,src:000000,op:arith8,pos:6,val:-34,+cov Diff File
add - src/mint/afl-tests/id:000293,src:000000,op:arith8,pos:7,val:-34,+cov Diff File
add - src/mint/afl-tests/id:000294,src:000000,op:arith8,pos:11,val:-34 Diff File
add - src/mint/afl-tests/id:000295,src:000000,op:arith8,pos:15,val:-10,+cov Diff File
add - src/mint/afl-tests/id:000296,src:000000,op:arith8,pos:25,val:+24,+cov Diff File
add - src/mint/afl-tests/id:000297,src:000000,op:arith8,pos:27,val:+26,+cov Diff File
add - src/mint/afl-tests/id:000298,src:000000,op:arith8,pos:28,val:+9,+cov Diff File
add - src/mint/afl-tests/id:000299,src:000000,op:arith8,pos:28,val:-17 Diff File
add - src/mint/afl-tests/id:000300,src:000000,op:arith8,pos:28,val:-33,+cov Diff File
add - src/mint/afl-tests/id:000301,src:000000,op:arith8,pos:29,val:+14,+cov Diff File
add - src/mint/afl-tests/id:000302,src:000000,op:arith8,pos:30,val:+3,+cov Diff File
add - src/mint/afl-tests/id:000303,src:000000,op:arith8,pos:30,val:+31,+cov Diff File
add - src/mint/afl-tests/id:000304,src:000000,op:arith8,pos:31,val:-33,+cov Diff File
add - src/mint/afl-tests/id:000305,src:000000,op:arith8,pos:32,val:+19,+cov Diff File
add - src/mint/afl-tests/id:000306,src:000000,op:arith8,pos:33,val:+15,+cov Diff File
add - src/mint/afl-tests/id:000307,src:000000,op:arith8,pos:33,val:-15,+cov Diff File
add - src/mint/afl-tests/id:000308,src:000000,op:arith8,pos:34,val:-27,+cov Diff File
add - src/mint/afl-tests/id:000309,src:000000,op:arith8,pos:34,val:+34,+cov Diff File
add - src/mint/afl-tests/id:000310,src:000000,op:arith8,pos:35,val:+18,+cov Diff File
add - src/mint/afl-tests/id:000311,src:000000,op:arith8,pos:35,val:-27,+cov Diff File
add - src/mint/afl-tests/id:000312,src:000000,op:arith8,pos:35,val:+35,+cov Diff File
add - src/mint/afl-tests/id:000313,src:000000,op:arith8,pos:36,val:+13,+cov Diff File
add - src/mint/afl-tests/id:000314,src:000000,op:arith8,pos:36,val:+32,+cov Diff File
add - src/mint/afl-tests/id:000315,src:000000,op:arith8,pos:37,val:+24,+cov Diff File
add - src/mint/afl-tests/id:000316,src:000000,op:arith8,pos:37,val:+32,+cov Diff File
add - src/mint/afl-tests/id:000317,src:000000,op:arith8,pos:38,val:-35,+cov Diff File
add - src/mint/afl-tests/id:000318,src:000000,op:arith8,pos:39,val:+18,+cov Diff File
add - src/mint/afl-tests/id:000319,src:000000,op:arith8,pos:39,val:-23,+cov Diff File
add - src/mint/afl-tests/id:000320,src:000000,op:arith8,pos:39,val:-24,+cov Diff File
add - src/mint/afl-tests/id:000321,src:000000,op:arith8,pos:39,val:+25,+cov Diff File
add - src/mint/afl-tests/id:000322,src:000000,op:arith8,pos:40,val:-21,+cov Diff File
add - src/mint/afl-tests/id:000323,src:000000,op:arith8,pos:41,val:-5,+cov Diff File
add - src/mint/afl-tests/id:000324,src:000000,op:arith8,pos:41,val:+13,+cov Diff File
add - src/mint/afl-tests/id:000325,src:000000,op:arith8,pos:41,val:+26,+cov Diff File
add - src/mint/afl-tests/id:000326,src:000000,op:arith8,pos:41,val:+27,+cov Diff File
add - src/mint/afl-tests/id:000327,src:000000,op:arith8,pos:41,val:-33,+cov Diff File
add - src/mint/afl-tests/id:000328,src:000000,op:arith8,pos:41,val:+35,+cov Diff File
add - src/mint/afl-tests/id:000329,src:000000,op:arith8,pos:42,val:-6,+cov Diff File
add - src/mint/afl-tests/id:000330,src:000000,op:arith8,pos:42,val:+13,+cov Diff File
add - src/mint/afl-tests/id:000331,src:000000,op:arith8,pos:42,val:+18,+cov Diff File
add - src/mint/afl-tests/id:000332,src:000000,op:arith8,pos:43,val:-23,+cov Diff File
add - src/mint/afl-tests/id:000333,src:000000,op:arith8,pos:43,val:+33,+cov Diff File
add - src/mint/afl-tests/id:000334,src:000000,op:arith8,pos:44,val:+11,+cov Diff File
add - src/mint/afl-tests/id:000335,src:000000,op:arith8,pos:45,val:-24,+cov Diff File
add - src/mint/afl-tests/id:000336,src:000000,op:arith8,pos:45,val:-27,+cov Diff File
add - src/mint/afl-tests/id:000337,src:000000,op:arith8,pos:46,val:+7,+cov Diff File
add - src/mint/afl-tests/id:000338,src:000000,op:arith8,pos:46,val:-21,+cov Diff File
add - src/mint/afl-tests/id:000339,src:000000,op:arith8,pos:46,val:+31,+cov Diff File
add - src/mint/afl-tests/id:000340,src:000000,op:arith8,pos:49,val:+16,+cov Diff File
add - src/mint/afl-tests/id:000341,src:000000,op:arith8,pos:49,val:-26,+cov Diff File
add - src/mint/afl-tests/id:000342,src:000000,op:arith8,pos:49,val:+34,+cov Diff File
add - src/mint/afl-tests/id:000343,src:000000,op:arith8,pos:50,val:-7,+cov Diff File
add - src/mint/afl-tests/id:000344,src:000000,op:arith8,pos:50,val:+22,+cov Diff File
add - src/mint/afl-tests/id:000345,src:000000,op:arith8,pos:50,val:+24,+cov Diff File
add - src/mint/afl-tests/id:000346,src:000000,op:arith8,pos:50,val:-31,+cov Diff File
add - src/mint/afl-tests/id:000347,src:000000,op:arith8,pos:51,val:-1,+cov Diff File
add - src/mint/afl-tests/id:000348,src:000000,op:arith8,pos:51,val:+18,+cov Diff File
add - src/mint/afl-tests/id:000349,src:000000,op:arith8,pos:52,val:-6,+cov Diff File
add - src/mint/afl-tests/id:000350,src:000000,op:arith8,pos:52,val:+22,+cov Diff File
add - src/mint/afl-tests/id:000351,src:000000,op:arith8,pos:52,val:-31,+cov Diff File
add - src/mint/afl-tests/id:000352,src:000000,op:arith8,pos:53,val:-18,+cov Diff File
add - src/mint/afl-tests/id:000353,src:000000,op:arith8,pos:53,val:+27,+cov Diff File
add - src/mint/afl-tests/id:000354,src:000000,op:arith8,pos:53,val:-27,+cov Diff File
add - src/mint/afl-tests/id:000355,src:000000,op:arith8,pos:53,val:-28,+cov Diff File
add - src/mint/afl-tests/id:000356,src:000000,op:arith8,pos:55,val:-2,+cov Diff File
add - src/mint/afl-tests/id:000357,src:000000,op:arith8,pos:55,val:-7 Diff File
add - src/mint/afl-tests/id:000358,src:000000,op:arith8,pos:55,val:-33,+cov Diff File
add - src/mint/afl-tests/id:000359,src:000000,op:arith8,pos:56,val:-17,+cov Diff File
add - src/mint/afl-tests/id:000360,src:000000,op:arith8,pos:56,val:+34,+cov Diff File
add - src/mint/afl-tests/id:000361,src:000000,op:arith8,pos:57,val:-23,+cov Diff File
add - src/mint/afl-tests/id:000362,src:000000,op:arith8,pos:58,val:+34,+cov Diff File
add - src/mint/afl-tests/id:000363,src:000000,op:arith8,pos:60,val:-14,+cov Diff File
add - src/mint/afl-tests/id:000364,src:000000,op:arith8,pos:60,val:-15,+cov Diff File
add - src/mint/afl-tests/id:000365,src:000000,op:arith8,pos:60,val:-27,+cov Diff File
add - src/mint/afl-tests/id:000366,src:000000,op:arith8,pos:62,val:+13,+cov Diff File
add - src/mint/afl-tests/id:000367,src:000000,op:arith8,pos:62,val:-21,+cov Diff File
add - src/mint/afl-tests/id:000368,src:000000,op:arith8,pos:62,val:-23,+cov Diff File
add - src/mint/afl-tests/id:000369,src:000000,op:arith8,pos:63,val:+6,+cov Diff File
add - src/mint/afl-tests/id:000370,src:000000,op:arith8,pos:63,val:-18,+cov Diff File
add - src/mint/afl-tests/id:000371,src:000000,op:arith8,pos:63,val:-28,+cov Diff File
add - src/mint/afl-tests/id:000372,src:000000,op:arith8,pos:64,val:-5,+cov Diff File
add - src/mint/afl-tests/id:000373,src:000000,op:arith8,pos:64,val:-13,+cov Diff File
add - src/mint/afl-tests/id:000374,src:000000,op:arith8,pos:64,val:-18,+cov Diff File
add - src/mint/afl-tests/id:000375,src:000000,op:arith8,pos:64,val:-35,+cov Diff File
add - src/mint/afl-tests/id:000376,src:000000,op:arith8,pos:65,val:-27,+cov Diff File
add - src/mint/afl-tests/id:000377,src:000000,op:arith8,pos:65,val:+29,+cov Diff File
add - src/mint/afl-tests/id:000378,src:000000,op:arith8,pos:66,val:-20,+cov Diff File
add - src/mint/afl-tests/id:000379,src:000000,op:arith8,pos:66,val:+28,+cov Diff File
add - src/mint/afl-tests/id:000380,src:000000,op:arith8,pos:66,val:-31,+cov Diff File
add - src/mint/afl-tests/id:000381,src:000000,op:arith8,pos:67,val:-9 Diff File
add - src/mint/afl-tests/id:000382,src:000000,op:arith8,pos:67,val:+10,+cov Diff File
add - src/mint/afl-tests/id:000383,src:000000,op:arith8,pos:67,val:-15,+cov Diff File
add - src/mint/afl-tests/id:000384,src:000000,op:arith8,pos:67,val:-35 Diff File
add - src/mint/afl-tests/id:000385,src:000000,op:arith8,pos:68,val:+32,+cov Diff File
add - src/mint/afl-tests/id:000386,src:000000,op:arith8,pos:69,val:+14,+cov Diff File
add - src/mint/afl-tests/id:000387,src:000000,op:arith8,pos:70,val:-21,+cov Diff File
add - src/mint/afl-tests/id:000388,src:000000,op:arith8,pos:71,val:+3 Diff File
add - src/mint/afl-tests/id:000389,src:000000,op:arith8,pos:72,val:-7,+cov Diff File
add - src/mint/afl-tests/id:000390,src:000000,op:arith8,pos:72,val:+30,+cov Diff File
add - src/mint/afl-tests/id:000391,src:000000,op:arith8,pos:73,val:-13,+cov Diff File
add - src/mint/afl-tests/id:000392,src:000000,op:arith8,pos:73,val:-29,+cov Diff File
add - src/mint/afl-tests/id:000393,src:000000,op:arith8,pos:73,val:-35,+cov Diff File
add - src/mint/afl-tests/id:000394,src:000000,op:arith8,pos:75,val:-20,+cov Diff File
add - src/mint/afl-tests/id:000395,src:000000,op:arith8,pos:76,val:+21,+cov Diff File
add - src/mint/afl-tests/id:000396,src:000000,op:arith8,pos:77,val:+24,+cov Diff File
add - src/mint/afl-tests/id:000397,src:000000,op:arith8,pos:80,val:-11,+cov Diff File
add - src/mint/afl-tests/id:000398,src:000000,op:arith8,pos:80,val:+18,+cov Diff File
add - src/mint/afl-tests/id:000399,src:000000,op:arith8,pos:81,val:+22,+cov Diff File
add - src/mint/afl-tests/id:000400,src:000000,op:arith8,pos:81,val:-30,+cov Diff File
add - src/mint/afl-tests/id:000401,src:000000,op:arith8,pos:83,val:-1 Diff File
add - src/mint/afl-tests/id:000402,src:000000,op:arith8,pos:83,val:-22,+cov Diff File
add - src/mint/afl-tests/id:000403,src:000000,op:arith8,pos:83,val:+35,+cov Diff File
add - src/mint/afl-tests/id:000404,src:000000,op:arith8,pos:84,val:+7,+cov Diff File
add - src/mint/afl-tests/id:000405,src:000000,op:arith8,pos:84,val:+31,+cov Diff File
add - src/mint/afl-tests/id:000406,src:000000,op:arith8,pos:86,val:-11,+cov Diff File
add - src/mint/afl-tests/id:000407,src:000000,op:arith8,pos:86,val:+22,+cov Diff File
add - src/mint/afl-tests/id:000408,src:000000,op:arith8,pos:86,val:-24 Diff File
add - src/mint/afl-tests/id:000409,src:000000,op:arith8,pos:87,val:-2,+cov Diff File
add - src/mint/afl-tests/id:000410,src:000000,op:arith8,pos:87,val:+9,+cov Diff File
add - src/mint/afl-tests/id:000411,src:000000,op:arith8,pos:87,val:-15,+cov Diff File
add - src/mint/afl-tests/id:000412,src:000000,op:arith8,pos:87,val:-24,+cov Diff File
add - src/mint/afl-tests/id:000413,src:000000,op:arith8,pos:88,val:+30,+cov Diff File
add - src/mint/afl-tests/id:000414,src:000000,op:arith8,pos:89,val:+29,+cov Diff File
add - src/mint/afl-tests/id:000415,src:000000,op:arith8,pos:90,val:-21,+cov Diff File
add - src/mint/afl-tests/id:000416,src:000000,op:arith8,pos:91,val:+28,+cov Diff File
add - src/mint/afl-tests/id:000417,src:000000,op:arith8,pos:91,val:+34,+cov Diff File
add - src/mint/afl-tests/id:000418,src:000000,op:arith8,pos:94,val:-23,+cov Diff File
add - src/mint/afl-tests/id:000419,src:000000,op:arith8,pos:95,val:+3,+cov Diff File
add - src/mint/afl-tests/id:000420,src:000000,op:arith8,pos:95,val:-23,+cov Diff File
add - src/mint/afl-tests/id:000421,src:000000,op:arith8,pos:95,val:+31,+cov Diff File
add - src/mint/afl-tests/id:000422,src:000000,op:arith8,pos:98,val:-35 Diff File
add - src/mint/afl-tests/id:000423,src:000000,op:arith8,pos:100,val:-33,+cov Diff File
add - src/mint/afl-tests/id:000424,src:000000,op:arith8,pos:113,val:-19 Diff File
add - src/mint/afl-tests/id:000425,src:000000,op:arith8,pos:113,val:-22 Diff File
add - src/mint/afl-tests/id:000426,src:000000,op:arith8,pos:127,val:-20,+cov Diff File
add - src/mint/afl-tests/id:000427,src:000000,op:arith8,pos:131,val:-20,+cov Diff File
add - src/mint/afl-tests/id:000428,src:000000,op:arith8,pos:132,val:+6,+cov Diff File
add - src/mint/afl-tests/id:000429,src:000000,op:arith8,pos:135,val:-28,+cov Diff File
add - src/mint/afl-tests/id:000430,src:000000,op:arith8,pos:135,val:-35,+cov Diff File
add - src/mint/afl-tests/id:000431,src:000000,op:arith8,pos:136,val:+3,+cov Diff File
add - src/mint/afl-tests/id:000432,src:000000,op:arith8,pos:136,val:-5,+cov Diff File
add - src/mint/afl-tests/id:000433,src:000000,op:arith8,pos:136,val:-9,+cov Diff File
add - src/mint/afl-tests/id:000434,src:000000,op:arith8,pos:136,val:+20,+cov Diff File
add - src/mint/afl-tests/id:000435,src:000000,op:arith8,pos:136,val:-29,+cov Diff File
add - src/mint/afl-tests/id:000436,src:000000,op:arith8,pos:137,val:+7,+cov Diff File
add - src/mint/afl-tests/id:000437,src:000000,op:arith8,pos:137,val:+10,+cov Diff File
add - src/mint/afl-tests/id:000438,src:000000,op:arith8,pos:138,val:+19,+cov Diff File
add - src/mint/afl-tests/id:000439,src:000000,op:arith8,pos:139,val:+25,+cov Diff File
add - src/mint/afl-tests/id:000440,src:000000,op:arith8,pos:139,val:-26,+cov Diff File
add - src/mint/afl-tests/id:000441,src:000000,op:arith8,pos:140,val:+20,+cov Diff File
add - src/mint/afl-tests/id:000442,src:000000,op:arith8,pos:141,val:+6,+cov Diff File
add - src/mint/afl-tests/id:000443,src:000000,op:arith8,pos:141,val:+10,+cov Diff File
add - src/mint/afl-tests/id:000444,src:000000,op:arith8,pos:141,val:+13,+cov Diff File
add - src/mint/afl-tests/id:000445,src:000000,op:arith8,pos:141,val:+20,+cov Diff File
add - src/mint/afl-tests/id:000446,src:000000,op:arith8,pos:142,val:+6,+cov Diff File
add - src/mint/afl-tests/id:000447,src:000000,op:arith8,pos:142,val:-20,+cov Diff File
add - src/mint/afl-tests/id:000448,src:000000,op:arith8,pos:143,val:+17,+cov Diff File
add - src/mint/afl-tests/id:000449,src:000000,op:arith8,pos:144,val:+28,+cov Diff File
add - src/mint/afl-tests/id:000450,src:000000,op:arith8,pos:145,val:+27,+cov Diff File
add - src/mint/afl-tests/id:000451,src:000000,op:arith8,pos:146,val:-11,+cov Diff File
add - src/mint/afl-tests/id:000452,src:000000,op:arith8,pos:146,val:-13,+cov Diff File
add - src/mint/afl-tests/id:000453,src:000000,op:arith8,pos:146,val:-21,+cov Diff File
add - src/mint/afl-tests/id:000454,src:000000,op:arith8,pos:147,val:-3,+cov Diff File
add - src/mint/afl-tests/id:000455,src:000000,op:arith8,pos:147,val:-9,+cov Diff File
add - src/mint/afl-tests/id:000456,src:000000,op:arith8,pos:147,val:-13,+cov Diff File
add - src/mint/afl-tests/id:000457,src:000000,op:arith8,pos:148,val:+12,+cov Diff File
add - src/mint/afl-tests/id:000458,src:000000,op:arith8,pos:151,val:-7,+cov Diff File
add - src/mint/afl-tests/id:000459,src:000000,op:arith8,pos:151,val:+15,+cov Diff File
add - src/mint/afl-tests/id:000460,src:000000,op:arith8,pos:152,val:-7,+cov Diff File
add - src/mint/afl-tests/id:000461,src:000000,op:arith8,pos:152,val:+25,+cov Diff File
add - src/mint/afl-tests/id:000462,src:000000,op:arith8,pos:152,val:-30 Diff File
add - src/mint/afl-tests/id:000463,src:000000,op:arith8,pos:153,val:+28,+cov Diff File
add - src/mint/afl-tests/id:000464,src:000000,op:arith8,pos:157,val:+8,+cov Diff File
add - src/mint/afl-tests/id:000465,src:000000,op:arith8,pos:157,val:-9,+cov Diff File
add - src/mint/afl-tests/id:000466,src:000000,op:arith8,pos:157,val:-12,+cov Diff File
add - src/mint/afl-tests/id:000467,src:000000,op:arith8,pos:157,val:-21,+cov Diff File
add - src/mint/afl-tests/id:000468,src:000000,op:arith8,pos:158,val:-9,+cov Diff File
add - src/mint/afl-tests/id:000469,src:000000,op:arith8,pos:158,val:+25,+cov Diff File
add - src/mint/afl-tests/id:000470,src:000000,op:arith8,pos:159,val:-7,+cov Diff File
add - src/mint/afl-tests/id:000471,src:000000,op:arith8,pos:159,val:+10,+cov Diff File
add - src/mint/afl-tests/id:000472,src:000000,op:arith8,pos:159,val:-11,+cov Diff File
add - src/mint/afl-tests/id:000473,src:000000,op:arith8,pos:160,val:+19,+cov Diff File
add - src/mint/afl-tests/id:000474,src:000000,op:arith8,pos:161,val:+14,+cov Diff File
add - src/mint/afl-tests/id:000475,src:000000,op:arith8,pos:162,val:+7,+cov Diff File
add - src/mint/afl-tests/id:000476,src:000000,op:arith8,pos:163,val:+26,+cov Diff File
add - src/mint/afl-tests/id:000477,src:000000,op:arith8,pos:163,val:+31,+cov Diff File
add - src/mint/afl-tests/id:000478,src:000000,op:arith8,pos:164,val:+2,+cov Diff File
add - src/mint/afl-tests/id:000479,src:000000,op:arith8,pos:169,val:+7,+cov Diff File
add - src/mint/afl-tests/id:000480,src:000000,op:arith8,pos:169,val:-9,+cov Diff File
add - src/mint/afl-tests/id:000481,src:000000,op:arith8,pos:169,val:+19,+cov Diff File
add - src/mint/afl-tests/id:000482,src:000000,op:arith8,pos:172,val:-3,+cov Diff File
add - src/mint/afl-tests/id:000483,src:000000,op:arith8,pos:172,val:-33,+cov Diff File
add - src/mint/afl-tests/id:000484,src:000000,op:arith8,pos:175,val:+20,+cov Diff File
add - src/mint/afl-tests/id:000485,src:000000,op:arith8,pos:176,val:+7,+cov Diff File
add - src/mint/afl-tests/id:000486,src:000000,op:arith8,pos:176,val:-28,+cov Diff File
add - src/mint/afl-tests/id:000487,src:000000,op:arith8,pos:177,val:+11,+cov Diff File
add - src/mint/afl-tests/id:000488,src:000000,op:arith8,pos:177,val:+17,+cov Diff File
add - src/mint/afl-tests/id:000489,src:000000,op:arith8,pos:177,val:+22,+cov Diff File
add - src/mint/afl-tests/id:000490,src:000000,op:arith8,pos:178,val:-5,+cov Diff File
add - src/mint/afl-tests/id:000491,src:000000,op:arith8,pos:178,val:+23,+cov Diff File
add - src/mint/afl-tests/id:000492,src:000000,op:arith8,pos:181,val:-12,+cov Diff File
add - src/mint/afl-tests/id:000493,src:000000,op:arith8,pos:182,val:-15,+cov Diff File
add - src/mint/afl-tests/id:000494,src:000000,op:arith8,pos:182,val:+22,+cov Diff File
add - src/mint/afl-tests/id:000495,src:000000,op:arith8,pos:183,val:-11 Diff File
add - src/mint/afl-tests/id:000496,src:000000,op:arith8,pos:183,val:+15,+cov Diff File
add - src/mint/afl-tests/id:000497,src:000000,op:arith8,pos:184,val:-14,+cov Diff File
add - src/mint/afl-tests/id:000498,src:000000,op:arith8,pos:184,val:+33,+cov Diff File
add - src/mint/afl-tests/id:000499,src:000000,op:arith8,pos:184,val:-35,+cov Diff File
add - src/mint/afl-tests/id:000500,src:000000,op:arith8,pos:185,val:+3,+cov Diff File
add - src/mint/afl-tests/id:000501,src:000000,op:arith8,pos:185,val:+7,+cov Diff File
add - src/mint/afl-tests/id:000502,src:000000,op:arith8,pos:192,val:+9,+cov Diff File
add - src/mint/afl-tests/id:000503,src:000000,op:arith8,pos:237,val:-26,+cov Diff File
add - src/mint/afl-tests/id:000504,src:000000,op:arith8,pos:238,val:+5,+cov Diff File
add - src/mint/afl-tests/id:000505,src:000000,op:arith8,pos:241,val:+7,+cov Diff File
add - src/mint/afl-tests/id:000506,src:000000,op:arith8,pos:268,val:-4,+cov Diff File
add - src/mint/afl-tests/id:000507,src:000000,op:arith8,pos:269,val:+19,+cov Diff File
add - src/mint/afl-tests/id:000508,src:000000,op:arith8,pos:271,val:-12,+cov Diff File
add - src/mint/afl-tests/id:000509,src:000000,op:arith8,pos:272,val:+7,+cov Diff File
add - src/mint/afl-tests/id:000510,src:000000,op:arith8,pos:274,val:+11,+cov Diff File
add - src/mint/afl-tests/id:000511,src:000000,op:arith8,pos:274,val:+25,+cov Diff File
add - src/mint/afl-tests/id:000512,src:000000,op:arith8,pos:275,val:-11,+cov Diff File
add - src/mint/afl-tests/id:000513,src:000000,op:arith8,pos:275,val:-12,+cov Diff File
add - src/mint/afl-tests/id:000514,src:000000,op:arith8,pos:275,val:+27,+cov Diff File
add - src/mint/afl-tests/id:000515,src:000000,op:arith8,pos:277,val:-10,+cov Diff File
add - src/mint/afl-tests/id:000516,src:000000,op:arith8,pos:277,val:+35,+cov Diff File
add - src/mint/afl-tests/id:000517,src:000000,op:arith8,pos:279,val:+28,+cov Diff File
add - src/mint/afl-tests/id:000518,src:000000,op:arith8,pos:290,val:-28,+cov Diff File
add - src/mint/afl-tests/id:000519,src:000000,op:arith8,pos:305,val:-3,+cov Diff File
add - src/mint/afl-tests/id:000520,src:000000,op:arith8,pos:306,val:+7,+cov Diff File
add - src/mint/afl-tests/id:000521,src:000000,op:arith8,pos:306,val:-12,+cov Diff File
add - src/mint/afl-tests/id:000522,src:000000,op:arith8,pos:306,val:+20,+cov Diff File
add - src/mint/afl-tests/id:000523,src:000000,op:arith8,pos:307,val:+13,+cov Diff File
add - src/mint/afl-tests/id:000524,src:000000,op:arith8,pos:308,val:+19,+cov Diff File
add - src/mint/afl-tests/id:000525,src:000000,op:arith8,pos:308,val:-27,+cov Diff File
add - src/mint/afl-tests/id:000526,src:000000,op:arith8,pos:312,val:+3,+cov Diff File
add - src/mint/afl-tests/id:000527,src:000000,op:arith8,pos:312,val:+5,+cov Diff File
add - src/mint/afl-tests/id:000528,src:000000,op:arith8,pos:312,val:-11,+cov Diff File
add - src/mint/afl-tests/id:000529,src:000000,op:arith8,pos:313,val:-33,+cov Diff File
add - src/mint/afl-tests/id:000530,src:000000,op:arith8,pos:314,val:-3,+cov Diff File
add - src/mint/afl-tests/id:000531,src:000000,op:arith8,pos:314,val:-25,+cov Diff File
add - src/mint/afl-tests/id:000532,src:000000,op:arith8,pos:316,val:+20,+cov Diff File
add - src/mint/afl-tests/id:000533,src:000000,op:arith8,pos:316,val:-23,+cov Diff File
add - src/mint/afl-tests/id:000534,src:000000,op:arith8,pos:316,val:-28,+cov Diff File
add - src/mint/afl-tests/id:000535,src:000000,op:arith8,pos:317,val:-31,+cov Diff File
add - src/mint/afl-tests/id:000536,src:000000,op:arith8,pos:318,val:+23,+cov Diff File
add - src/mint/afl-tests/id:000537,src:000000,op:arith8,pos:319,val:-12,+cov Diff File
add - src/mint/afl-tests/id:000538,src:000000,op:arith8,pos:320,val:+17,+cov Diff File
add - src/mint/afl-tests/id:000539,src:000000,op:arith8,pos:320,val:-31,+cov Diff File
add - src/mint/afl-tests/id:000540,src:000000,op:arith8,pos:321,val:-34,+cov Diff File
add - src/mint/afl-tests/id:000541,src:000000,op:arith8,pos:322,val:+3,+cov Diff File
add - src/mint/afl-tests/id:000542,src:000000,op:arith8,pos:322,val:+7,+cov Diff File
add - src/mint/afl-tests/id:000543,src:000000,op:arith8,pos:326,val:-9,+cov Diff File
add - src/mint/afl-tests/id:000544,src:000000,op:arith8,pos:326,val:-31,+cov Diff File
add - src/mint/afl-tests/id:000545,src:000000,op:arith8,pos:326,val:-35,+cov Diff File
add - src/mint/afl-tests/id:000546,src:000000,op:arith8,pos:327,val:+5 Diff File
add - src/mint/afl-tests/id:000547,src:000000,op:arith8,pos:327,val:+7,+cov Diff File
add - src/mint/afl-tests/id:000548,src:000000,op:arith8,pos:327,val:+11,+cov Diff File
add - src/mint/afl-tests/id:000549,src:000000,op:arith8,pos:327,val:-24,+cov Diff File
add - src/mint/afl-tests/id:000550,src:000000,op:arith8,pos:328,val:+14,+cov Diff File
add - src/mint/afl-tests/id:000551,src:000000,op:arith8,pos:329,val:+1,+cov Diff File
add - src/mint/afl-tests/id:000552,src:000000,op:arith8,pos:330,val:+9,+cov Diff File
add - src/mint/afl-tests/id:000553,src:000000,op:arith8,pos:330,val:-24,+cov Diff File
add - src/mint/afl-tests/id:000554,src:000000,op:int8,pos:6,val:+0 Diff File
add - src/mint/afl-tests/id:000555,src:000000,op:int8,pos:7,val:+0 Diff File
add - src/mint/afl-tests/id:000556,src:000000,op:int8,pos:9,val:+0 Diff File
add - src/mint/afl-tests/id:000557,src:000000,op:int8,pos:34,val:+0,+cov Diff File
add - src/mint/afl-tests/id:000558,src:000000,op:int8,pos:40,val:+0,+cov Diff File
add - src/mint/afl-tests/id:000559,src:000000,op:int8,pos:40,val:+32 Diff File
add - src/mint/afl-tests/id:000560,src:000000,op:int8,pos:44,val:-1,+cov Diff File
add - src/mint/afl-tests/id:000561,src:000000,op:int8,pos:51,val:-1,+cov Diff File
add - src/mint/afl-tests/id:000562,src:000000,op:int8,pos:62,val:-128,+cov Diff File
add - src/mint/afl-tests/id:000563,src:000000,op:int8,pos:135,val:+127,+cov Diff File
add - src/mint/afl-tests/id:000564,src:000000,op:int8,pos:140,val:+100,+cov Diff File
add - src/mint/afl-tests/id:000565,src:000000,op:int8,pos:178,val:+100,+cov Diff File
add - src/mint/afl-tests/id:000566,src:000000,op:int16,pos:27,val:-128,+cov Diff File
add - src/mint/afl-tests/id:000567,src:000000,op:int16,pos:28,val:be:+32,+cov Diff File
add - src/mint/afl-tests/id:000568,src:000000,op:int16,pos:28,val:be:+127,+cov Diff File
add - src/mint/afl-tests/id:000569,src:000000,op:int16,pos:33,val:be:+512,+cov Diff File
add - src/mint/afl-tests/id:000570,src:000000,op:int16,pos:34,val:+1000,+cov Diff File
add - src/mint/afl-tests/id:000571,src:000000,op:int16,pos:44,val:+512,+cov Diff File
add - src/mint/afl-tests/id:000572,src:000000,op:int16,pos:46,val:+100,+cov Diff File
add - src/mint/afl-tests/id:000573,src:000000,op:int16,pos:46,val:be:+512,+cov Diff File
add - src/mint/afl-tests/id:000574,src:000000,op:int16,pos:52,val:-128,+cov Diff File
add - src/mint/afl-tests/id:000575,src:000000,op:int16,pos:54,val:-128,+cov Diff File
add - src/mint/afl-tests/id:000576,src:000000,op:int16,pos:54,val:+100,+cov Diff File
add - src/mint/afl-tests/id:000577,src:000000,op:int16,pos:54,val:+255,+cov Diff File
add - src/mint/afl-tests/id:000578,src:000000,op:int16,pos:62,val:+255,+cov Diff File
add - src/mint/afl-tests/id:000579,src:000000,op:int16,pos:63,val:+32,+cov Diff File
add - src/mint/afl-tests/id:000580,src:000000,op:int16,pos:65,val:be:+100,+cov Diff File
add - src/mint/afl-tests/id:000581,src:000000,op:int16,pos:66,val:+0,+cov Diff File
add - src/mint/afl-tests/id:000582,src:000000,op:int16,pos:80,val:+1000,+cov Diff File
add - src/mint/afl-tests/id:000583,src:000000,op:int16,pos:82,val:+256,+cov Diff File
add - src/mint/afl-tests/id:000584,src:000000,op:int16,pos:83,val:be:+1024,+cov Diff File
add - src/mint/afl-tests/id:000585,src:000000,op:int16,pos:87,val:-128,+cov Diff File
add - src/mint/afl-tests/id:000586,src:000000,op:int16,pos:87,val:-32768,+cov Diff File
add - src/mint/afl-tests/id:000587,src:000000,op:int16,pos:94,val:-129,+cov Diff File
add - src/mint/afl-tests/id:000588,src:000000,op:int16,pos:193,val:+16 Diff File
add - src/mint/afl-tests/id:000589,src:000000,op:int32,pos:0,val:be:+32767 Diff File
add - src/mint/afl-tests/id:000590,src:000000,op:int32,pos:2,val:+65535 Diff File
add - src/mint/afl-tests/id:000591,src:000000,op:int32,pos:7,val:-2147483648,+cov Diff File
add - src/mint/afl-tests/id:000592,src:000000,op:int32,pos:24,val:be:+32,+cov Diff File
add - src/mint/afl-tests/id:000593,src:000000,op:int32,pos:26,val:+255,+cov Diff File
add - src/mint/afl-tests/id:000594,src:000000,op:int32,pos:27,val:be:+1,+cov Diff File
add - src/mint/afl-tests/id:000595,src:000000,op:int32,pos:29,val:+1000,+cov Diff File
add - src/mint/afl-tests/id:000596,src:000000,op:int32,pos:30,val:be:+32 Diff File
add - src/mint/afl-tests/id:000597,src:000000,op:int32,pos:30,val:be:+512,+cov Diff File
add - src/mint/afl-tests/id:000598,src:000000,op:int32,pos:39,val:be:+1,+cov Diff File
add - src/mint/afl-tests/id:000599,src:000000,op:int32,pos:40,val:+1024,+cov Diff File
add - src/mint/afl-tests/id:000600,src:000000,op:int32,pos:42,val:be:+16,+cov Diff File
add - src/mint/afl-tests/id:000601,src:000000,op:int32,pos:48,val:+100663045,+cov Diff File
add - src/mint/afl-tests/id:000602,src:000000,op:int32,pos:49,val:be:+4096,+cov Diff File
add - src/mint/afl-tests/id:000603,src:000000,op:int32,pos:51,val:+128,+cov Diff File
add - src/mint/afl-tests/id:000604,src:000000,op:int32,pos:53,val:-128,+cov Diff File
add - src/mint/afl-tests/id:000605,src:000000,op:int32,pos:53,val:+128,+cov Diff File
add - src/mint/afl-tests/id:000606,src:000000,op:int32,pos:53,val:+1024,+cov Diff File
add - src/mint/afl-tests/id:000607,src:000000,op:int32,pos:64,val:+256,+cov Diff File
add - src/mint/afl-tests/id:000608,src:000000,op:int32,pos:65,val:+1,+cov Diff File
add - src/mint/afl-tests/id:000609,src:000000,op:int32,pos:65,val:be:+64,+cov Diff File
add - src/mint/afl-tests/id:000610,src:000000,op:int32,pos:66,val:+16,+cov Diff File
add - src/mint/afl-tests/id:000611,src:000000,op:int32,pos:73,val:+100663045,+cov Diff File
add - src/mint/afl-tests/id:000612,src:000000,op:int32,pos:81,val:+0,+cov Diff File
add - src/mint/afl-tests/id:000613,src:000000,op:int32,pos:82,val:+32767,+cov Diff File
add - src/mint/afl-tests/id:000614,src:000000,op:int32,pos:83,val:be:+1000,+cov Diff File
add - src/mint/afl-tests/id:000615,src:000000,op:int32,pos:84,val:-129,+cov Diff File
add - src/mint/afl-tests/id:000616,src:000000,op:int32,pos:84,val:+65536,+cov Diff File
add - src/mint/afl-tests/id:000617,src:000000,op:int32,pos:85,val:be:+255,+cov Diff File
add - src/mint/afl-tests/id:000618,src:000000,op:int32,pos:85,val:-32769,+cov Diff File
add - src/mint/afl-tests/id:000619,src:000000,op:int32,pos:88,val:be:-32768,+cov Diff File
add - src/mint/afl-tests/id:000620,src:000000,op:int32,pos:91,val:+127,+cov Diff File
add - src/mint/afl-tests/id:000621,src:000000,op:int32,pos:92,val:-32768,+cov Diff File
add - src/mint/afl-tests/id:000622,src:000000,op:int32,pos:98,val:-129,+cov Diff File
add - src/mint/afl-tests/id:000623,src:000000,op:int32,pos:128,val:-32769,+cov Diff File
add - src/mint/afl-tests/id:000624,src:000000,op:int32,pos:160,val:be:+512,+cov Diff File
add - src/mint/afl-tests/id:000625,src:000000,op:int32,pos:203,val:be:+1,+cov Diff File
add - src/mint/afl-tests/id:000626,src:000000,op:int32,pos:263,val:+0,+cov Diff File
add - src/mint/afl-tests/id:000627,src:000000,op:int32,pos:264,val:be:-32769,+cov Diff File
add - src/mint/afl-tests/id:000628,src:000000,op:int32,pos:285,val:+100663045,+cov Diff File
add - src/mint/afl-tests/id:000629,src:000000,op:ext_AO,pos:34,+cov Diff File
add - src/mint/afl-tests/id:000630,src:000000,op:ext_AO,pos:34,+cov Diff File
add - src/mint/afl-tests/id:000631,src:000000,op:ext_AO,pos:37,+cov Diff File
add - src/mint/afl-tests/id:000632,src:000000,op:ext_AO,pos:39,+cov Diff File
add - src/mint/afl-tests/id:000633,src:000000,op:ext_AO,pos:49,+cov Diff File
add - src/mint/afl-tests/id:000634,src:000000,op:ext_AO,pos:51,+cov Diff File
add - src/mint/afl-tests/id:000635,src:000000,op:ext_AO,pos:52,+cov Diff File
add - src/mint/afl-tests/id:000636,src:000000,op:ext_AO,pos:52,+cov Diff File
add - src/mint/afl-tests/id:000637,src:000000,op:ext_AO,pos:58,+cov Diff File
add - src/mint/afl-tests/id:000638,src:000000,op:ext_AO,pos:64,+cov Diff File
add - src/mint/afl-tests/id:000639,src:000000,op:ext_AO,pos:86,+cov Diff File
add - src/mint/afl-tests/id:000640,src:000000,op:ext_AO,pos:88,+cov Diff File
add - src/mint/afl-tests/id:000641,src:000000,op:ext_AO,pos:93,+cov Diff File
add - src/mint/afl-tests/id:000642,src:000000,op:ext_AO,pos:135,+cov Diff File
add - src/mint/afl-tests/id:000643,src:000000,op:ext_AO,pos:136,+cov Diff File
add - src/mint/afl-tests/id:000644,src:000000,op:ext_AO,pos:138,+cov Diff File
add - src/mint/afl-tests/id:000645,src:000000,op:ext_AO,pos:140,+cov Diff File
add - src/mint/afl-tests/id:000646,src:000000,op:ext_AO,pos:143,+cov Diff File
add - src/mint/afl-tests/id:000647,src:000000,op:ext_AO,pos:144,+cov Diff File
add - src/mint/afl-tests/id:000648,src:000000,op:ext_AO,pos:155,+cov Diff File
add - src/mint/afl-tests/id:000649,src:000000,op:ext_AO,pos:166,+cov Diff File
add - src/mint/afl-tests/id:000650,src:000000,op:ext_AO,pos:166,+cov Diff File
add - src/mint/afl-tests/id:000651,src:000000,op:ext_AO,pos:173,+cov Diff File
add - src/mint/afl-tests/id:000652,src:000000,op:ext_AO,pos:175,+cov Diff File
add - src/mint/afl-tests/id:000653,src:000000,op:ext_AO,pos:176,+cov Diff File
add - src/mint/afl-tests/id:000654,src:000000,op:ext_AO,pos:177,+cov Diff File
add - src/mint/afl-tests/id:000655,src:000000,op:ext_AO,pos:177,+cov Diff File
add - src/mint/afl-tests/id:000656,src:000000,op:ext_AO,pos:177,+cov Diff File
add - src/mint/afl-tests/id:000657,src:000000,op:ext_AO,pos:180,+cov Diff File
add - src/mint/afl-tests/id:000658,src:000000,op:ext_AO,pos:182,+cov Diff File
add - src/mint/afl-tests/id:000659,src:000000,op:ext_AO,pos:269,+cov Diff File
add - src/mint/afl-tests/id:000660,src:000000,op:ext_AO,pos:270,+cov Diff File
add - src/mint/afl-tests/id:000661,src:000000,op:ext_AO,pos:271,+cov Diff File
add - src/mint/afl-tests/id:000662,src:000000,op:ext_AO,pos:274,+cov Diff File
add - src/mint/afl-tests/id:000663,src:000000,op:ext_AO,pos:275,+cov Diff File
add - src/mint/afl-tests/id:000664,src:000000,op:ext_AO,pos:305,+cov Diff File
add - src/mint/afl-tests/id:000665,src:000000,op:ext_AO,pos:312,+cov Diff File
add - src/mint/afl-tests/id:000666,src:000000,op:ext_AO,pos:314,+cov Diff File
add - src/mint/afl-tests/id:000667,src:000000,op:ext_AO,pos:319,+cov Diff File
add - src/mint/afl-tests/id:000668,src:000000,op:ext_AO,pos:328,+cov Diff File
add - src/mint/afl-tests/id:000669,src:000000,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000670,src:000000,op:havoc,rep:32 Diff File
add - src/mint/afl-tests/id:000671,src:000000,op:havoc,rep:8 Diff File
add - src/mint/afl-tests/id:000672,src:000000,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000673,src:000000,op:havoc,rep:128 Diff File
add - src/mint/afl-tests/id:000674,src:000000,op:havoc,rep:32 Diff File
add - src/mint/afl-tests/id:000675,src:000000,op:havoc,rep:128 Diff File
add - src/mint/afl-tests/id:000676,src:000000,op:havoc,rep:32 Diff File
add - src/mint/afl-tests/id:000677,src:000000,op:havoc,rep:8 Diff File
add - src/mint/afl-tests/id:000678,src:000000,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000679,src:000000,op:havoc,rep:16,+cov Diff File
add - src/mint/afl-tests/id:000680,src:000000,op:havoc,rep:32 Diff File
add - src/mint/afl-tests/id:000681,src:000000,op:havoc,rep:32 Diff File
add - src/mint/afl-tests/id:000682,src:000000,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000683,src:000000,op:havoc,rep:16,+cov Diff File
add - src/mint/afl-tests/id:000684,src:000000,op:havoc,rep:16,+cov Diff File
add - src/mint/afl-tests/id:000685,src:000000,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000686,src:000000,op:havoc,rep:128,+cov Diff File
add - src/mint/afl-tests/id:000687,src:000000,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000688,src:000000,op:havoc,rep:128 Diff File
add - src/mint/afl-tests/id:000689,src:000000,op:havoc,rep:128,+cov Diff File
add - src/mint/afl-tests/id:000690,src:000000,op:havoc,rep:64 Diff File
add - src/mint/afl-tests/id:000691,src:000000,op:havoc,rep:64 Diff File
add - src/mint/afl-tests/id:000692,src:000000,op:havoc,rep:4,+cov Diff File
add - src/mint/afl-tests/id:000693,src:000000,op:havoc,rep:16,+cov Diff File
add - src/mint/afl-tests/id:000694,src:000000,op:havoc,rep:32 Diff File
add - src/mint/afl-tests/id:000695,src:000000,op:havoc,rep:64 Diff File
add - src/mint/afl-tests/id:000696,src:000000,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000697,src:000000,op:havoc,rep:8 Diff File
add - src/mint/afl-tests/id:000698,src:000000,op:havoc,rep:128 Diff File
add - src/mint/afl-tests/id:000699,src:000000,op:havoc,rep:32 Diff File
add - src/mint/afl-tests/id:000700,src:000000,op:havoc,rep:32,+cov Diff File
add - src/mint/afl-tests/id:000701,src:000000,op:havoc,rep:2 Diff File
add - src/mint/afl-tests/id:000702,src:000000,op:havoc,rep:8 Diff File
add - src/mint/afl-tests/id:000703,src:000000,op:havoc,rep:32,+cov Diff File
add - src/mint/afl-tests/id:000704,src:000000,op:havoc,rep:64,+cov Diff File
add - src/mint/afl-tests/id:000705,src:000000,op:havoc,rep:2,+cov Diff File
add - src/mint/afl-tests/id:000706,src:000000,op:havoc,rep:32 Diff File
add - src/mint/afl-tests/id:000707,src:000000,op:havoc,rep:128,+cov Diff File
add - src/mint/afl-tests/id:000708,src:000000,op:havoc,rep:2 Diff File
add - src/mint/afl-tests/id:000709,src:000000,op:havoc,rep:64 Diff File
add - src/mint/afl-tests/id:000710,src:000000,op:havoc,rep:8,+cov Diff File
add - src/mint/afl-tests/id:000711,src:000000,op:havoc,rep:2,+cov Diff File
add - src/mint/afl-tests/id:000712,src:000000,op:havoc,rep:2,+cov Diff File
add - src/mint/afl-tests/id:000713,src:000000,op:havoc,rep:64,+cov Diff File
add - src/mint/afl-tests/id:000714,src:000000,op:havoc,rep:8,+cov Diff File
add - src/mint/afl-tests/id:000715,src:000000,op:havoc,rep:8,+cov Diff File
add - src/mint/afl-tests/id:000716,src:000001,op:flip1,pos:2 Diff File
add - src/mint/afl-tests/id:000717,src:000001,op:flip1,pos:50,+cov Diff File
add - src/mint/afl-tests/id:000718,src:000001,op:flip1,pos:55,+cov Diff File
add - src/mint/afl-tests/id:000719,src:000001,op:flip1,pos:95 Diff File
add - src/mint/afl-tests/id:000720,src:000001,op:flip1,pos:102,+cov Diff File
add - src/mint/afl-tests/id:000721,src:000001,op:flip1,pos:107,+cov Diff File
add - src/mint/afl-tests/id:000722,src:000001,op:flip1,pos:118,+cov Diff File
add - src/mint/afl-tests/id:000723,src:000001,op:flip1,pos:124,+cov Diff File
add - src/mint/afl-tests/id:000724,src:000001,op:flip1,pos:133,+cov Diff File
add - src/mint/afl-tests/id:000725,src:000001,op:flip1,pos:133,+cov Diff File
add - src/mint/afl-tests/id:000726,src:000001,op:flip1,pos:135,+cov Diff File
add - src/mint/afl-tests/id:000727,src:000001,op:flip1,pos:457,+cov Diff File
add - src/mint/afl-tests/id:000728,src:000001,op:flip1,pos:469,+cov Diff File
add - src/mint/afl-tests/id:000729,src:000001,op:flip1,pos:508,+cov Diff File
add - src/mint/afl-tests/id:000730,src:000001,op:flip1,pos:600 Diff File
add - src/mint/afl-tests/id:000731,src:000001,op:flip1,pos:618,+cov Diff File
add - src/mint/afl-tests/id:000732,src:000001,op:flip1,pos:633,+cov Diff File
add - src/mint/afl-tests/id:000733,src:000001,op:flip1,pos:687,+cov Diff File
add - src/mint/afl-tests/id:000734,src:000001,op:flip1,pos:722,+cov Diff File
add - src/mint/afl-tests/id:000735,src:000001,op:flip1,pos:734,+cov Diff File
add - src/mint/afl-tests/id:000736,src:000001,op:flip1,pos:800 Diff File
add - src/mint/afl-tests/id:000737,src:000001,op:flip1,pos:888,+cov Diff File
add - src/mint/afl-tests/id:000738,src:000001,op:flip1,pos:893,+cov Diff File
add - src/mint/afl-tests/id:000739,src:000001,op:flip1,pos:1116,+cov Diff File
add - src/mint/afl-tests/id:000740,src:000001,op:flip1,pos:1116,+cov Diff File
add - src/mint/afl-tests/id:000741,src:000001,op:flip1,pos:1118,+cov Diff File
add - src/mint/afl-tests/id:000742,src:000001,op:flip1,pos:1170,+cov Diff File
add - src/mint/afl-tests/id:000743,src:000001,op:flip1,pos:1205,+cov Diff File
add - src/mint/afl-tests/id:000744,src:000001,op:flip1,pos:1301,+cov Diff File
add - src/mint/afl-tests/id:000745,src:000001,op:flip1,pos:1369,+cov Diff File
add - src/mint/afl-tests/id:000746,src:000001,op:flip1,pos:1378,+cov Diff File
add - src/mint/afl-tests/id:000747,src:000001,op:flip1,pos:1474,+cov Diff File
add - src/mint/afl-tests/id:000748,src:000001,op:flip1,pos:1510,+cov Diff File
add - src/mint/afl-tests/id:000749,src:000001,op:flip1,pos:1634 Diff File
add - src/mint/afl-tests/id:000750,src:000001,op:flip1,pos:1657,+cov Diff File
add - src/mint/afl-tests/id:000751,src:000001,op:flip1,pos:1712,+cov Diff File
add - src/mint/afl-tests/id:000752,src:000001,op:flip2,pos:21,+cov Diff File
add - src/mint/afl-tests/id:000753,src:000001,op:flip2,pos:39,+cov Diff File
add - src/mint/afl-tests/id:000754,src:000001,op:flip2,pos:105,+cov Diff File
add - src/mint/afl-tests/id:000755,src:000001,op:flip2,pos:890,+cov Diff File
add - src/mint/afl-tests/id:000756,src:000001,op:flip2,pos:975,+cov Diff File
add - src/mint/afl-tests/id:000757,src:000001,op:flip2,pos:1509,+cov Diff File
add - src/mint/afl-tests/id:000758,src:000001,op:flip2,pos:1662,+cov Diff File
add - src/mint/afl-tests/id:000759,src:000001,op:flip4,pos:32,+cov Diff File
add - src/mint/afl-tests/id:000760,src:000001,op:flip4,pos:300,+cov Diff File
add - src/mint/afl-tests/id:000761,src:000001,op:flip4,pos:457,+cov Diff File
add - src/mint/afl-tests/id:000762,src:000001,op:flip4,pos:1507,+cov Diff File
add - src/mint/afl-tests/id:000763,src:000001,op:flip4,pos:1549,+cov Diff File
add - src/mint/afl-tests/id:000764,src:000001,op:flip4,pos:1577,+cov Diff File
add - src/mint/afl-tests/id:000765,src:000001,op:flip8,pos:899,+cov Diff File
add - src/mint/afl-tests/id:000766,src:000001,op:flip8,pos:1457,+cov Diff File
add - src/mint/afl-tests/id:000767,src:000001,op:flip32,pos:301,+cov Diff File
add - src/mint/afl-tests/id:000768,src:000001,op:arith8,pos:18,val:+11,+cov Diff File
add - src/mint/afl-tests/id:000769,src:000001,op:arith8,pos:33,val:+17,+cov Diff File
add - src/mint/afl-tests/id:000770,src:000002,op:flip1,pos:30 Diff File
add - src/mint/afl-tests/id:000771,src:000002,op:flip1,pos:45,+cov Diff File
add - src/mint/afl-tests/id:000772,src:000002,op:flip1,pos:50 Diff File
add - src/mint/afl-tests/id:000773,src:000002,op:flip1,pos:63 Diff File
add - src/mint/afl-tests/id:000774,src:000002,op:flip1,pos:76 Diff File
add - src/mint/afl-tests/id:000775,src:000002,op:flip1,pos:107,+cov Diff File
add - src/mint/afl-tests/id:000776,src:000002,op:flip1,pos:135 Diff File
add - src/mint/afl-tests/id:000777,src:000002,op:flip2,pos:56,+cov Diff File
add - src/mint/afl-tests/id:000778,src:000002,op:flip2,pos:113,+cov Diff File
add - src/mint/afl-tests/id:000779,src:000002,op:flip4,pos:15,+cov Diff File
add - src/mint/afl-tests/id:000780,src:000002,op:arith8,pos:10,val:-7,+cov Diff File
add - src/mint/afl-tests/id:000781,src:000002,op:arith8,pos:29,val:+21,+cov Diff File
add - src/mint/afl-tests/id:000782,src:000002,op:arith8,pos:109,val:-35 Diff File
add - src/mint/afl-tests/id:000783,src:000002,op:arith8,pos:132,val:+34,+cov Diff File
add - src/mint/afl-tests/id:000784,src:000002,op:int16,pos:20,val:-129,+cov Diff File
add - src/mint/afl-tests/id:000785,src:000002,op:int16,pos:82,val:+64,+cov Diff File
add - src/mint/afl-tests/id:000786,src:000002,op:int16,pos:96,val:+32 Diff File
add - src/mint/afl-tests/id:000787,src:000002,op:int16,pos:112,val:be:-128,+cov Diff File
add - src/mint/afl-tests/id:000788,src:000002,op:int32,pos:26,val:+65536,+cov Diff File
add - src/mint/afl-tests/id:000789,src:000002,op:int32,pos:54,val:+32,+cov Diff File
add - src/mint/afl-tests/id:000790,src:000002,op:ext_AO,pos:95,+cov Diff File
add - src/mint/afl-tests/id:000791,src:000002,op:ext_AO,pos:98,+cov Diff File
add - src/mint/afl-tests/id:000792,src:000002,op:ext_AO,pos:130,+cov Diff File
add - src/mint/afl-tests/id:000793,src:000002,op:ext_AO,pos:135,+cov Diff File
add - src/mint/afl-tests/id:000794,src:000002,op:ext_AO,pos:138,+cov Diff File
add - src/mint/afl-tests/id:000795,src:000002,op:havoc,rep:4 Diff File
add - src/mint/afl-tests/id:000796,src:000002,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000797,src:000002,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000798,src:000002,op:havoc,rep:64 Diff File
add - src/mint/afl-tests/id:000799,src:000002,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000800,src:000002,op:havoc,rep:4 Diff File
add - src/mint/afl-tests/id:000801,src:000002,op:havoc,rep:128 Diff File
add - src/mint/afl-tests/id:000802,src:000002,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000803,src:000002,op:havoc,rep:2 Diff File
add - src/mint/afl-tests/id:000804,src:000002,op:havoc,rep:32 Diff File
add - src/mint/afl-tests/id:000805,src:000002,op:havoc,rep:4 Diff File
add - src/mint/afl-tests/id:000806,src:000002,op:havoc,rep:32 Diff File
add - src/mint/afl-tests/id:000807,src:000002,op:havoc,rep:128 Diff File
add - src/mint/afl-tests/id:000808,src:000002,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000809,src:000002,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000810,src:000002,op:havoc,rep:32,+cov Diff File
add - src/mint/afl-tests/id:000811,src:000002,op:havoc,rep:2,+cov Diff File
add - src/mint/afl-tests/id:000812,src:000002,op:havoc,rep:4,+cov Diff File
add - src/mint/afl-tests/id:000813,src:000002,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000814,src:000002,op:havoc,rep:16,+cov Diff File
add - src/mint/afl-tests/id:000815,src:000002,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000816,src:000002,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000817,src:000002,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000818,src:000002,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000819,src:000002,op:havoc,rep:16,+cov Diff File
add - src/mint/afl-tests/id:000820,src:000002,op:havoc,rep:2 Diff File
add - src/mint/afl-tests/id:000821,src:000003,op:flip1,pos:18,+cov Diff File
add - src/mint/afl-tests/id:000822,src:000003,op:flip1,pos:27,+cov Diff File
add - src/mint/afl-tests/id:000823,src:000003,op:flip1,pos:27,+cov Diff File
add - src/mint/afl-tests/id:000824,src:000003,op:flip1,pos:27,+cov Diff File
add - src/mint/afl-tests/id:000825,src:000003,op:flip1,pos:28,+cov Diff File
add - src/mint/afl-tests/id:000826,src:000003,op:flip1,pos:28,+cov Diff File
add - src/mint/afl-tests/id:000827,src:000003,op:flip1,pos:29,+cov Diff File
add - src/mint/afl-tests/id:000828,src:000003,op:flip1,pos:29,+cov Diff File
add - src/mint/afl-tests/id:000829,src:000003,op:flip1,pos:29,+cov Diff File
add - src/mint/afl-tests/id:000830,src:000003,op:flip1,pos:30,+cov Diff File
add - src/mint/afl-tests/id:000831,src:000003,op:flip1,pos:32,+cov Diff File
add - src/mint/afl-tests/id:000832,src:000003,op:flip1,pos:34,+cov Diff File
add - src/mint/afl-tests/id:000833,src:000003,op:flip1,pos:36,+cov Diff File
add - src/mint/afl-tests/id:000834,src:000003,op:flip1,pos:39 Diff File
add - src/mint/afl-tests/id:000835,src:000003,op:flip1,pos:39,+cov Diff File
add - src/mint/afl-tests/id:000836,src:000003,op:flip1,pos:40,+cov Diff File
add - src/mint/afl-tests/id:000837,src:000003,op:flip1,pos:41,+cov Diff File
add - src/mint/afl-tests/id:000838,src:000003,op:flip1,pos:44,+cov Diff File
add - src/mint/afl-tests/id:000839,src:000003,op:flip1,pos:46,+cov Diff File
add - src/mint/afl-tests/id:000840,src:000003,op:flip1,pos:48,+cov Diff File
add - src/mint/afl-tests/id:000841,src:000003,op:flip1,pos:48,+cov Diff File
add - src/mint/afl-tests/id:000842,src:000003,op:flip1,pos:51 Diff File
add - src/mint/afl-tests/id:000843,src:000003,op:flip1,pos:51,+cov Diff File
add - src/mint/afl-tests/id:000844,src:000003,op:flip1,pos:54,+cov Diff File
add - src/mint/afl-tests/id:000845,src:000003,op:flip1,pos:58,+cov Diff File
add - src/mint/afl-tests/id:000846,src:000003,op:flip1,pos:64,+cov Diff File
add - src/mint/afl-tests/id:000847,src:000003,op:flip1,pos:64,+cov Diff File
add - src/mint/afl-tests/id:000848,src:000003,op:flip1,pos:66,+cov Diff File
add - src/mint/afl-tests/id:000849,src:000003,op:flip1,pos:67,+cov Diff File
add - src/mint/afl-tests/id:000850,src:000003,op:flip1,pos:67,+cov Diff File
add - src/mint/afl-tests/id:000851,src:000003,op:flip1,pos:74,+cov Diff File
add - src/mint/afl-tests/id:000852,src:000003,op:flip1,pos:76,+cov Diff File
add - src/mint/afl-tests/id:000853,src:000003,op:flip1,pos:78,+cov Diff File
add - src/mint/afl-tests/id:000854,src:000003,op:flip2,pos:28,+cov Diff File
add - src/mint/afl-tests/id:000855,src:000003,op:flip2,pos:29,+cov Diff File
add - src/mint/afl-tests/id:000856,src:000003,op:flip2,pos:29,+cov Diff File
add - src/mint/afl-tests/id:000857,src:000003,op:flip2,pos:30,+cov Diff File
add - src/mint/afl-tests/id:000858,src:000003,op:flip2,pos:35 Diff File
add - src/mint/afl-tests/id:000859,src:000003,op:flip2,pos:37,+cov Diff File
add - src/mint/afl-tests/id:000860,src:000003,op:flip2,pos:41,+cov Diff File
add - src/mint/afl-tests/id:000861,src:000003,op:flip2,pos:42,+cov Diff File
add - src/mint/afl-tests/id:000862,src:000003,op:flip2,pos:43,+cov Diff File
add - src/mint/afl-tests/id:000863,src:000003,op:flip2,pos:43,+cov Diff File
add - src/mint/afl-tests/id:000864,src:000003,op:flip2,pos:43 Diff File
add - src/mint/afl-tests/id:000865,src:000003,op:flip2,pos:45,+cov Diff File
add - src/mint/afl-tests/id:000866,src:000003,op:flip2,pos:47,+cov Diff File
add - src/mint/afl-tests/id:000867,src:000003,op:flip2,pos:49,+cov Diff File
add - src/mint/afl-tests/id:000868,src:000003,op:flip2,pos:54,+cov Diff File
add - src/mint/afl-tests/id:000869,src:000003,op:flip2,pos:62,+cov Diff File
add - src/mint/afl-tests/id:000870,src:000003,op:flip2,pos:63,+cov Diff File
add - src/mint/afl-tests/id:000871,src:000003,op:flip2,pos:68,+cov Diff File