Changesets: exchange

Search Browse Back to Index

master 837b7f5f

2015-09-29 00:52

Christian Grothoff


Details Diff		 -renable testrun, update gitignore
mod - .gitignore Diff File
mod - src/mint-lib/test-mint-home/config/mint-common.conf Diff File

master 03fb570a

2015-09-29 00:28

Christian Grothoff


Details Diff		 have option to disable expensive tests
mod - configure.ac Diff File
mod - src/mint/Makefile.am Diff File

master 0b5fc996

2015-09-28 18:00

Christian Grothoff


Details Diff		 Merge branch 'master' of ssh://taler.net:/var/git/mint
mod - doc/paper/taler.tex Diff File

master eaa0af42

2015-09-28 18:00

Christian Grothoff


Details Diff		 Luis is right
mod - doc/paper/taler.tex Diff File

master 6216cbc0

2015-09-28 17:49

Florian Dold


Details Diff		 minor typo
mod - doc/paper/taler.tex Diff File

master c4fd43dd

2015-09-28 17:33

Christian Grothoff


Details Diff		 fixing typoes with patch from Luis Ressel
mod - doc/paper/taler.tex Diff File

master da04a983

2015-09-28 17:27

Christian Grothoff


Details Diff		 resolve conflict
mod - src/mint/taler-mint-httpd_admin.c Diff File

master 0e48396f

2015-09-28 14:05

Christian Grothoff


Details Diff		 more clarifications
mod - doc/paper/taler.tex Diff File

master de384cfd

2015-09-28 14:01

Christian Grothoff


Details Diff		 more clarifications
mod - doc/paper/taler.tex Diff File

master c8eeea12

2015-09-28 13:47

Christian Grothoff


Details Diff		 fix description of locking protocol
mod - doc/paper/taler.tex Diff File

master 3f0a0c8f

2015-09-28 10:53

Christian Grothoff


Details Diff		 attempt to clarify double spending
mod - doc/paper/taler.tex Diff File

master bf8b9d14

2015-09-27 22:32

Christian Grothoff


Details Diff		 mention need to audit randomness of gamma
mod - .gitignore Diff File
mod - contrib/mint-template/config/mint-common.conf Diff File
mod - doc/Makefile.am Diff File
add - doc/paper/rfc.bib Diff File
mod - doc/paper/taler.bib Diff File
mod - doc/paper/taler.tex Diff File
add - doc/taler-auditor-sign.1 Diff File
mod - doc/taler-mint-httpd.1 Diff File
mod - doc/taler-mint-keyup.1 Diff File
mod - src/include/taler_crypto_lib.h Diff File
mod - src/include/taler_json_lib.h Diff File
mod - src/include/taler_mint_service.h Diff File
mod - src/include/taler_mintdb_lib.h Diff File
mod - src/include/taler_mintdb_plugin.h Diff File
mod - src/include/taler_signatures.h Diff File
mod - src/mint-lib/Makefile.am Diff File
add - src/mint-lib/afl-generate.sh Diff File
add - src/mint-lib/baseline/admin_add_incoming.req Diff File
add - src/mint-lib/baseline/deposit.req Diff File
add - src/mint-lib/baseline/keys.req Diff File
add - src/mint-lib/baseline/refresh_link.req Diff File
add - src/mint-lib/baseline/refresh_melt.req Diff File
add - src/mint-lib/baseline/refresh_reveal.req Diff File
add - src/mint-lib/baseline/reserve_status.req Diff File
add - src/mint-lib/baseline/reserve_withdraw.req Diff File
add - src/mint-lib/baseline/wire.req Diff File
add - src/mint-lib/baseline/wire_sepa.req Diff File
add - src/mint-lib/baseline/wire_test.req Diff File
mod - src/mint-lib/mint_api_context.c Diff File
mod - src/mint-lib/mint_api_handle.c Diff File
mod - src/mint-lib/mint_api_handle.h Diff File
mod - src/mint-lib/mint_api_reserve.c Diff File
add - src/mint-lib/mint_api_wire.c Diff File
mod - src/mint-lib/test-mint-home/config/mint-common.conf Diff File
add - src/mint-lib/test-mint-home/sepa.json Diff File
mod - src/mint-lib/test_mint_api.c Diff File
mod - src/mint-tools/Makefile.am Diff File
mod - src/mint-tools/taler-auditor-sign.c Diff File
mod - src/mint-tools/taler-mint-keyup.c Diff File
mod - src/mint/Makefile.am Diff File
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:000001,sig:06,src:000004,op:flip1,pos:21060 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:1,+cov 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:3,+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: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: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:000016,src:000000,op:flip1,pos:5,+cov Diff File
add - src/mint/afl-tests/id:000017,src:000000,op:flip1,pos:13,+cov Diff File
add - src/mint/afl-tests/id:000017,src:000000,op:flip1,pos:7,+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:000018,src:000000,op:flip1,pos:9,+cov Diff File
add - src/mint/afl-tests/id:000019,src:000000,op:flip1,pos:11 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:12,+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:13,+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:17,+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:22,+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: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:000030,src:000000,op:flip1,pos:27,+cov Diff File
add - src/mint/afl-tests/id:000031,src:000000,op:flip1,pos:27,+cov 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: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:28,+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:28,+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:000038,src:000000,op:flip1,pos:32,+cov Diff File
add - src/mint/afl-tests/id:000039,src:000000,op:flip1,pos:32,+cov 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:32,+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: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:000043,src:000000,op:flip1,pos:38 Diff File
add - src/mint/afl-tests/id:000044,src:000000,op:flip1,pos:38 Diff File
add - src/mint/afl-tests/id:000044,src:000000,op:flip1,pos:38,+cov Diff File
add - src/mint/afl-tests/id:000045,src:000000,op:flip1,pos:38,+cov 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 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: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: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:41,+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:42,+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:42,+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:43,+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:43,+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:44,+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:47,+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:47,+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:48,+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:49,+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:50,+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:51,+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:54 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:55,+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:55,+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:56,+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:58,+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:60,+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:61,+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:62,+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:62,+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:63,+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:64,+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:65,+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:71,+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:71 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:72,+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:73,+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:74,+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:75,+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:75,+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:76,+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:78,+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:80,+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:80,+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:81,+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:82,+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:000088,src:000000,op:flip1,pos:82,+cov Diff File
add - src/mint/afl-tests/id:000089,src:000000,op:flip1,pos:105 Diff File
add - src/mint/afl-tests/id:000089,src:000000,op:flip1,pos:84,+cov Diff File
add - src/mint/afl-tests/id:000090,src:000000,op:flip1,pos:113,+cov Diff File
add - src/mint/afl-tests/id:000090,src:000000,op:flip1,pos:84,+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:000091,src:000000,op:flip1,pos:91,+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:000092,src:000000,op:flip1,pos:92,+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:000093,src:000000,op:flip1,pos:93,+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:000094,src:000000,op:flip1,pos:95,+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:000095,src:000000,op:flip1,pos:96,+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:000096,src:000000,op:flip1,pos:96,+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:000097,src:000000,op:flip1,pos:97,+cov Diff File
add - src/mint/afl-tests/id:000098,src:000000,op:flip1,pos:105 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:106 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:113,+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:114,+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:121,+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:130,+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:136,+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:137,+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:137,+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: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: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:140,+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: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:141,+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:142,+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:143,+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:144,+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:147,+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:150,+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:151,+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:151,+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:154,+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:155,+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:156,+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:157,+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:160,+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: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:161,+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:163 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: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: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:168,+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:171,+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:172,+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:173,+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:173,+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:174,+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:000135,src:000000,op:flip1,pos:180 Diff File
add - src/mint/afl-tests/id:000136,src:000000,op:flip1,pos:182,+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:182,+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:183 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:183,+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:185,+cov 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:185,+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:190 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:193,+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:200,+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:211,+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:223,+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: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:268,+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:269,+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:270,+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:271,+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:271,+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:274,+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:279,+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:281,+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:283,+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:291,+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:298,+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:299,+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:306,+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:308,+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:312,+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:315,+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:316,+cov 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:316,+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:317,+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:317,+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:318,+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:319,+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:326,+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:327 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:flip1,pos:330,+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:flip1,pos:331,+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:flip1,pos:338,+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:000176,src:000000,op:flip2,pos:8,+cov Diff File
add - src/mint/afl-tests/id:000177,src:000000,op:flip2,pos:25,+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:26,+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:29,+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:30,+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:33,+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:000184,src:000000,op:flip2,pos:43,+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:000185,src:000000,op:flip2,pos:49,+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:000186,src:000000,op:flip2,pos:54,+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:000187,src:000000,op:flip2,pos:60,+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:000188,src:000000,op:flip2,pos:64,+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:000189,src:000000,op:flip2,pos:69,+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:000190,src:000000,op:flip2,pos:71,+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:000191,src:000000,op:flip2,pos:73,+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:000192,src:000000,op:flip2,pos:73,+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:000193,src:000000,op:flip2,pos:75 Diff File
add - src/mint/afl-tests/id:000194,src:000000,op:flip2,pos:68,+cov Diff File
add - src/mint/afl-tests/id:000194,src:000000,op:flip2,pos:77,+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:000195,src:000000,op:flip2,pos:81,+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:000196,src:000000,op:flip2,pos:81,+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:000197,src:000000,op:flip2,pos:83,+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:000198,src:000000,op:flip2,pos:84,+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:000199,src:000000,op:flip2,pos:85,+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:000200,src:000000,op:flip2,pos:86,+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:000201,src:000000,op:flip2,pos:89,+cov Diff File
add - src/mint/afl-tests/id:000202,src:000000,op:flip2,pos:101,+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:114 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:000204,src:000000,op:flip2,pos:115,+cov Diff File
add - src/mint/afl-tests/id:000205,src:000000,op:flip2,pos:114 Diff File
add - src/mint/afl-tests/id:000205,src:000000,op:flip2,pos:116,+cov Diff File
add - src/mint/afl-tests/id:000206,src:000000,op:flip2,pos:115,+cov Diff File
add - src/mint/afl-tests/id:000206,src:000000,op:flip2,pos:140,+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:000207,src:000000,op:flip2,pos:140,+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:000208,src:000000,op:flip2,pos:146,+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:000209,src:000000,op:flip2,pos:147,+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:000210,src:000000,op:flip2,pos:148,+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:000211,src:000000,op:flip2,pos:148,+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:000212,src:000000,op:flip2,pos:159,+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:000213,src:000000,op:flip2,pos:161,+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:000214,src:000000,op:flip2,pos:164,+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:000215,src:000000,op:flip2,pos:164,+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:000216,src:000000,op:flip2,pos:166,+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:000217,src:000000,op:flip2,pos:170,+cov Diff File
add - src/mint/afl-tests/id:000218,src:000000,op:flip2,pos:171,+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:180 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:184,+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:211,+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:218,+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:000223,src:000000,op:flip2,pos:271,+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:000224,src:000000,op:flip2,pos:279,+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:000225,src:000000,op:flip2,pos:308,+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:000226,src:000000,op:flip2,pos:315,+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:000227,src:000000,op:flip2,pos:316,+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:000228,src:000000,op:flip2,pos:317,+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:000229,src:000000,op:flip2,pos:319,+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:000230,src:000000,op:flip2,pos:320,+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:000231,src:000000,op:flip2,pos:326,+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:000232,src:000000,op:flip2,pos:327,+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:000233,src:000000,op:flip2,pos:331,+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:000234,src:000000,op:flip4,pos:5,+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:000235,src:000000,op:flip4,pos:20,+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:000236,src:000000,op:flip4,pos:27,+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:000237,src:000000,op:flip4,pos:30 Diff File
add - src/mint/afl-tests/id:000238,src:000000,op:flip4,pos:32 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:000239,src:000000,op:flip4,pos:34,+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:000240,src:000000,op:flip4,pos:35 Diff File
add - src/mint/afl-tests/id:000241,src:000000,op:flip4,pos:30 Diff File
add - src/mint/afl-tests/id:000241,src:000000,op:flip4,pos:36 Diff File
add - src/mint/afl-tests/id:000242,src:000000,op:flip4,pos:32 Diff File
add - src/mint/afl-tests/id:000242,src:000000,op:flip4,pos:39,+cov Diff File
add - src/mint/afl-tests/id:000243,src:000000,op:flip4,pos:37,+cov Diff File
add - src/mint/afl-tests/id:000243,src:000000,op:flip4,pos:44,+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:000244,src:000000,op:flip4,pos:48,+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:000245,src:000000,op:flip4,pos:56,+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:000246,src:000000,op:flip4,pos:59,+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:000247,src:000000,op:flip4,pos:65,+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:000248,src:000000,op:flip4,pos:68,+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:000250,src:000000,op:flip4,pos:73,+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:000251,src:000000,op:flip4,pos:81,+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:000252,src:000000,op:flip4,pos:82,+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:000253,src:000000,op:flip4,pos:85,+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:000254,src:000000,op:flip4,pos:88,+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:000255,src:000000,op:flip4,pos:91,+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:000256,src:000000,op:flip4,pos:94,+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:000257,src:000000,op:flip4,pos:95,+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:000258,src:000000,op:flip4,pos:95,+cov Diff File
add - src/mint/afl-tests/id:000259,src:000000,op:flip4,pos:114 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:000260,src:000000,op:flip4,pos:137,+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:000261,src:000000,op:flip4,pos:147,+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:000262,src:000000,op:flip4,pos:164,+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:000263,src:000000,op:flip4,pos:169,+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:000264,src:000000,op:flip4,pos:172,+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:000265,src:000000,op:flip4,pos:175,+cov Diff File
add - src/mint/afl-tests/id:000266,src:000000,op:flip4,pos:176,+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:179,+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:183,+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:262,+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:276,+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:000271,src:000000,op:flip4,pos:307,+cov Diff File
add - src/mint/afl-tests/id:000272,src:000000,op:flip4,pos:314,+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:318,+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:flip4,pos:331,+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:43,+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:190,+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:flip16,pos:51,+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:flip16,pos:219,+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:flip32,pos:55,+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:flip32,pos:68,+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:arith8,pos:4,val:-19 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:arith8,pos:4,val:-22 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:arith8,pos:5,val:-10,+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:arith8,pos:5,val:-34 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:arith8,pos:6,val:-34,+cov 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:arith8,pos:11,val:-34 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:15,val:-10,+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:22,val:+5,+cov 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:24,val:+10,+cov 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:25,val:-6,+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:25,val:-25,+cov 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:25,val:-29,+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:000294,src:000000,op:arith8,pos:26,val:+12,+cov 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:000295,src:000000,op:arith8,pos:26,val:+17,+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:000296,src:000000,op:arith8,pos:27,val:-29,+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:000297,src:000000,op:arith8,pos:27,val:+33,+cov Diff File
add - src/mint/afl-tests/id:000298,src:000000,op:arith8,pos:28,val:+13,+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:-15,+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:+27,+cov 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:28,val:-31,+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:29,val:-29,+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:+18,+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:+19,+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:31,val:-29,+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:31,val:-33,+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:31,val:+34,+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:32,val:+10,+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:32,val:-20,+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:33,val:+20,+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:33,val:+24,+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:34,val:-3,+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:34,val:+18,+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:34,val:-30,+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:35,val:+17,+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:35,val:-19,+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:36,val:-26,+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:36,val:+27,+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:36,val:+32,+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:37,val:-9,+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:37,val:+21 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:37,val:+24,+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:39,val:+13,+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:39,val:-23,+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:40,val:+20,+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:40,val:+27,+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:000327,src:000000,op:arith8,pos:42,val:+29,+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:000328,src:000000,op:arith8,pos:43,val:-33,+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:000329,src:000000,op:arith8,pos:44,val:+17,+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:000330,src:000000,op:arith8,pos:45,val:-5,+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:000331,src:000000,op:arith8,pos:45,val:-11,+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:000332,src:000000,op:arith8,pos:45,val:+19,+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:000333,src:000000,op:arith8,pos:51,val:-12,+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:000334,src:000000,op:arith8,pos:51,val:+14,+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:000335,src:000000,op:arith8,pos:51,val:-22,+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:000336,src:000000,op:arith8,pos:51,val:-23,+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:000337,src:000000,op:arith8,pos:52,val:-14,+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:000338,src:000000,op:arith8,pos:52,val:+28,+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:000339,src:000000,op:arith8,pos:53,val:+9,+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:000340,src:000000,op:arith8,pos:53,val:-11,+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:000341,src:000000,op:arith8,pos:53,val:-17,+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:000342,src:000000,op:arith8,pos:53,val:-18,+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:000343,src:000000,op:arith8,pos:53,val:-35,+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:000344,src:000000,op:arith8,pos:54,val:-15,+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:000345,src:000000,op:arith8,pos:54,val:-22,+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:000346,src:000000,op:arith8,pos:55,val:-7 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:000347,src:000000,op:arith8,pos:55,val:-33,+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:000348,src:000000,op:arith8,pos:55,val:-35,+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:000349,src:000000,op:arith8,pos:57,val:-14,+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:000350,src:000000,op:arith8,pos:57,val:+28,+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:000351,src:000000,op:arith8,pos:57,val:-29,+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:000352,src:000000,op:arith8,pos:58,val:-29,+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:000353,src:000000,op:arith8,pos:59,val:+10,+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:000354,src:000000,op:arith8,pos:59,val:+23,+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:000355,src:000000,op:arith8,pos:62,val:+9,+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:000356,src:000000,op:arith8,pos:62,val:-21,+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:000357,src:000000,op:arith8,pos:62,val:-23,+cov 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:000358,src:000000,op:arith8,pos:62,val:-35,+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:000359,src:000000,op:arith8,pos:63,val:+3,+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:000360,src:000000,op:arith8,pos:64,val:-5,+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:000361,src:000000,op:arith8,pos:64,val:-26,+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:000362,src:000000,op:arith8,pos:65,val:-10,+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:000363,src:000000,op:arith8,pos:65,val:-27,+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:000364,src:000000,op:arith8,pos:65,val:-30,+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:000365,src:000000,op:arith8,pos:66,val:+13,+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:000366,src:000000,op:arith8,pos:67,val:-9 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:000367,src:000000,op:arith8,pos:67,val:+15,+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:000368,src:000000,op:arith8,pos:67,val:-35 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:000369,src:000000,op:arith8,pos:72,val:+30,+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:000370,src:000000,op:arith8,pos:72,val:-35,+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:000371,src:000000,op:arith8,pos:74,val:+5,+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:000372,src:000000,op:arith8,pos:75,val:-23,+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:000373,src:000000,op:arith8,pos:75,val:+28,+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:000374,src:000000,op:arith8,pos:76,val:-5,+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:000375,src:000000,op:arith8,pos:76,val:-20,+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:000376,src:000000,op:arith8,pos:77,val:-5,+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:000377,src:000000,op:arith8,pos:77,val:+25,+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:000378,src:000000,op:arith8,pos:80,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:000379,src:000000,op:arith8,pos:81,val:+20,+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:000380,src:000000,op:arith8,pos:82,val:-5,+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:000381,src:000000,op:arith8,pos:83,val:-18,+cov 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:000382,src:000000,op:arith8,pos:84,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:000383,src:000000,op:arith8,pos:84,val:-30,+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:000384,src:000000,op:arith8,pos:84,val:+34,+cov 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:000385,src:000000,op:arith8,pos:86,val:-9,+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:000386,src:000000,op:arith8,pos:86,val:-19,+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:000387,src:000000,op:arith8,pos:87,val:+10,+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:000388,src:000000,op:arith8,pos:87,val:+15,+cov 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:000389,src:000000,op:arith8,pos:87,val:-26,+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:000390,src:000000,op:arith8,pos:88,val:+9,+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:000391,src:000000,op:arith8,pos:88,val:+25 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:000392,src:000000,op:arith8,pos:88,val:+26,+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:000393,src:000000,op:arith8,pos:90,val:-33,+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:000394,src:000000,op:arith8,pos:91,val:-14,+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:000395,src:000000,op:arith8,pos:91,val:+24 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:000396,src:000000,op:arith8,pos:92,val:+11,+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:000397,src:000000,op:arith8,pos:92,val:-23,+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:000398,src:000000,op:arith8,pos:93,val:+19,+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:000399,src:000000,op:arith8,pos:93,val:-25,+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:000400,src:000000,op:arith8,pos:93,val:+35,+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:000401,src:000000,op:arith8,pos:96,val:-5,+cov 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:000402,src:000000,op:arith8,pos:96,val:+32,+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:000403,src:000000,op:arith8,pos:96,val:-34,+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:000404,src:000000,op:arith8,pos:98,val:-34,+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:000405,src:000000,op:arith8,pos:98,val:-35 Diff File
add - src/mint/afl-tests/id:000406,src:000000,op:arith8,pos:113,val:-19 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:113,val:-22 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:121,val:-13,+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:135,val:+23,+cov 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:136,val:-9,+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:136,val:-21,+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:137,val:+8,+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:137,val:-11 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:137,val:-19,+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:138,val:+3,+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:138,val:-12,+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:139,val:-10,+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:139,val:-26,+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:143,val:+21,+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:145,val:+15,+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:146,val:-14,+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:148,val:+28,+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:000423,src:000000,op:arith8,pos:151,val:-35,+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:000424,src:000000,op:arith8,pos:152,val:-12,+cov 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:000425,src:000000,op:arith8,pos:152,val:+27,+cov 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:000426,src:000000,op:arith8,pos:152,val:+31,+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:000427,src:000000,op:arith8,pos:153,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:000428,src:000000,op:arith8,pos:154,val:+7,+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:000429,src:000000,op:arith8,pos:156,val:+18,+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:000430,src:000000,op:arith8,pos:156,val:+28,+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:000431,src:000000,op:arith8,pos:159,val:-30,+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:000432,src:000000,op:arith8,pos:160,val:-31,+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:000433,src:000000,op:arith8,pos:161,val:+5,+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:000434,src:000000,op:arith8,pos:161,val:-11,+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:000435,src:000000,op:arith8,pos:162,val:+22 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:000436,src:000000,op:arith8,pos:163,val:+19,+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:000437,src:000000,op:arith8,pos:164,val:+27,+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:000438,src:000000,op:arith8,pos:166,val:+13,+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:000439,src:000000,op:arith8,pos:167,val:+33,+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:000440,src:000000,op:arith8,pos:168,val:-17,+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:000441,src:000000,op:arith8,pos:168,val:+29,+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:000442,src:000000,op:arith8,pos:168,val:+30,+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:000443,src:000000,op:arith8,pos:171,val:+22,+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:000444,src:000000,op:arith8,pos:171,val:+25,+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:000445,src:000000,op:arith8,pos:172,val:-13,+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:000446,src:000000,op:arith8,pos:172,val:+19,+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:000447,src:000000,op:arith8,pos:173,val:-15,+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:000448,src:000000,op:arith8,pos:174,val:+23,+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:000449,src:000000,op:arith8,pos:174,val:+33,+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:000450,src:000000,op:arith8,pos:176,val:+20,+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:000451,src:000000,op:arith8,pos:177,val:+33,+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:000452,src:000000,op:arith8,pos:181,val:+12,+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:000453,src:000000,op:arith8,pos:181,val:+21 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:000454,src:000000,op:arith8,pos:181,val:+25,+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:000455,src:000000,op:arith8,pos:183,val:-3 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:000456,src:000000,op:arith8,pos:184,val:-13 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:000457,src:000000,op:arith8,pos:184,val:-34,+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:000458,src:000000,op:arith8,pos:185,val:-6,+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:000459,src:000000,op:arith8,pos:185,val:+14,+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:000460,src:000000,op:arith8,pos:185,val:+29,+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:000461,src:000000,op:arith8,pos:186,val:+23,+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:000462,src:000000,op:arith8,pos:191,val:-26,+cov 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:000463,src:000000,op:arith8,pos:196,val:-18,+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:000464,src:000000,op:arith8,pos:203,val:+22,+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:000465,src:000000,op:arith8,pos:225,val:-6,+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:000466,src:000000,op:arith8,pos:241,val:-26,+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:000467,src:000000,op:arith8,pos:268,val:-4,+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:000468,src:000000,op:arith8,pos:268,val:+7,+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:000469,src:000000,op:arith8,pos:269,val:+11,+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:000470,src:000000,op:arith8,pos:272,val:+29,+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:000471,src:000000,op:arith8,pos:273,val:+29,+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:000472,src:000000,op:arith8,pos:274,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:000473,src:000000,op:arith8,pos:276,val:+9,+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:000474,src:000000,op:arith8,pos:276,val:+19,+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:000475,src:000000,op:arith8,pos:277,val:+35,+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:000476,src:000000,op:arith8,pos:278,val:+5,+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:000477,src:000000,op:arith8,pos:305,val:+14,+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:000478,src:000000,op:arith8,pos:306,val:-20,+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:000479,src:000000,op:arith8,pos:314,val:-17,+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:000480,src:000000,op:arith8,pos:315,val:-17,+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:000481,src:000000,op:arith8,pos:315,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:000482,src:000000,op:arith8,pos:315,val:-29,+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:000483,src:000000,op:arith8,pos:316,val:+14,+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:000484,src:000000,op:arith8,pos:316,val:+17,+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:000485,src:000000,op:arith8,pos:316,val:-23,+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:000486,src:000000,op:arith8,pos:317,val:-30,+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:000487,src:000000,op:arith8,pos:319,val:-7,+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:000488,src:000000,op:arith8,pos:319,val:+9,+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:000489,src:000000,op:arith8,pos:320,val:-7,+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:000490,src:000000,op:arith8,pos:320,val:-25,+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:000491,src:000000,op:arith8,pos:321,val:+11,+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:000492,src:000000,op:arith8,pos:321,val:-24,+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:000493,src:000000,op:arith8,pos:322,val:-21,+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:000494,src:000000,op:arith8,pos:326,val:-20,+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:000495,src:000000,op:arith8,pos:328,val:+27,+cov 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:000496,src:000000,op:arith8,pos:328,val:-27,+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:000497,src:000000,op:arith8,pos:329,val:+5,+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:000498,src:000000,op:arith8,pos:329,val:-24,+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:000499,src:000000,op:arith8,pos:330,val:-3,+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:000500,src:000000,op:arith8,pos:331,val:-14,+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:000501,src:000000,op:arith8,pos:332,val:-15,+cov Diff File
add - src/mint/afl-tests/id:000502,src:000000,op:arith16,pos:33,val:-12,+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:arith16,pos:65,val:be:-27,+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:000504,src:000000,op:int8,pos:6,val:+0 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:000505,src:000000,op:int8,pos:7,val:+0 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:000506,src:000000,op:int8,pos:9,val:+0 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:000507,src:000000,op:int8,pos:26,val:+32,+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:000508,src:000000,op:int8,pos:27,val:+127,+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:000509,src:000000,op:int8,pos:34,val:+0,+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:000510,src:000000,op:int8,pos:40,val:+0,+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:000511,src:000000,op:int8,pos:40,val:+32 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:000512,src:000000,op:int8,pos:46,val:+1,+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:000513,src:000000,op:int8,pos:51,val:+1 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:000514,src:000000,op:int8,pos:52,val:-128,+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:000515,src:000000,op:int8,pos:53,val:-1,+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:000516,src:000000,op:int8,pos:69,val:+32,+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:000517,src:000000,op:int8,pos:70,val:+32,+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:000518,src:000000,op:int8,pos:71,val:+64,+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:000519,src:000000,op:int8,pos:74,val:-1,+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:000520,src:000000,op:int8,pos:115,val:+0,+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:000521,src:000000,op:int8,pos:188,val:+1,+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:000522,src:000000,op:int8,pos:276,val:+100,+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:000523,src:000000,op:int8,pos:307,val:+32,+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:000524,src:000000,op:int8,pos:313,val:+64,+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:000525,src:000000,op:int8,pos:314,val:-1,+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:000526,src:000000,op:int8,pos:322,val:+32,+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:000527,src:000000,op:int16,pos:25,val:be:+100,+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:000528,src:000000,op:int16,pos:29,val:-1,+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:000529,src:000000,op:int16,pos:32,val:+32767,+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:000530,src:000000,op:int16,pos:41,val:-128,+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:000531,src:000000,op:int16,pos:41,val:+32,+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:000532,src:000000,op:int16,pos:42,val:+64,+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:000533,src:000000,op:int16,pos:47,val:+128,+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:000534,src:000000,op:int16,pos:48,val:be:+1000,+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:000535,src:000000,op:int16,pos:50,val:+16,+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:000536,src:000000,op:int16,pos:50,val:be:+1024,+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:000537,src:000000,op:int16,pos:52,val:-129,+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:000538,src:000000,op:int16,pos:52,val:+128,+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:000539,src:000000,op:int16,pos:52,val:be:+255,+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:000540,src:000000,op:int16,pos:53,val:+0,+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:000541,src:000000,op:int16,pos:54,val:+1,+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:000542,src:000000,op:int16,pos:69,val:-129,+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:000543,src:000000,op:int16,pos:74,val:be:-128,+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:000544,src:000000,op:int16,pos:78,val:be:+127,+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:000545,src:000000,op:int16,pos:81,val:+32767,+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:000546,src:000000,op:int16,pos:83,val:+127,+cov 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:000547,src:000000,op:int16,pos:86,val:+4096,+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:000548,src:000000,op:int16,pos:87,val:+16,+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:000549,src:000000,op:int16,pos:87,val:-32768,+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:000550,src:000000,op:int16,pos:90,val:+256,+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:000551,src:000000,op:int16,pos:91,val:+32,+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:000552,src:000000,op:int16,pos:91,val:-129,+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:000553,src:000000,op:int16,pos:93,val:+0,+cov Diff File
add - src/mint/afl-tests/id:000554,src:000000,op:int16,pos:94,val:be:+64,+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:int16,pos:94,val:be:+100,+cov 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:int16,pos:232,val:+1,+cov 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:int16,pos:254,val:+256,+cov 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:int16,pos:262,val:+1000,+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:int16,pos:303,val:+128,+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:int32,pos:3,val:be:+1000 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:int32,pos:28,val:+32768,+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:int32,pos:29,val:-128,+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:int32,pos:33,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:int32,pos:33,val:+1024,+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:int32,pos:33,val:be:-32769,+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:000566,src:000000,op:int32,pos:39,val:be:+255,+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:000567,src:000000,op:int32,pos:40,val:+32767,+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:000568,src:000000,op:int32,pos:41,val:+16,+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:000569,src:000000,op:int32,pos:41,val:+1024,+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:000570,src:000000,op:int32,pos:44,val:-32769,+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:000571,src:000000,op:int32,pos:45,val:be:+1024,+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:000572,src:000000,op:int32,pos:48,val:+256,+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:000573,src:000000,op:int32,pos:53,val:+32768,+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:000574,src:000000,op:int32,pos:54,val:be:-32768,+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:000575,src:000000,op:int32,pos:54,val:-32769,+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:000576,src:000000,op:int32,pos:54,val:+2147483647,+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:000577,src:000000,op:int32,pos:63,val:-1,+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:000578,src:000000,op:int32,pos:64,val:-128,+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:000579,src:000000,op:int32,pos:69,val:+128,+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:000580,src:000000,op:int32,pos:80,val:+1024,+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:000581,src:000000,op:int32,pos:80,val:+65535,+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:000582,src:000000,op:int32,pos:82,val:be:+16,+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:000583,src:000000,op:int32,pos:83,val:+100,+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:000584,src:000000,op:int32,pos:84,val:+32,+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:000585,src:000000,op:int32,pos:84,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:000586,src:000000,op:int32,pos:87,val:be:-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:000587,src:000000,op:int32,pos:88,val:be:-32769,+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:000588,src:000000,op:int32,pos:89,val:-128,+cov 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:000589,src:000000,op:int32,pos:92,val:+32767,+cov Diff File
add - src/mint/afl-tests/id:000590,src:000000,op:int32,pos:164,val:+256,+cov 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:178,val:be:-32769,+cov 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:232,val:be:+65535,+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:000593,src:000000,op:int32,pos:313,val:+1,+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:000594,src:000000,op:int32,pos:333,val:be:+255,+cov Diff File
add - src/mint/afl-tests/id:000595,src:000000,op:ext_AO,pos:26,+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:ext_AO,pos:43,+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:ext_AO,pos:49,+cov 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:ext_AO,pos:52,+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:ext_AO,pos:56,+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:ext_AO,pos:64,+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:ext_AO,pos:65,+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:ext_AO,pos:65,+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:ext_AO,pos:69,+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:ext_AO,pos:69,+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:ext_AO,pos:72,+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:ext_AO,pos:72,+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:ext_AO,pos:76,+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:ext_AO,pos:81,+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:ext_AO,pos:90,+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:ext_AO,pos:111,+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:ext_AO,pos:135,+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:ext_AO,pos:135,+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:ext_AO,pos:135,+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:ext_AO,pos:135,+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:ext_AO,pos:135,+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:ext_AO,pos:136,+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:ext_AO,pos:136,+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:ext_AO,pos:137,+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:ext_AO,pos:137,+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:ext_AO,pos:138,+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:ext_AO,pos:142,+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:ext_AO,pos:143,+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:ext_AO,pos:144,+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:ext_AO,pos:144,+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:ext_AO,pos:145,+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:ext_AO,pos:146,+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:ext_AO,pos:146,+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:ext_AO,pos:147,+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:147,+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:148,+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:148 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:149,+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:152,+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:154 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:155,+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:156,+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:157 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:159,+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:161,+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:166,+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:168,+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:000642,src:000000,op:ext_AO,pos:169,+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:000643,src:000000,op:ext_AO,pos:173,+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:000644,src:000000,op:ext_AO,pos:174,+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:000645,src:000000,op:ext_AO,pos:174,+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:000646,src:000000,op:ext_AO,pos:184,+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:000647,src:000000,op:ext_AO,pos:191,+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:000648,src:000000,op:ext_AO,pos:216,+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:000649,src:000000,op:ext_AO,pos:236,+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:000650,src:000000,op:ext_AO,pos:270,+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:000651,src:000000,op:ext_AO,pos:270,+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:000652,src:000000,op:ext_AO,pos:272,+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:000653,src:000000,op:ext_AO,pos:283,+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:000654,src:000000,op:ext_AO,pos:305,+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:000655,src:000000,op:ext_AO,pos:305,+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:000656,src:000000,op:ext_AO,pos:313,+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:000657,src:000000,op:ext_AO,pos:315,+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:000658,src:000000,op:ext_AO,pos:326 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:000659,src:000000,op:havoc,rep:4 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:000660,src:000000,op:havoc,rep:32 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:000661,src:000000,op:havoc,rep:4 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:000662,src:000000,op:havoc,rep:128 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:000663,src:000000,op:havoc,rep:32 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:000664,src:000000,op:havoc,rep:128 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:000665,src:000000,op:havoc,rep:16,+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:000666,src:000000,op:havoc,rep:64 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:000667,src:000000,op:havoc,rep:16 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:000668,src:000000,op:havoc,rep:128 Diff File
add - src/mint/afl-tests/id:000669,src:000000,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000669,src:000000,op:havoc,rep:64 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:16 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:000672,src:000000,op:havoc,rep:32 Diff File
add - src/mint/afl-tests/id:000673,src:000000,op:havoc,rep:128 Diff File
add - src/mint/afl-tests/id:000673,src:000000,op:havoc,rep:16 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:000675,src:000000,op:havoc,rep:8 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:64 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:000678,src:000000,op:havoc,rep:4 Diff File
add - src/mint/afl-tests/id:000679,src:000000,op:havoc,rep:128 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:128,+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:16 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:000682,src:000000,op:havoc,rep:64,+cov Diff File
add - src/mint/afl-tests/id:000683,src:000000,op:havoc,rep:16,+cov Diff File
add - src/mint/afl-tests/id:000683,src:000000,op:havoc,rep:32,+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:000684,src:000000,op:havoc,rep:8 Diff File
add - src/mint/afl-tests/id:000685,src:000000,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000685,src:000000,op:havoc,rep:16,+cov Diff File
add - src/mint/afl-tests/id:000686,src:000000,op:havoc,rep:128,+cov Diff File
add - src/mint/afl-tests/id:000686,src:000000,op:havoc,rep:16,+cov Diff File
add - src/mint/afl-tests/id:000687,src:000000,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000687,src:000000,op:havoc,rep:32,+cov 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:000689,src:000000,op:havoc,rep:64,+cov Diff File
add - src/mint/afl-tests/id:000690,src:000000,op:havoc,rep:32 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:000693,src:000000,op:havoc,rep:4,+cov Diff File
add - src/mint/afl-tests/id:000694,src:000000,op:havoc,rep:2,+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:128,+cov 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:000696,src:000000,op:havoc,rep:2,+cov Diff File
add - src/mint/afl-tests/id:000697,src:000000,op:havoc,rep:64,+cov 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:2,+cov 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:128,+cov 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:16,+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:128 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:000703,src:000001,op:flip1,pos:34,+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:000704,src:000001,op:flip1,pos:50,+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:000705,src:000001,op:flip1,pos:61,+cov Diff File
add - src/mint/afl-tests/id:000706,src:000000,op:havoc,rep:32 Diff File
add - src/mint/afl-tests/id:000706,src:000001,op:flip1,pos:91 Diff File
add - src/mint/afl-tests/id:000707,src:000000,op:havoc,rep:128,+cov Diff File
add - src/mint/afl-tests/id:000707,src:000001,op:flip1,pos:103,+cov Diff File
add - src/mint/afl-tests/id:000708,src:000000,op:havoc,rep:2 Diff File
add - src/mint/afl-tests/id:000708,src:000001,op:flip1,pos:120,+cov Diff File
add - src/mint/afl-tests/id:000709,src:000000,op:havoc,rep:64 Diff File
add - src/mint/afl-tests/id:000709,src:000001,op:flip1,pos:129,+cov Diff File
add - src/mint/afl-tests/id:000710,src:000000,op:havoc,rep:8,+cov Diff File
add - src/mint/afl-tests/id:000710,src:000001,op:flip1,pos:129,+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:000711,src:000001,op:flip1,pos:131,+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:000712,src:000001,op:flip1,pos:139,+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:000713,src:000001,op:flip1,pos:197,+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:000714,src:000001,op:flip1,pos:243,+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:000715,src:000001,op:flip1,pos:365,+cov Diff File
add - src/mint/afl-tests/id:000716,src:000001,op:flip1,pos:2 Diff File
add - src/mint/afl-tests/id:000716,src:000001,op:flip1,pos:456,+cov Diff File
add - src/mint/afl-tests/id:000717,src:000001,op:flip1,pos:50,+cov Diff File
add - src/mint/afl-tests/id:000717,src:000001,op:flip1,pos:596 Diff File
add - src/mint/afl-tests/id:000718,src:000001,op:flip1,pos:55,+cov Diff File
add - src/mint/afl-tests/id:000718,src:000001,op:flip1,pos:614,+cov Diff File
add - src/mint/afl-tests/id:000719,src:000001,op:flip1,pos:629,+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:000720,src:000001,op:flip1,pos:635,+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:000721,src:000001,op:flip1,pos:683,+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:000722,src:000001,op:flip1,pos:730,+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:000723,src:000001,op:flip1,pos:786,+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:000724,src:000001,op:flip1,pos:796 Diff File
add - src/mint/afl-tests/id:000725,src:000001,op:flip1,pos:133,+cov Diff File
add - src/mint/afl-tests/id:000725,src:000001,op:flip1,pos:915,+cov Diff File
add - src/mint/afl-tests/id:000726,src:000001,op:flip1,pos:1112,+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:1112,+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:1114,+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:1215,+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:1353,+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:1453,+cov 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:1574,+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:1630 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:000734,src:000001,op:flip2,pos:453,+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:000735,src:000001,op:flip2,pos:484,+cov Diff File
add - src/mint/afl-tests/id:000736,src:000001,op:flip1,pos:800 Diff File
add - src/mint/afl-tests/id:000736,src:000001,op:flip2,pos:696,+cov Diff File
add - src/mint/afl-tests/id:000737,src:000001,op:flip1,pos:888,+cov Diff File
add - src/mint/afl-tests/id:000737,src:000001,op:flip2,pos:843,+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:000738,src:000001,op:flip2,pos:845,+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:000739,src:000001,op:flip2,pos:917,+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:000740,src:000001,op:flip2,pos:995,+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:000741,src:000001,op:flip2,pos:1031,+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:000742,src:000001,op:flip2,pos:1135,+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:000743,src:000001,op:flip2,pos:1286,+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:000744,src:000001,op:flip2,pos:1655,+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:000745,src:000001,op:flip4,pos:50,+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:000746,src:000001,op:flip4,pos:122,+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:000747,src:000001,op:flip4,pos:351,+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:000748,src:000001,op:flip4,pos:569,+cov Diff File
add - src/mint/afl-tests/id:000749,src:000001,op:flip1,pos:1634 Diff File
add - src/mint/afl-tests/id:000749,src:000001,op:flip4,pos:788,+cov Diff File
add - src/mint/afl-tests/id:000750,src:000001,op:flip1,pos:1657,+cov Diff File
add - src/mint/afl-tests/id:000750,src:000001,op:flip4,pos:1198,+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:000751,src:000001,op:flip8,pos:67,+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:000752,src:000001,op:flip8,pos:1661,+cov Diff File
add - src/mint/afl-tests/id:000753,src:000001,op:flip16,pos:390,+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:000754,src:000001,op:flip32,pos:339,+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:000755,src:000001,op:flip32,pos:975,+cov Diff File
add - src/mint/afl-tests/id:000756,src:000001,op:arith8,pos:10,val:-30,+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:arith8,pos:46,val:+9,+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:arith8,pos:72,val:+5,+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:000759,src:000002,op:flip1,pos:30 Diff File
add - src/mint/afl-tests/id:000760,src:000001,op:flip4,pos:300,+cov Diff File
add - src/mint/afl-tests/id:000760,src:000002,op:flip1,pos:50 Diff File
add - src/mint/afl-tests/id:000761,src:000001,op:flip4,pos:457,+cov Diff File
add - src/mint/afl-tests/id:000761,src:000002,op:flip1,pos:50,+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:000762,src:000002,op:flip1,pos:63 Diff File
add - src/mint/afl-tests/id:000763,src:000001,op:flip4,pos:1549,+cov Diff File
add - src/mint/afl-tests/id:000763,src:000002,op:flip1,pos:76 Diff File
add - src/mint/afl-tests/id:000764,src:000001,op:flip4,pos:1577,+cov Diff File
add - src/mint/afl-tests/id:000764,src:000002,op:flip1,pos:135 Diff File
add - src/mint/afl-tests/id:000765,src:000001,op:flip8,pos:899,+cov Diff File
add - src/mint/afl-tests/id:000765,src:000002,op:flip1,pos:143,+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:000766,src:000002,op:flip4,pos:8,+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:000767,src:000002,op:flip4,pos:117,+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:000768,src:000002,op:arith8,pos:11,val:-1,+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:000769,src:000002,op:arith8,pos:20,val:+13,+cov Diff File
add - src/mint/afl-tests/id:000770,src:000002,op:arith8,pos:34,val:-6,+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:arith8,pos:105,val:+35,+cov 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:arith8,pos:109,val:-35 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:arith8,pos:131,val:+5,+cov 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:arith8,pos:137,val:+9,+cov 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:arith16,pos:55,val:-29,+cov 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:000776,src:000002,op:int16,pos:27,val:+16,+cov Diff File
add - src/mint/afl-tests/id:000777,src:000002,op:flip2,pos:56,+cov Diff File
add - src/mint/afl-tests/id:000777,src:000002,op:int16,pos:96,val:+32 Diff File
add - src/mint/afl-tests/id:000778,src:000002,op:flip2,pos:113,+cov Diff File
add - src/mint/afl-tests/id:000778,src:000002,op:int32,pos:53,val:be:+32767,+cov Diff File
add - src/mint/afl-tests/id:000779,src:000002,op:ext_AO,pos:22,+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:000780,src:000002,op:ext_AO,pos:130,+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:000781,src:000002,op:havoc,rep:8 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:000782,src:000002,op:havoc,rep:2 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:000783,src:000002,op:havoc,rep:4 Diff File
add - src/mint/afl-tests/id:000784,src:000002,op:havoc,rep:64,+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:havoc,rep:64 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:havoc,rep:16 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:havoc,rep:64 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:havoc,rep:16 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:havoc,rep:16 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:000790,src:000002,op:havoc,rep:64 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:000791,src:000002,op:havoc,rep:4 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:000792,src:000002,op:havoc,rep:8 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:000793,src:000002,op:havoc,rep:64 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:000794,src:000002,op:havoc,rep:64 Diff File
add - src/mint/afl-tests/id:000795,src:000002,op:havoc,rep:4 Diff File
add - src/mint/afl-tests/id:000795,src:000002,op:havoc,rep:8 Diff File
add - src/mint/afl-tests/id:000796,src:000002,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000796,src:000002,op:havoc,rep:32,+cov Diff File
add - src/mint/afl-tests/id:000797,src:000002,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000797,src:000002,op:havoc,rep:2 Diff File
add - src/mint/afl-tests/id:000798,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:000799,src:000002,op:havoc,rep:64 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:000801,src:000002,op:havoc,rep:64 Diff File
add - src/mint/afl-tests/id:000802,src:000002,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000802,src:000002,op:havoc,rep:4 Diff File
add - src/mint/afl-tests/id:000803,src:000002,op:havoc,rep:128,+cov 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:000804,src:000002,op:havoc,rep:64 Diff File
add - src/mint/afl-tests/id:000805,src:000002,op:havoc,rep:4 Diff File
add - src/mint/afl-tests/id:000805,src:000003,op:flip1,pos:0,+cov Diff File
add - src/mint/afl-tests/id:000806,src:000002,op:havoc,rep:32 Diff File
add - src/mint/afl-tests/id:000806,src:000003,op:flip1,pos:13,+cov Diff File
add - src/mint/afl-tests/id:000807,src:000002,op:havoc,rep:128 Diff File
add - src/mint/afl-tests/id:000807,src:000003,op:flip1,pos:18,+cov Diff File
add - src/mint/afl-tests/id:000808,src:000002,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000808,src:000003,op:flip1,pos:27,+cov Diff File
add - src/mint/afl-tests/id:000809,src:000002,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000809,src:000003,op:flip1,pos:27,+cov Diff File
add - src/mint/afl-tests/id:000810,src:000002,op:havoc,rep:32,+cov Diff File
add - src/mint/afl-tests/id:000810,src:000003,op:flip1,pos:30,+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:000811,src:000003,op:flip1,pos:30,+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:000812,src:000003,op:flip1,pos:32,+cov Diff File
add - src/mint/afl-tests/id:000813,src:000002,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000813,src:000003,op:flip1,pos:34,+cov Diff File
add - src/mint/afl-tests/id:000814,src:000002,op:havoc,rep:16,+cov Diff File
add - src/mint/afl-tests/id:000814,src:000003,op:flip1,pos:40,+cov Diff File
add - src/mint/afl-tests/id:000815,src:000002,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000815,src:000003,op:flip1,pos:42,+cov Diff File
add - src/mint/afl-tests/id:000816,src:000002,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000816,src:000003,op:flip1,pos:43,+cov Diff File
add - src/mint/afl-tests/id:000817,src:000002,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000817,src:000003,op:flip1,pos:48,+cov Diff File
add - src/mint/afl-tests/id:000818,src:000002,op:havoc,rep:16 Diff File
add - src/mint/afl-tests/id:000818,src:000003,op:flip1,pos:50,+cov Diff File
add - src/mint/afl-tests/id:000819,src:000002,op:havoc,rep:16,+cov Diff File
add - src/mint/afl-tests/id:000819,src:000003,op:flip1,pos:61,+cov Diff File
add - src/mint/afl-tests/id:000820,src:000002,op:havoc,rep:2 Diff File
add - src/mint/afl-tests/id:000820,src:000003,op:flip1,pos:67,+cov Diff File
add - src/mint/afl-tests/id:000821,src:000003,op:flip1,pos:18,+cov Diff File
add - src/mint/afl-tests/id:000821,src:000003,op:flip1,pos:70 Diff File
add - src/mint/afl-tests/id:000822,src:000003,op:flip1,pos:27,+cov Diff File
add - src/mint/afl-tests/id:000822,src:000003,op:flip1,pos:73,+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:000823,src:000003,op:flip1,pos:77,+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:000824,src:000003,op:flip1,pos:83,+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:000825,src:000003,op:flip1,pos:85,+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:000826,src:000003,op:flip1,pos:85,+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:000827,src:000003,op:flip1,pos:88,+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:000828,src:000003,op:flip1,pos:89 Diff File
add - src/mint/afl-tests/id:000829,src:000003,op:flip1,pos:29,+cov Diff File
add - src/mint/afl-tests/id:000829,src:000003,op:flip1,pos:91,+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:000830,src:000003,op:flip1,pos:93,+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:000831,src:000003,op:flip1,pos:93,+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:000832,src:000003,op:flip1,pos:97,+cov Diff File
add - src/mint/afl-tests/id:000833,src:000003,op:flip1,pos:109,+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:111,+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:113,+cov 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:114,+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:119,+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:120,+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:128,+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:141,+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:145,+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:147,+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:150,+cov 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:150,+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:000845,src:000003,op:flip2,pos:65,+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:000846,src:000003,op:flip2,pos:84,+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:000847,src:000003,op:flip2,pos:99,+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:000848,src:000003,op:flip2,pos:102,+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:000849,src:000003,op:flip2,pos:115,+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:000850,src:000003,op:flip2,pos:132,+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:000851,src:000003,op:flip2,pos:133,+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:000852,src:000003,op:flip2,pos:139,+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:000853,src:000003,op:flip2,pos:139,+cov Diff File
add - src/mint/afl-tests/id:000854,src:000003,op:flip2,pos:145,+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:147,+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:151,+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:000857,src:000003,op:flip4,pos:110,+cov Diff File
add - src/mint/afl-tests/id:000858,src:000003,op:flip2,pos:35 Diff File
add - src/mint/afl-tests/id:000858,src:000003,op:flip4,pos:120,+cov Diff File
add - src/mint/afl-tests/id:000859,src:000003,op:flip2,pos:37,+cov Diff File
add - src/mint/afl-tests/id:000859,src:000003,op:flip4,pos:123,+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:000860,src:000003,op:flip4,pos:124,+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:000861,src:000003,op:flip4,pos:124,+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:000862,src:000003,op:flip4,pos:124,+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:000863,src:000003,op:flip4,pos:129,+cov Diff File
add - src/mint/afl-tests/id:000864,src:000003,op:flip2,pos:43 Diff File
add - src/mint/afl-tests/id:000864,src:000003,op:flip4,pos:138,+cov Diff File
add - src/mint/afl-tests/id:000865,src:000003,op:flip2,pos:45,+cov Diff File
add - src/mint/afl-tests/id:000865,src:000003,op:flip8,pos:118,+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:000866,src:000003,op:flip8,pos:129,+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:000867,src:000003,op:flip8,pos:130,+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:000868,src:000003,op:flip8,pos:132,+cov Diff File
add - src/mint/afl-tests/id:000869,src:000003,op:arith8,pos:17,val:-31 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:arith8,pos:27,val:+26,+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:arith8,pos:29,val:+11,+cov Diff File
add - src/mint/afl-tests/id:000871,src:000003,op:flip2,pos:68,+cov Diff File
add - src/mint/afl-tests/id:000872,src:000003,op:arith8,pos:29,val:+33 Diff File
add - src/mint/afl-tests/id:000873,src:000003,op:arith8,pos:30,val:-14,+cov Diff File
add - src/mint/afl-tests/id:000874,src:000003,op:arith8,pos:30,val:+28,+cov Diff File
add - src/mint/afl-tests/id:000875,src:000003,op:arith8,pos:35,val:+18,+cov Diff File
add - src/mint/afl-tests/id:000876,src:000003,op:arith8,pos:35,val:+26,+cov Diff File
add - src/mint/afl-tests/id:000877,src:000003,op:arith8,pos:36,val:-23,+cov Diff File
add - src/mint/afl-tests/id:000878,src:000003,op:arith8,pos:37,val:+20,+cov Diff File
add - src/mint/afl-tests/id:000879,src:000003,op:arith8,pos:37,val:-27,+cov Diff File
add - src/mint/afl-tests/id:000880,src:000003,op:arith8,pos:42,val:+31,+cov Diff File
add - src/mint/afl-tests/id:000881,src:000003,op:arith8,pos:46,val:+26,+cov Diff File
add - src/mint/afl-tests/id:000882,src:000003,op:arith8,pos:47,val:-35,+cov Diff File
add - src/mint/afl-tests/id:000883,src:000003,op:arith8,pos:49,val:-2,+cov Diff File
add - src/mint/afl-tests/id:000884,src:000003,op:arith8,pos:51,val:+15,+cov Diff File
add - src/mint/afl-tests/id:000885,src:000003,op:arith8,pos:52,val:+11,+cov Diff File
add - src/mint/afl-tests/id:000886,src:000003,op:arith8,pos:61,val:+34 Diff File
add - src/mint/afl-tests/id:000887,src:000003,op:arith8,pos:62,val:-18,+cov Diff File
add - src/mint/afl-tests/id:000888,src:000003,op:arith8,pos:68,val:+21,+cov Diff File
add - src/mint/afl-tests/id:000889,src:000003,op:arith8,pos:71,val:-12,+cov Diff File
add - src/mint/afl-tests/id:000890,src:000003,op:arith8,pos:75,val:+15,+cov Diff File
add - src/mint/afl-tests/id:000891,src:000003,op:arith8,pos:77,val:+13,+cov Diff File
add - src/mint/afl-tests/id:000892,src:000003,op:arith8,pos:80,val:-17,+cov Diff File
add - src/mint/afl-tests/id:000893,src:000003,op:arith8,pos:80,val:-23,+cov Diff File
add - src/mint/afl-tests/id:000894,src:000003,op:arith8,pos:81,val:-9,+cov Diff File
add - src/mint/afl-tests/id:000895,src:000003,op:arith8,pos:83,val:-18,+cov Diff File
add - src/mint/afl-tests/id:000896,src:000003,op:arith8,pos:83,val:+25,+cov Diff File
add - src/mint/afl-tests/id:000897,src:000003,op:arith8,pos:84,val:-18,+cov Diff File
add - src/mint/afl-tests/id:000898,src:000003,op:arith8,pos:86,val:+11,+cov Diff File
add - src/mint/afl-tests/id:000899,src:000003,op:arith8,pos:86,val:+27,+cov Diff File
add - src/mint/afl-tests/id:000900,src:000003,op:arith8,pos:87,val:-23,+cov Diff File
add - src/mint/afl-tests/id:000901,src:000003,op:arith8,pos:88,val:+35,+cov Diff File
add - src/mint/afl-tests/id:000902,src:000003,op:arith8,pos:89,val:-14,+cov Diff File
add - src/mint/afl-tests/id:000903,src:000003,op:arith8,pos:89,val:-33,+cov Diff File
add - src/mint/afl-tests/id:000904,src:000003,op:arith8,pos:90,val:-25,+cov Diff File
add - src/mint/afl-tests/id:000905,src:000003,op:arith8,pos:92,val:-25,+cov Diff File
add - src/mint/afl-tests/id:000906,src:000003,op:arith8,pos:96,val:+10,+cov Diff File
add - src/mint/afl-tests/id:000907,src:000003,op:arith8,pos:96,val:-19,+cov Diff File
add - src/mint/afl-tests/id:000908,src:000003,op:arith8,pos:96,val:+25,+cov Diff File
add - src/mint/afl-tests/id:000909,src:000003,op:arith8,pos:97,val:-17,+cov Diff File
add - src/mint/afl-tests/id:000910,src:000003,op:arith8,pos:100,val:-15,+cov Diff File
add - src/mint/afl-tests/id:000911,src:000003,op:arith8,pos:102,val:-27,+cov Diff File
add - src/mint/afl-tests/id:000912,src:000003,op:arith8,pos:102,val:-34,+cov Diff File
add - src/mint/afl-tests/id:000913,src:000003,op:arith8,pos:103,val:-9,+cov Diff File
add - src/mint/afl-tests/id:000914,src:000003,op:arith8,pos:103,val:+12 Diff File
add - src/mint/afl-tests/id:000915,src:000003,op:arith8,pos:103,val:+20,+cov Diff File
add - src/mint/afl-tests/id:000916,src:000003,op:arith8,pos:103,val:+22,+cov Diff File
add - src/mint/afl-tests/id:000917,src:000003,op:arith8,pos:103,val:+29,+cov Diff File
add - src/mint/afl-tests/id:000918,src:000003,op:arith8,pos:103,val:+33,+cov Diff File
add - src/mint/afl-tests/id:000919,src:000003,op:arith8,pos:104,val:-10,+cov Diff File
add - src/mint/afl-tests/id:000920,src:000003,op:arith8,pos:104,val:-12,+cov Diff File
add - src/mint/afl-tests/id:000921,src:000003,op:arith8,pos:104,val:+34,+cov Diff File
add - src/mint/afl-tests/id:000922,src:000003,op:arith8,pos:106,val:+5,+cov Diff File
add - src/mint/afl-tests/id:000923,src:000003,op:arith8,pos:106,val:-13,+cov Diff File
add - src/mint/afl-tests/id:000924,src:000003,op:arith8,pos:110,val:+15,+cov Diff File
add - src/mint/afl-tests/id:000925,src:000003,op:arith8,pos:112,val:-13,+cov Diff File
add - src/mint/afl-tests/id:000926,src:000003,op:arith8,pos:113,val:+34,+cov Diff File
add - src/mint/afl-tests/id:000927,src:000003,op:arith8,pos:114,val:+5,+cov Diff File
add - src/mint/afl-tests/id:000928,src:000003,op:arith8,pos:114,val:+26,+cov Diff File
add - src/mint/afl-tests/id:000929,src:000003,op:arith8,pos:114,val:-27,+cov Diff File
add - src/mint/afl-tests/id:000930,src:000003,op:arith8,pos:118,val:-28,+cov Diff File
add - src/mint/afl-tests/id:000931,src:000003,op:arith8,pos:119,val:+12,+cov Diff File
add - src/mint/afl-tests/id:000932,src:000003,op:arith8,pos:119,val:+27,+cov Diff File
add - src/mint/afl-tests/id:000933,src:000003,op:arith8,pos:122,val:-4,+cov Diff File
add - src/mint/afl-tests/id:000934,src:000003,op:arith8,pos:122,val:-26,+cov Diff File
add - src/mint/afl-tests/id:000935,src:000003,op:arith8,pos:122,val:+35,+cov Diff File
add - src/mint/afl-tests/id:000936,src:000003,op:arith8,pos:123,val:-11,+cov Diff File
add - src/mint/afl-tests/id:000937,src:000003,op:arith8,pos:124,val:-14,+cov Diff File
add - src/mint/afl-tests/id:000938,src:000003,op:arith8,pos:128,val:+5,+cov Diff File
add - src/mint/afl-tests/id:000939,src:000003,op:arith8,pos:129,val:+21,+cov Diff File
add - src/mint/afl-tests/id:000940,src:000003,op:arith8,pos:133,val:-7,+cov Diff File
add - src/mint/afl-tests/id:000941,src:000003,op:arith8,pos:133,val:+20,+cov Diff File
add - src/mint/afl-tests/id:000942,src:000003,op:arith8,pos:135,val:-26,+cov Diff File
add - src/mint/afl-tests/id:000943,src:000003,op:arith8,pos:141,val:+1,+cov Diff File
add - src/mint/afl-tests/id:000944,src:000003,op:arith8,pos:143,val:-5,+cov Diff File
add - src/mint/afl-tests/id:000945,src:000003,op:arith8,pos:145,val:+21,+cov Diff File
add - src/mint/afl-tests/id:000946,src:000003,op:arith8,pos:147,val:-9,+cov Diff File
add - src/mint/afl-tests/id:000947,src:000003,op:arith8,pos:147,val:+31,+cov Diff File
add - src/mint/afl-tests/id:000948,src:000003,op:arith8,pos:148,val:+3,+cov Diff File
add - src/mint/afl-tests/id:000949,src:000003,op:arith8,pos:148,val:-11,+cov Diff File
add - src/mint/afl-tests/id:000950,src:000003,op:arith8,pos:149,val:-18,+cov Diff File
add - src/mint/afl-tests/id:000951,src:000003,op:arith8,pos:151,val:-21,+cov Diff File
add - src/mint/afl-tests/id:000952,src:000003,op:arith8,pos:151,val:+26,+cov Diff File
add - src/mint/afl-tests/id:000953,src:000003,op:arith8,pos:151,val:-30,+cov Diff File
add - src/mint/afl-tests/id:000954,src:000003,op:arith16,pos:88,val:-16,+cov Diff File
add - src/mint/afl-tests/id:000955,src:000003,op:arith16,pos:109,val:-19,+cov Diff File
add - src/mint/afl-tests/id:000956,src:000003,op:arith16,pos:109,val:-26,+cov Diff File
add - src/mint/afl-tests/id:000957,src:000003,op:arith16,pos:109,val:-33,+cov Diff File
add - src/mint/afl-tests/id:000958,src:000003,op:arith16,pos:121,val:-34,+cov Diff File
add - src/mint/afl-tests/id:000959,src:000003,op:int8,pos:80,val:+16,+cov Diff File
add - src/mint/afl-tests/id:000960,src:000003,op:int8,pos:83,val:+1,+cov Diff File
add - src/mint/afl-tests/id:000961,src:000003,op:int8,pos:101,val:+64,+cov Diff File
add - src/mint/afl-tests/id:000962,src:000003,op:int8,pos:120,val:-128,+cov Diff File
add - src/mint/afl-tests/id:000963,src:000003,op:int8,pos:139,val:+16,+cov Diff File
add - src/mint/afl-tests/id:000964,src:000003,op:int16,pos:81,val:+127,+cov Diff File
add - src/mint/afl-tests/id:000965,src:000003,op:int16,pos:95,val:+1,+cov Diff File
add - src/mint/afl-tests/id:000966,src:000003,op:int16,pos:97,val:be:+127,+cov Diff File
add - src/mint/afl-tests/id:000967,src:000003,op:int16,pos:98,val:+1,+cov Diff File
add - src/mint/afl-tests/id:000968,src:000003,op:int16,pos:100,val:-1,+cov Diff File
add - src/mint/afl-tests/id:000969,src:000003,op:int16,pos:102,val:be:+127,+cov Diff File
add - src/mint/afl-tests/id:000970,src:000003,op:int16,pos:107,val:-128,+cov Diff File
add - src/mint/afl-tests/id:000971,src:000003,op:int16,pos:108,val:be:+127,+cov Diff File
add - src/mint/afl-tests/id:000972,src:000003,op:int16,pos:109,val:be:+100,+cov Diff File
add - src/mint/afl-tests/id:000973,src:000003,op:int16,pos:125,val:+1000,+cov Diff File
add - src/mint/afl-tests/id:000974,src:000003,op:int16,pos:137,val:be:+32,+cov Diff File
add - src/mint/afl-tests/id:000975,src:000003,op:int16,pos:150,val:be:+255,+cov Diff File
add - src/mint/afl-tests/id:000976,src:000003,op:int32,pos:1,val:be:+65535 Diff File
add - src/mint/afl-tests/id:000977,src:000003,op:int32,pos:54,val:+32768,+cov Diff File
add - src/mint/afl-tests/id:000978,src:000003,op:int32,pos:80,val:be:+32767,+cov Diff File
add - src/mint/afl-tests/id:000979,src:000003,op:int32,pos:84,val:+2147483647 Diff File
add - src/mint/afl-tests/id:000980,src:000003,op:int32,pos:89,val:be:+4096,+cov Diff File
add - src/mint/afl-tests/id:000981,src:000003,op:int32,pos:98,val:-129,+cov Diff File
add - src/mint/afl-tests/id:000982,src:000003,op:int32,pos:99,val:-32769,+cov Diff File
add - src/mint/afl-tests/id:000983,src:000003,op:int32,pos:99,val:+100663045,+cov Diff File
add - src/mint/afl-tests/id:000984,src:000003,op:int32,pos:101,val:+64,+cov Diff File
add - src/mint/afl-tests/id:000985,src:000003,op:int32,pos:102,val:be:+32,+cov Diff File
add - src/mint/afl-tests/id:000986,src:000003,op:int32,pos:105,val:be:+512,+cov Diff File
add - src/mint/afl-tests/id:000987,src:000003,op:int32,pos:106,val:+100,+cov Diff File
add - src/mint/afl-tests/id:000988,src:000003,op:int32,pos:109,val:-100663046,+cov Diff File
add - src/mint/afl-tests/id:000989,src:000003,op:int32,pos:120,val:+255,+cov Diff File
add - src/mint/afl-tests/id:000990,src:000003,op:int32,pos:121,val:+1000,+cov Diff File
add - src/mint/afl-tests/id:000991,src:000003,op:int32,pos:121,val:-100663046,+cov Diff File
add - src/mint/afl-tests/id:000992,src:000003,op:int32,pos:121,val:be:+65535,+cov Diff File
add - src/mint/afl-tests/id:000993,src:000003,op:int32,pos:130,val:+100663045,+cov Diff File
add - src/mint/afl-tests/id:000994,src:000003,op:int32,pos:135,val:be:+32,+cov Diff File
add - src/mint/afl-tests/id:000995,src:000003,op:int32,pos:136,val:be:+127,+cov Diff File
add - src/mint/afl-tests/id:000996,src:000003,op:int32,pos:138,val:+1,+cov Diff File
add - src/mint/afl-tests/id:000997,src:000003,op:int32,pos:147,val:be:+127,+cov Diff File
add - src/mint/afl-tests/id:000998,src:000003,op:ext_AO,pos:29,+cov Diff File
add - src/mint/afl-tests/id:000999,src:000003,op:ext_AO,pos:31,+cov Diff File
add - src/mint/afl-tests/id:001000,src:000003,op:ext_AO,pos:37,+cov Diff File
add - src/mint/afl-tests/id:001001,src:000003,op:ext_AO,pos:40,+cov Diff File
add - src/mint/afl-tests/id:001002,src:000003,op:ext_AO,pos:44,+cov Diff File
add - src/mint/afl-tests/id:001003,src:000003,op:ext_AO,pos:44,+cov Diff File
add - src/mint/afl-tests/id:001004,src:000003,op:ext_AO,pos:51,+cov Diff File
add - src/mint/afl-tests/id:001005,src:000003,op:ext_AO,pos:54,+cov Diff File
add - src/mint/afl-tests/id:001006,src:000003,op:ext_AO,pos:55,+cov Diff File
add - src/mint/afl-tests/id:001007,src:000003,op:ext_AO,pos:61,+cov Diff File
add - src/mint/afl-tests/id:001008,src:000003,op:ext_AO,pos:64,+cov Diff File
add - src/mint/afl-tests/id:001009,src:000003,op:ext_AO,pos:66,+cov Diff File
add - src/mint/afl-tests/id:001010,src:000003,op:ext_AO,pos:67,+cov Diff File
add - src/mint/afl-tests/id:001011,src:000003,op:ext_AO,pos:71,+cov Diff File
add - src/mint/afl-tests/id:001012,src:000003,op:ext_AO,pos:80,+cov Diff File
add - src/mint/afl-tests/id:001013,src:000003,op:ext_AO,pos:84,+cov Diff File
add - src/mint/afl-tests/id:001014,src:000003,op:ext_AO,pos:84,+cov Diff File
add - src/mint/afl-tests/id:001015,src:000003,op:ext_AO,pos:85,+cov Diff File
add - src/mint/afl-tests/id:001016,src:000003,op:ext_AO,pos:86,+cov Diff File
add - src/mint/afl-tests/id:001017,src:000003,op:ext_AO,pos:89,+cov Diff File
add - src/mint/afl-tests/id:001018,src:000003,op:ext_AO,pos:90,+cov Diff File
add - src/mint/afl-tests/id:001019,src:000003,op:ext_AO,pos:90,+cov Diff File
add - src/mint/afl-tests/id:001020,src:000003,op:ext_AO,pos:101,+cov Diff File
add - src/mint/afl-tests/id:001021,src:000003,op:ext_AO,pos:102,+cov Diff File
add - src/mint/afl-tests/id:001022,src:000003,op:ext_AO,pos:103,+cov Diff File
add - src/mint/afl-tests/id:001023,src:000003,op:ext_AO,pos:106,+cov Diff File
add - src/mint/afl-tests/id:001024,src:000003,op:ext_AO,pos:107,+cov Diff File
add - src/mint/afl-tests/id:001025,src:000003,op:ext_AO,pos:109,+cov Diff File
add - src/mint/afl-tests/id:001026,src:000003,op:ext_AO,pos:109,+cov Diff File
add - src/mint/afl-tests/id:001027,src:000003,op:ext_AO,pos:113,+cov Diff File
add - src/mint/afl-tests/id:001028,src:000003,op:ext_AO,pos:117,+cov Diff File
add - src/mint/afl-tests/id:001029,src:000003,op:ext_AO,pos:122,+cov Diff File
add - src/mint/afl-tests/id:001030,src:000003,op:ext_AO,pos:122,+cov Diff File
add - src/mint/afl-tests/id:001031,src:000003,op:ext_AO,pos:124,+cov Diff File
add - src/mint/afl-tests/id:001032,src:000003,op:ext_AO,pos:125,+cov Diff File
add - src/mint/afl-tests/id:001033,src:000003,op:ext_AO,pos:125,+cov Diff File
add - src/mint/afl-tests/id:001034,src:000003,op:ext_AO,pos:126,+cov Diff File
add - src/mint/afl-tests/id:001035,src:000003,op:ext_AO,pos:126,+cov Diff File
add - src/mint/afl-tests/id:001036,src:000003,op:ext_AO,pos:129,+cov Diff File
add - src/mint/afl-tests/id:001037,src:000003,op:ext_AO,pos:129,+cov Diff File
add - src/mint/afl-tests/id:001038,src:000003,op:ext_AO,pos:130,+cov Diff File
add - src/mint/afl-tests/id:001039,src:000003,op:ext_AO,pos:135,+cov Diff File
add - src/mint/afl-tests/id:001040,src:000003,op:ext_AO,pos:136,+cov Diff File
add - src/mint/afl-tests/id:001041,src:000003,op:ext_AO,pos:140,+cov Diff File
add - src/mint/afl-tests/id:001042,src:000003,op:ext_AO,pos:142,+cov Diff File
add - src/mint/afl-tests/id:001043,src:000003,op:ext_AO,pos:142,+cov Diff File
add - src/mint/afl-tests/id:001044,src:000003,op:ext_AO,pos:145,+cov Diff File
add - src/mint/afl-tests/id:001045,src:000003,op:ext_AO,pos:147,+cov Diff File
add - src/mint/afl-tests/id:001046,src:000003,op:ext_AO,pos:149,+cov Diff File
add - src/mint/afl-tests/id:001047,src:000004,op:flip1,pos:0,+cov Diff File
add - src/mint/afl-tests/id:001048,src:000004,op:flip1,pos:4,+cov Diff File
add - src/mint/afl-tests/id:001049,src:000004,op:flip1,pos:4 Diff File
add - src/mint/afl-tests/id:001050,src:000004,op:flip1,pos:18 Diff File
add - src/mint/afl-tests/id:001051,src:000004,op:flip1,pos:55,+cov Diff File
add - src/mint/afl-tests/id:001052,src:000004,op:flip1,pos:59 Diff File
add - src/mint/afl-tests/id:001053,src:000004,op:flip1,pos:87,+cov Diff File
add - src/mint/afl-tests/id:001054,src:000004,op:flip1,pos:89 Diff File
add - src/mint/afl-tests/id:001055,src:000004,op:flip1,pos:106,+cov Diff File
add - src/mint/afl-tests/id:001056,src:000004,op:flip1,pos:108 Diff File
add - src/mint/afl-tests/id:001057,src:000004,op:flip1,pos:108 Diff File
add - src/mint/afl-tests/id:001058,src:000004,op:flip1,pos:110 Diff File
add - src/mint/afl-tests/id:001059,src:000004,op:flip1,pos:111,+cov Diff File
add - src/mint/afl-tests/id:001060,src:000004,op:flip1,pos:112 Diff File
add - src/mint/afl-tests/id:001061,src:000004,op:flip1,pos:134,+cov Diff File
add - src/mint/afl-tests/id:001062,src:000004,op:flip1,pos:138,+cov Diff File
add - src/mint/afl-tests/id:001063,src:000004,op:flip1,pos:152,+cov Diff File
add - src/mint/afl-tests/id:001064,src:000004,op:flip1,pos:154,+cov Diff File
add - src/mint/afl-tests/id:001065,src:000004,op:flip1,pos:475,+cov Diff File
add - src/mint/afl-tests/id:001066,src:000004,op:flip1,pos:651,+cov Diff File
add - src/mint/afl-tests/id:001067,src:000004,op:flip1,pos:783,+cov Diff File
add - src/mint/afl-tests/id:001068,src:000004,op:flip1,pos:1150 Diff File
add - src/mint/afl-tests/id:001069,src:000004,op:flip1,pos:1278,+cov Diff File
add - src/mint/afl-tests/id:001070,src:000004,op:flip1,pos:1649 Diff File
add - src/mint/afl-tests/id:001071,src:000004,op:flip1,pos:1662,+cov Diff File
add - src/mint/afl-tests/id:001072,src:000004,op:flip1,pos:2148 Diff File
add - src/mint/afl-tests/id:001073,src:000004,op:flip1,pos:2437,+cov Diff File
add - src/mint/afl-tests/id:001074,src:000004,op:flip1,pos:2647 Diff File
add - src/mint/afl-tests/id:001075,src:000004,op:flip1,pos:3146 Diff File
add - src/mint/afl-tests/id:001076,src:000004,op:flip1,pos:3205,+cov Diff File
add - src/mint/afl-tests/id:001077,src:000004,op:flip1,pos:3645 Diff File
add - src/mint/afl-tests/id:001078,src:000004,op:flip1,pos:3980,+cov Diff File
add - src/mint/afl-tests/id:001079,src:000004,op:flip1,pos:4144 Diff File
add - src/mint/afl-tests/id:001080,src:000004,op:flip1,pos:4198,+cov Diff File
add - src/mint/afl-tests/id:001081,src:000004,op:flip1,pos:4249,+cov Diff File
add - src/mint/afl-tests/id:001082,src:000004,op:flip1,pos:4291,+cov Diff File
add - src/mint/afl-tests/id:001083,src:000004,op:flip1,pos:4673,+cov Diff File
add - src/mint/afl-tests/id:001084,src:000004,op:flip1,pos:5206,+cov Diff File
add - src/mint/afl-tests/id:001085,src:000004,op:flip1,pos:5361,+cov Diff File
add - src/mint/afl-tests/id:001086,src:000004,op:flip1,pos:5362 Diff File
add - src/mint/afl-tests/id:001087,src:000004,op:flip1,pos:5507,+cov Diff File
add - src/mint/afl-tests/id:001088,src:000004,op:flip1,pos:6639 Diff File
add - src/mint/afl-tests/id:001089,src:000004,op:flip1,pos:7138 Diff File
add - src/mint/afl-tests/id:001090,src:000004,op:flip1,pos:8027,+cov Diff File
add - src/mint/afl-tests/id:001091,src:000004,op:flip1,pos:8136 Diff File
add - src/mint/afl-tests/id:001092,src:000004,op:flip1,pos:8636 Diff File
add - src/mint/afl-tests/id:001093,src:000004,op:flip1,pos:8655,+cov Diff File
add - src/mint/afl-tests/id:001094,src:000004,op:flip1,pos:8712 Diff File
add - src/mint/afl-tests/id:001095,src:000004,op:flip1,pos:8768 Diff File
add - src/mint/afl-tests/id:001096,src:000004,op:flip1,pos:8825 Diff File
add - src/mint/afl-tests/id:001097,src:000004,op:flip1,pos:8840,+cov Diff File
add - src/mint/afl-tests/id:001098,src:000004,op:flip1,pos:8869,+cov Diff File
add - src/mint/afl-tests/id:001099,src:000004,op:flip1,pos:8882,+cov Diff File
add - src/mint/afl-tests/id:001100,src:000004,op:flip1,pos:8910,+cov Diff File
add - src/mint/afl-tests/id:001101,src:000004,op:flip1,pos:9001,+cov Diff File
add - src/mint/afl-tests/id:001102,src:000004,op:flip1,pos:9584,+cov Diff File
add - src/mint/afl-tests/id:001103,src:000004,op:flip1,pos:9658,+cov Diff File
add - src/mint/afl-tests/id:001104,src:000004,op:flip1,pos:9808,+cov Diff File
add - src/mint/afl-tests/id:001105,src:000004,op:flip1,pos:9954,+cov Diff File
add - src/mint/afl-tests/id:001106,src:000004,op:flip1,pos:10093,+cov Diff File
add - src/mint/afl-tests/id:001107,src:000004,op:flip1,pos:10417 Diff File
add - src/mint/afl-tests/id:001108,src:000004,op:flip1,pos:10430,+cov Diff File
add - src/mint/afl-tests/id:001109,src:000004,op:flip1,pos:10639 Diff File
add - src/mint/afl-tests/id:001110,src:000004,op:flip1,pos:10846 Diff File
add - src/mint/afl-tests/id:001111,src:000004,op:flip1,pos:10957,+cov Diff File
add - src/mint/afl-tests/id:001112,src:000004,op:flip1,pos:11055 Diff File
add - src/mint/afl-tests/id:001113,src:000004,op:flip1,pos:11176,+cov Diff File
add - src/mint/afl-tests/id:001114,src:000004,op:flip1,pos:11262 Diff File
add - src/mint/afl-tests/id:001115,src:000004,op:flip1,pos:11471 Diff File
add - src/mint/afl-tests/id:001116,src:000004,op:flip1,pos:11887 Diff File
add - src/mint/afl-tests/id:001117,src:000004,op:flip1,pos:11996,+cov Diff File
add - src/mint/afl-tests/id:001118,src:000004,op:flip1,pos:12094 Diff File
add - src/mint/afl-tests/id:001119,src:000004,op:flip1,pos:12302 Diff File
add - src/mint/afl-tests/id:001120,src:000004,op:flip1,pos:12511 Diff File
add - src/mint/afl-tests/id:001121,src:000004,op:flip1,pos:12567,+cov Diff File
add - src/mint/afl-tests/id:001122,src:000004,op:flip1,pos:12660,+cov Diff File
add - src/mint/afl-tests/id:001123,src:000004,op:flip1,pos:13342 Diff File
add - src/mint/afl-tests/id:001124,src:000004,op:flip1,pos:13550 Diff File
add - src/mint/afl-tests/id:001125,src:000004,op:flip1,pos:13758 Diff File
add - src/mint/afl-tests/id:001126,src:000004,op:flip1,pos:13968 Diff File
add - src/mint/afl-tests/id:001127,src:000004,op:flip1,pos:14134,+cov Diff File
add - src/mint/afl-tests/id:001128,src:000004,op:flip1,pos:14599,+cov Diff File
add - src/mint/afl-tests/id:001129,src:000004,op:flip1,pos:14603 Diff File
add - src/mint/afl-tests/id:001130,src:000004,op:flip1,pos:15122,+cov Diff File
add - src/mint/afl-tests/id:001131,src:000004,op:flip1,pos:15271,+cov Diff File
add - src/mint/afl-tests/id:001132,src:000004,op:flip1,pos:15295,+cov Diff File
add - src/mint/afl-tests/id:001133,src:000004,op:flip1,pos:16328,+cov Diff File
add - src/mint/afl-tests/id:001134,src:000004,op:flip1,pos:17507 Diff File
add - src/mint/afl-tests/id:001135,src:000004,op:flip1,pos:17983,+cov Diff File
add - src/mint/afl-tests/id:001136,src:000004,op:flip1,pos:18109,+cov Diff File
add - src/mint/afl-tests/id:001137,src:000004,op:flip1,pos:19291,+cov Diff File
add - src/mint/afl-tests/id:001138,src:000004,op:flip1,pos:20068,+cov Diff File
add - src/mint/afl-tests/id:001139,src:000004,op:flip1,pos:20075,+cov Diff File
add - src/mint/afl-tests/id:001140,src:000004,op:flip1,pos:20264,+cov Diff File
add - src/mint/afl-tests/id:001141,src:000004,op:flip1,pos:20372,+cov Diff File
add - src/mint/afl-tests/id:001142,src:000004,op:flip1,pos:20845,+cov Diff File
add - src/mint/afl-tests/id:001143,src:000004,op:flip1,pos:21044 Diff File
add - src/mint/afl-tests/id:001144,src:000004,op:flip1,pos:21072,+cov Diff File
add - src/mint/afl-tests/id:001145,src:000004,op:flip1,pos:22111,+cov Diff File
add - src/mint/afl-tests/id:001146,src:000004,op:flip1,pos:22404,+cov Diff File
add - src/mint/afl-tests/id:001147,src:000004,op:flip1,pos:23777,+cov Diff File
add - src/mint/afl-tests/id:001148,src:000004,op:flip1,pos:24046,+cov Diff File
add - src/mint/afl-tests/id:001149,src:000004,op:flip1,pos:27360,+cov Diff File
add - src/mint/afl-tests/id:001150,src:000004,op:flip1,pos:27547,+cov Diff File
add - src/mint/afl-tests/id:001151,src:000004,op:flip1,pos:28206,+cov Diff File
add - src/mint/afl-tests/id:001152,src:000004,op:flip1,pos:29132,+cov Diff File
add - src/mint/afl-tests/id:001153,src:000004,op:flip1,pos:29181,+cov Diff File
add - src/mint/afl-tests/id:001154,src:000004,op:flip1,pos:30141,+cov Diff File
add - src/mint/afl-tests/id:001155,src:000004,op:flip1,pos:30860,+cov Diff File
add - src/mint/afl-tests/id:001156,src:000004,op:flip1,pos:31016,+cov Diff File
add - src/mint/afl-tests/id:001157,src:000004,op:flip1,pos:31260,+cov Diff File
add - src/mint/afl-tests/id:001158,src:000004,op:flip1,pos:32301,+cov Diff File
add - src/mint/afl-tests/id:001159,src:000004,op:flip1,pos:32476,+cov Diff File
add - src/mint/afl-tests/id:001160,src:000004,op:flip1,pos:33475,+cov Diff File
add - src/mint/afl-tests/id:001161,src:000004,op:flip2,pos:108 Diff File
add - src/mint/afl-tests/id:001162,src:000004,op:flip2,pos:272,+cov Diff File
add - src/mint/afl-tests/id:001163,src:000004,op:flip2,pos:501,+cov Diff File
add - src/mint/afl-tests/id:001164,src:000004,op:flip2,pos:1593,+cov Diff File
add - src/mint/afl-tests/id:001165,src:000004,op:flip2,pos:1877,+cov Diff File
add - src/mint/afl-tests/id:001166,src:000004,op:flip2,pos:2863,+cov Diff File
add - src/mint/afl-tests/id:001167,src:000004,op:flip2,pos:3189,+cov Diff File
add - src/mint/afl-tests/id:001168,src:000004,op:flip2,pos:5916,+cov Diff File
add - src/mint/afl-tests/id:001169,src:000004,op:flip2,pos:6474,+cov Diff File
add - src/mint/afl-tests/id:001170,src:000004,op:flip2,pos:8695,+cov Diff File
add - src/mint/afl-tests/id:001171,src:000004,op:flip2,pos:9101,+cov Diff File
add - src/mint/afl-tests/id:001172,src:000004,op:flip2,pos:9350,+cov Diff File
add - src/mint/afl-tests/id:001173,src:000004,op:flip2,pos:9675,+cov Diff File
add - src/mint/afl-tests/id:001174,src:000004,op:flip2,pos:9779,+cov Diff File
add - src/mint/afl-tests/id:001175,src:000004,op:flip2,pos:10123,+cov Diff File
add - src/mint/afl-tests/id:001176,src:000004,op:flip2,pos:10486,+cov Diff File
add - src/mint/afl-tests/id:001177,src:000004,op:flip2,pos:11222,+cov Diff File
add - src/mint/afl-tests/id:001178,src:000004,op:flip2,pos:11504,+cov Diff File
add - src/mint/afl-tests/id:001179,src:000004,op:flip2,pos:13892,+cov Diff File
add - src/mint/afl-tests/id:001180,src:000004,op:flip2,pos:14104,+cov Diff File
add - src/mint/afl-tests/id:001181,src:000004,op:flip2,pos:16451,+cov Diff File
add - src/mint/afl-tests/id:001182,src:000004,op:flip2,pos:17186,+cov Diff File
add - src/mint/afl-tests/id:001183,src:000004,op:flip2,pos:18869,+cov Diff File
add - src/mint/afl-tests/id:001184,src:000004,op:flip2,pos:20039,+cov Diff File
add - src/mint/afl-tests/id:001185,src:000004,op:flip2,pos:20319,+cov Diff File
add - src/mint/afl-tests/id:001186,src:000004,op:flip2,pos:20987,+cov Diff File
add - src/mint/afl-tests/id:001187,src:000004,op:flip2,pos:22115,+cov Diff File
add - src/mint/afl-tests/id:001188,src:000004,op:flip2,pos:22139,+cov Diff File
add - src/mint/afl-tests/id:001189,src:000004,op:flip2,pos:22530,+cov Diff File
add - src/mint/afl-tests/id:001190,src:000004,op:flip2,pos:22871,+cov Diff File
add - src/mint/afl-tests/id:001191,src:000004,op:flip2,pos:22878,+cov Diff File
add - src/mint/afl-tests/id:001192,src:000004,op:flip2,pos:23586,+cov Diff File
add - src/mint/afl-tests/id:001193,src:000004,op:flip2,pos:24806,+cov Diff File
add - src/mint/afl-tests/id:001194,src:000004,op:flip2,pos:25248,+cov Diff File
add - src/mint/afl-tests/id:001195,src:000004,op:flip2,pos:26529,+cov Diff File
add - src/mint/afl-tests/id:001196,src:000004,op:flip2,pos:28158,+cov Diff File
add - src/mint/afl-tests/id:001197,src:000004,op:flip2,pos:29113,+cov Diff File
add - src/mint/afl-tests/id:001198,src:000004,op:flip2,pos:29233,+cov Diff File
add - src/mint/afl-tests/id:001199,src:000004,op:flip2,pos:31755,+cov Diff File
add - src/mint/afl-tests/id:001200,src:000004,op:flip2,pos:32441,+cov Diff File
add - src/mint/afl-tests/id:001201,src:000004,op:flip2,pos:32888,+cov Diff File
add - src/mint/afl-tests/id:001202,src:000004,op:flip2,pos:33869,+cov Diff File
add - src/mint/afl-tests/id:001203,src:000004,op:flip4,pos:399,+cov Diff File
add - src/mint/afl-tests/id:001204,src:000004,op:flip4,pos:1377,+cov Diff File
add - src/mint/afl-tests/id:001205,src:000004,op:flip4,pos:1830,+cov Diff File
add - src/mint/afl-tests/id:001206,src:000004,op:flip4,pos:3239,+cov Diff File
add - src/mint/afl-tests/id:001207,src:000004,op:flip4,pos:3591,+cov Diff File
add - src/mint/afl-tests/id:001208,src:000004,op:flip4,pos:3708,+cov Diff File
add - src/mint/afl-tests/id:001209,src:000004,op:flip4,pos:4350,+cov Diff File
add - src/mint/afl-tests/id:001210,src:000004,op:flip4,pos:4487,+cov Diff File
add - src/mint/afl-tests/id:001211,src:000004,op:flip4,pos:4584,+cov Diff File
add - src/mint/afl-tests/id:001212,src:000004,op:flip4,pos:5470,+cov Diff File
add - src/mint/afl-tests/id:001213,src:000004,op:flip4,pos:6559,+cov Diff File
add - src/mint/afl-tests/id:001214,src:000004,op:flip4,pos:6626,+cov Diff File
add - src/mint/afl-tests/id:001215,src:000004,op:flip4,pos:7110,+cov Diff File
add - src/mint/afl-tests/id:001216,src:000004,op:flip4,pos:7148,+cov Diff File
add - src/mint/afl-tests/id:001217,src:000004,op:flip4,pos:7168,+cov Diff File
add - src/mint/afl-tests/id:001218,src:000004,op:flip4,pos:7715,+cov Diff File
add - src/mint/afl-tests/id:001219,src:000004,op:flip4,pos:9108,+cov Diff File
add - src/mint/afl-tests/id:001220,src:000004,op:flip4,pos:9386,+cov Diff File
add - src/mint/afl-tests/id:001221,src:000004,op:flip4,pos:9592,+cov Diff File
add - src/mint/afl-tests/id:001222,src:000004,op:flip4,pos:9878,+cov Diff File
add - src/mint/afl-tests/id:001223,src:000004,op:flip4,pos:9972,+cov Diff File
add - src/mint/afl-tests/id:001224,src:000004,op:flip4,pos:10287,+cov Diff File
add - src/mint/afl-tests/id:001225,src:000004,op:flip4,pos:10737,+cov Diff File
add - src/mint/afl-tests/id:001226,src:000004,op:flip4,pos:12260,+cov Diff File
add - src/mint/afl-tests/id:001227,src:000004,op:flip4,pos:15195,+cov Diff File
add - src/mint/afl-tests/id:001228,src:000004,op:flip4,pos:15571,+cov Diff File
add - src/mint/afl-tests/id:001229,src:000004,op:flip4,pos:19500,+cov Diff File
add - src/mint/afl-tests/id:001230,src:000004,op:flip4,pos:20444,+cov Diff File
add - src/mint/afl-tests/id:001231,src:000004,op:flip4,pos:22249,+cov Diff File
add - src/mint/afl-tests/id:001232,src:000004,op:flip4,pos:22380,+cov Diff File
add - src/mint/afl-tests/id:001233,src:000004,op:flip4,pos:25459,+cov Diff File
add - src/mint/afl-tests/id:001234,src:000004,op:flip4,pos:27094,+cov Diff File
add - src/mint/afl-tests/id:001235,src:000004,op:flip4,pos:28097,+cov Diff File
add - src/mint/afl-tests/id:001236,src:000004,op:flip4,pos:28763,+cov Diff File
add - src/mint/afl-tests/id:001237,src:000004,op:flip4,pos:28897,+cov Diff File
add - src/mint/afl-tests/id:001238,src:000004,op:flip4,pos:29158,+cov Diff File
add - src/mint/afl-tests/id:001239,src:000004,op:flip4,pos:29314,+cov Diff File
add - src/mint/afl-tests/id:001240,src:000004,op:flip4,pos:29379,+cov Diff File
add - src/mint/afl-tests/id:001241,src:000004,op:flip4,pos:30828,+cov Diff File
add - src/mint/afl-tests/id:001242,src:000004,op:flip4,pos:31450,+cov Diff File
add - src/mint/afl-tests/id:001243,src:000004,op:flip4,pos:32113,+cov Diff File
add - src/mint/afl-tests/id:001244,src:000004,op:flip4,pos:32563,+cov Diff File
add - src/mint/afl-tests/id:001245,src:000004,op:flip4,pos:32844,+cov Diff File
add - src/mint/afl-tests/id:001246,src:000004,op:flip4,pos:33202,+cov Diff File
mod - src/mint/taler-mint-httpd.c Diff File
mod - src/mint/taler-mint-httpd.h Diff File
mod - src/mint/taler-mint-httpd_admin.c Diff File
mod - src/mint/taler-mint-httpd_db.c Diff File
mod - src/mint/taler-mint-httpd_db.h Diff File
mod - src/mint/taler-mint-httpd_deposit.c Diff File
mod - src/mint/taler-mint-httpd_keystate.c Diff File
mod - src/mint/taler-mint-httpd_keystate.h Diff File
mod - src/mint/taler-mint-httpd_mhd.c Diff File
mod - src/mint/taler-mint-httpd_parsing.c Diff File
mod - src/mint/taler-mint-httpd_refresh.c Diff File
mod - src/mint/taler-mint-httpd_reserve.c Diff File
mod - src/mint/taler-mint-httpd_reserve.h Diff File
mod - src/mint/taler-mint-httpd_responses.c Diff File
mod - src/mint/taler-mint-httpd_responses.h Diff File
mod - src/mint/taler-mint-httpd_wire.c Diff File
rm - src/mint/test_mint_nayapaisa.ecc Diff File
rm - src/mint/test_mint_nayapaisa/README Diff File
rm - src/mint/test_mint_nayapaisa/config/mint-common.conf Diff File
rm - src/mint/test_mint_nayapaisa/config/mint-keyup.conf Diff File
rm - src/mint/test_mint_nyadirahim.ecc Diff File
rm - src/mint/test_mint_nyadirahim/README Diff File
rm - src/mint/test_mint_nyadirahim/config/mint-common.conf Diff File
rm - src/mint/test_mint_nyadirahim/config/mint-keyup.conf Diff File
mod - src/mint/test_taler_mint_httpd.sh Diff File
add - src/mint/test_taler_mint_httpd_afl.sh Diff File
mod - src/mintdb/mintdb_keyio.c Diff File
mod - src/mintdb/perf_taler_mintdb.c Diff File
mod - src/mintdb/perf_taler_mintdb_interpreter.c Diff File
mod - src/mintdb/perf_taler_mintdb_interpreter.h Diff File
mod - src/mintdb/plugin_mintdb_common.c Diff File
mod - src/mintdb/plugin_mintdb_postgres.c Diff File
mod - src/util/json.c Diff File
mod - src/util/test_wireformats.c Diff File
mod - src/util/wireformats.c Diff File

master a67fefa9

2015-09-27 16:05

Christian Grothoff


Details Diff		 extra logging
mod - src/mint/taler-mint-httpd_admin.c Diff File

master b3a65cb7

2015-09-27 16:04

Christian Grothoff


Details Diff		 add note on how to assure gamma is random
mod - doc/paper/taler.tex Diff File

master 1bfba318

2015-09-26 18:57

Christian Grothoff


Details Diff		 add reminder
mod - doc/paper/taler.tex Diff File

master 42aea7d1

2015-09-26 18:30

Christian Grothoff


Details Diff		 address Fabian Kirsch's comments for more consistent symbol names, and adding a 'legend'
mod - doc/paper/taler.tex Diff File

master 9ff0c560

2015-09-26 13:54

Christian Grothoff


Details Diff		 typo
mod - doc/paper/taler.tex Diff File

master ecd66362

2015-09-25 10:53

Fournier Nicolas


Details Diff		 fix interpreter warnings
mod - src/mintdb/perf_taler_mintdb_interpreter.c Diff File

master 18d3c5ef

2015-09-24 19:43

Christian Grothoff


Details Diff		 more paper edits and claifications
mod - doc/paper/taler.tex Diff File

master 851a727b

2015-09-24 19:32

Christian Grothoff


Details Diff		 more edits on taler paper
mod - doc/paper/taler.tex Diff File

master 7c9d8217

2015-09-24 17:40

Christian Grothoff


Details Diff		 more misc edits to the paper, also making sure it fits within page limits
add - doc/paper/rfc.bib Diff File
mod - doc/paper/taler.bib Diff File
mod - doc/paper/taler.tex Diff File

master 099b283f

2015-09-24 14:26

Christian Grothoff


Details Diff		 fixing build/ref issues in TeX
mod - doc/paper/taler.bib Diff File
mod - doc/paper/taler.tex Diff File

master 43ff6d44

2015-09-24 14:22

Christian Grothoff


Details Diff		 expand security discussion in paper
mod - doc/paper/taler.bib Diff File
mod - doc/paper/taler.tex Diff File

master a8816b77

2015-09-24 13:40

Christian Grothoff


Details Diff		 edits to Taler paper, trying to clarify/improve writing/structure
mod - doc/paper/taler.bib Diff File
mod - doc/paper/taler.tex Diff File

master 25c86ad5

2015-09-23 16:54

Christian Grothoff


Details Diff		 simplify logic
mod - src/mint/taler-mint-httpd_admin.c Diff File
 First  Prev  1 2 3 ... 20 ... 40 ... 60 ... 80 ... 100 ... 120 ... 140 ... 160 ... 167 168 169 170 171 172 173 ... 180 ... 200 ... 202 203 204  Next  Last