aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/uzlib/tests/decomp-bad-inputs
diff options
context:
space:
mode:
Diffstat (limited to 'test/monniaux/uzlib/tests/decomp-bad-inputs')
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000000,sig:11,src:000000,op:flip1,pos:10bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000001,sig:11,src:000000,op:flip1,pos:10bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000002,sig:11,src:000000,op:flip1,pos:10bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000003,sig:11,src:000000,op:flip1,pos:12bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000004,sig:11,src:000000,op:flip1,pos:12bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000005,sig:11,src:000000,op:flip1,pos:12bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000006,sig:11,src:000000,op:flip1,pos:12bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000007,sig:11,src:000000,op:flip2,pos:11bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000008,sig:11,src:000000,op:flip2,pos:12bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000009,sig:11,src:000000,op:flip2,pos:12bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000010,sig:11,src:000000,op:flip4,pos:10bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000011,sig:11,src:000000,op:flip8,pos:10bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000012,sig:11,src:000000,op:arith8,pos:11,val:+6bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000013,sig:11,src:000000,op:arith8,pos:12,val:-9bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000014,sig:11,src:000000,op:havoc,rep:16bin0 -> 28 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000015,sig:11,src:000000,op:havoc,rep:2bin0 -> 27 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000016,sig:11,src:000000,op:havoc,rep:4bin0 -> 33 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000017,sig:11,src:000000,op:havoc,rep:4bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000018,sig:11,src:000000,op:havoc,rep:2bin0 -> 25 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000019,sig:11,src:000000,op:havoc,rep:8bin0 -> 33 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000020,sig:11,src:000000,op:havoc,rep:8bin0 -> 42 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000021,sig:11,src:000000,op:havoc,rep:8bin0 -> 34 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000022,sig:11,src:000000,op:havoc,rep:4bin0 -> 62 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000023,sig:06,src:000000,op:havoc,rep:8bin0 -> 60 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000024,sig:06,src:000000,op:havoc,rep:8bin0 -> 60 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000025,sig:06,src:000033,op:havoc,rep:8bin0 -> 64 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000026,sig:11,src:000033,op:havoc,rep:2bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000027,sig:11,src:000040,op:havoc,rep:2bin0 -> 26 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000028,sig:11,src:000070,op:havoc,rep:2bin0 -> 40 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000029,sig:11,src:000070,op:havoc,rep:8bin0 -> 32 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000030,sig:11,src:000070,op:havoc,rep:16bin0 -> 41 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000031,sig:11,src:000090,op:havoc,rep:4bin0 -> 29 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000032,sig:11,src:000096,op:flip1,pos:10bin0 -> 25 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000033,sig:11,src:000096,op:int16,pos:14,val:+1bin0 -> 25 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000034,sig:11,src:000104,op:int32,pos:16,val:-32768bin0 -> 30 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000035,sig:11,src:000118,op:flip1,pos:58bin0 -> 60 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000036,sig:11,src:000187,op:flip1,pos:10bin0 -> 52 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000037,sig:11,src:000187,op:flip1,pos:12bin0 -> 52 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000038,sig:11,src:000187,op:flip1,pos:15bin0 -> 52 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000000,sig:11,src:000001,op:flip1,pos:3bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000001,sig:11,src:000001,op:flip1,pos:30
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000002,sig:11,src:000001,op:flip2,pos:10bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000003,sig:11,src:000001,op:flip4,pos:10bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000004,sig:11,src:000001,op:flip4,pos:12bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000005,sig:11,src:000001,op:flip16,pos:10bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000006,sig:11,src:000001,op:arith8,pos:12,val:-21bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000007,sig:11,src:000001,op:int16,pos:12,val:be:+1000bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000008,sig:11,src:000001,op:havoc,rep:321
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000009,sig:11,src:000001,op:havoc,rep:16bin0 -> 36 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000010,sig:07,src:000001,op:havoc,rep:2bin0 -> 19 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000011,sig:11,src:000001,op:havoc,rep:16bin0 -> 48 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000012,sig:11,src:000001,op:havoc,rep:4bin0 -> 19 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000013,sig:11,src:000001,op:havoc,rep:4bin0 -> 29 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000014,sig:11,src:000001,op:havoc,rep:8bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000015,sig:11,src:000001,op:havoc,rep:32bin0 -> 26 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000016,sig:07,src:000001,op:havoc,rep:2bin0 -> 30 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000017,sig:11,src:000001,op:havoc,rep:2bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000018,sig:11,src:000001,op:havoc,rep:8bin0 -> 39 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000019,sig:11,src:000001,op:havoc,rep:8bin0 -> 24 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000020,sig:11,src:000001,op:havoc,rep:8bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000021,sig:11,src:000001,op:havoc,rep:4bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000022,sig:11,src:000001,op:havoc,rep:4bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000023,sig:06,src:000001,op:havoc,rep:4bin0 -> 15 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000024,sig:11,src:000001,op:havoc,rep:8bin0 -> 24 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000025,sig:11,src:000005,op:flip1,pos:22bin0 -> 48 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000026,sig:11,src:000005,op:havoc,rep:16bin0 -> 33 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000027,sig:11,src:000005,op:havoc,rep:2bin0 -> 48 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000028,sig:11,src:000005,op:havoc,rep:4bin0 -> 36 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000029,sig:11,src:000005,op:havoc,rep:8bin0 -> 99 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000030,sig:11,src:000005,op:havoc,rep:8bin0 -> 30 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000031,sig:11,src:000005,op:havoc,rep:4bin0 -> 23 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000032,sig:11,src:000005,op:havoc,rep:8bin0 -> 48 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000033,sig:11,src:000005,op:havoc,rep:16bin0 -> 18 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000034,sig:11,src:000005,op:havoc,rep:8bin0 -> 73 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000035,sig:11,src:000005,op:havoc,rep:8bin0 -> 40 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000000,sig:11,src:000001,op:flip1,pos:3bin0 -> 15 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000002,sig:11,src:000001,op:flip2,pos:10bin0 -> 16 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000003,sig:11,src:000001,op:flip4,pos:10bin0 -> 18 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000004,sig:11,src:000001,op:flip4,pos:12bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000005,sig:11,src:000001,op:flip16,pos:10bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000006,sig:11,src:000001,op:arith8,pos:12,val:-21bin0 -> 14 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000007,sig:11,src:000001,op:int16,pos:12,val:be:+1000bin0 -> 16 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000009,sig:11,src:000001,op:havoc,rep:16bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000010,sig:07,src:000001,op:havoc,rep:2bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000011,sig:11,src:000001,op:havoc,rep:16bin0 -> 42 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000012,sig:11,src:000001,op:havoc,rep:4bin0 -> 19 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000013,sig:11,src:000001,op:havoc,rep:4bin0 -> 15 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000014,sig:11,src:000001,op:havoc,rep:8bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000015,sig:11,src:000001,op:havoc,rep:32bin0 -> 26 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000016,sig:07,src:000001,op:havoc,rep:2bin0 -> 14 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000017,sig:11,src:000001,op:havoc,rep:2bin0 -> 15 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000018,sig:11,src:000001,op:havoc,rep:8bin0 -> 18 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000019,sig:11,src:000001,op:havoc,rep:8bin0 -> 24 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000020,sig:11,src:000001,op:havoc,rep:8bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000021,sig:11,src:000001,op:havoc,rep:4bin0 -> 13 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000022,sig:11,src:000001,op:havoc,rep:4bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000023,sig:06,src:000001,op:havoc,rep:4bin0 -> 15 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000024,sig:11,src:000001,op:havoc,rep:8bin0 -> 24 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000025,sig:11,src:000005,op:flip1,pos:22bin0 -> 26 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000026,sig:11,src:000005,op:havoc,rep:16bin0 -> 33 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000027,sig:11,src:000005,op:havoc,rep:2bin0 -> 45 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000028,sig:11,src:000005,op:havoc,rep:4bin0 -> 4 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000029,sig:11,src:000005,op:havoc,rep:8bin0 -> 14 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000030,sig:11,src:000005,op:havoc,rep:8bin0 -> 28 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000031,sig:11,src:000005,op:havoc,rep:4bin0 -> 23 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000032,sig:11,src:000005,op:havoc,rep:8bin0 -> 47 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000033,sig:11,src:000005,op:havoc,rep:16bin0 -> 13 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000034,sig:11,src:000005,op:havoc,rep:8bin0 -> 73 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000035,sig:11,src:000005,op:havoc,rep:8bin0 -> 36 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/02/id:000000,sig:11,src:000001,op:havoc,rep:4bin0 -> 19 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/02/id:000001,sig:11,src:000001,op:havoc,rep:2bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/02/id:000002,sig:11,src:000001,op:havoc,rep:2bin0 -> 18 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/02/id:000003,sig:11,src:000002,op:havoc,rep:4bin0 -> 51 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000000,sig:11,src:000001,op:havoc,rep:4bin0 -> 78 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000001,sig:11,src:000001,op:havoc,rep:2bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000002,sig:11,src:000001,op:havoc,rep:2bin0 -> 34 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000003,sig:11,src:000001,op:havoc,rep:2bin0 -> 19 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000004,sig:11,src:000002,op:havoc,rep:4bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000005,sig:11,src:000005,op:flip1,pos:20bin0 -> 50 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000006,sig:11,src:000005,op:flip1,pos:22bin0 -> 50 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000007,sig:11,src:000005,op:flip4,pos:24bin0 -> 50 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000008,sig:11,src:000005,op:arith8,pos:3,val:+10bin0 -> 50 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000009,sig:11,src:000005,op:arith8,pos:3,val:+18bin0 -> 50 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000010,sig:11,src:000005,op:int8,pos:23,val:-1bin0 -> 50 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000011,sig:11,src:000005,op:havoc,rep:4bin0 -> 74 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000012,sig:11,src:000005,op:havoc,rep:16bin0 -> 43 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000013,sig:11,src:000005,op:havoc,rep:8bin0 -> 65 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000014,sig:11,src:000005,op:havoc,rep:2bin0 -> 50 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000015,sig:11,src:000005,op:havoc,rep:2bin0 -> 50 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000016,sig:11,src:000005,op:havoc,rep:2bin0 -> 50 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000017,sig:11,src:000005,op:havoc,rep:2bin0 -> 50 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000018,sig:11,src:000082,op:flip32,pos:19bin0 -> 24 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000019,sig:11,src:000082,op:int32,pos:19,val:be:+65535bin0 -> 24 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000020,sig:11,src:000155,op:flip2,pos:28bin0 -> 34 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000021,sig:11,src:000166,op:flip2,pos:10bin0 -> 34 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000022,sig:11,src:000156,op:int16,pos:26,val:-129bin0 -> 30 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000023,sig:11,src:000193,op:int16,pos:31,val:be:+32bin0 -> 38 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000024,sig:11,src:000230,op:havoc,rep:2bin0 -> 55 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000025,sig:11,src:000230,op:havoc,rep:2bin0 -> 36 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000026,sig:11,src:000245,op:havoc,rep:2bin0 -> 32 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000027,sig:11,src:000254,op:flip1,pos:32bin0 -> 45 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000028,sig:11,src:000079,op:int32,pos:20,val:-128bin0 -> 28 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000029,sig:11,src:000247,op:havoc,rep:4bin0 -> 48 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000030,sig:11,src:000257,op:havoc,rep:2bin0 -> 79 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000031,sig:11,src:000257,op:havoc,rep:2bin0 -> 45 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000032,sig:11,src:000248,op:havoc,rep:2bin0 -> 36 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000033,sig:11,src:000291,op:havoc,rep:2bin0 -> 64 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000034,sig:11,src:000301,op:havoc,rep:64bin0 -> 1283 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000035,sig:11,src:000252,op:havoc,rep:2bin0 -> 42 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000036,sig:11,src:000310,op:arith32,pos:20,val:be:-8bin0 -> 92 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000037,sig:11,src:000319+000163,op:splice,rep:2bin0 -> 32 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000038,sig:11,src:000320,op:flip1,pos:27bin0 -> 60 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000039,sig:11,src:000320,op:ext_AO,pos:43bin0 -> 60 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000040,sig:11,src:000326,op:havoc,rep:32bin0 -> 286 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000041,sig:11,src:000016,op:havoc,rep:4bin0 -> 16 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000042,sig:11,src:000205+000322,op:splice,rep:64bin0 -> 1314 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000043,sig:11,src:000001+000321,op:splice,rep:4bin0 -> 64 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000000,sig:11,src:000001,op:havoc,rep:2bin0 -> 19 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000001,sig:11,src:000001,op:havoc,rep:2bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000002,sig:11,src:000001,op:havoc,rep:2bin0 -> 18 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000003,sig:11,src:000001,op:havoc,rep:4bin0 -> 16 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000004,sig:11,src:000034,op:int32,pos:44,val:+1000bin0 -> 51 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000005,sig:11,src:000063,op:int32,pos:17,val:+1000bin0 -> 24 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000006,sig:11,src:000019+000004,op:splice,rep:2bin0 -> 23 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000007,sig:11,src:000047+000264,op:splice,rep:2bin0 -> 21 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000008,sig:11,src:000194+000266,op:splice,rep:2bin0 -> 31 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000009,sig:11,src:000134+000005,op:splice,rep:2bin0 -> 49 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000010,sig:11,src:000220+000226,op:splice,rep:8bin0 -> 19 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000000,sig:06,src:000001,op:flip8,pos:12bin0 -> 21 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000001,sig:06,src:000001,op:havoc,rep:16bin0 -> 78 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000002,sig:06,src:000001,op:havoc,rep:4bin0 -> 37 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000003,sig:06,src:000001,op:havoc,rep:4bin0 -> 25 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000004,sig:06,src:000001,op:havoc,rep:4bin0 -> 19 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000005,sig:06,src:000012,op:flip1,pos:13bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000006,sig:06,src:000012,op:havoc,rep:16bin0 -> 38 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000007,sig:06,src:000108,op:arith16,pos:14,val:-2bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000008,sig:06,src:000003,op:havoc,rep:4bin0 -> 88 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000009,sig:06,src:000140,op:flip1,pos:15bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000010,sig:06,src:000092,op:flip4,pos:3bin0 -> 42 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000011,sig:06,src:000155,op:havoc,rep:8bin0 -> 85 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000012,sig:06,src:000163+000116,op:splice,rep:8bin0 -> 399 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000013,sig:06,src:000171,op:havoc,rep:2bin0 -> 28 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000014,sig:06,src:000170,op:havoc,rep:8bin0 -> 103 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000001,sig:06,src:000001,op:havoc,rep:16bin0 -> 54 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000002,sig:06,src:000001,op:havoc,rep:4bin0 -> 25 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000003,sig:06,src:000001,op:havoc,rep:8bin0 -> 21 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000004,sig:06,src:000001,op:havoc,rep:8bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000005,sig:06,src:000001,op:havoc,rep:4bin0 -> 21 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000007,sig:06,src:000121,op:arith8,pos:12,val:+26bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000008,sig:06,src:000137,op:flip1,pos:58bin0 -> 73 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/07/id:000000,sig:06,src:000001,op:havoc,rep:8bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/07/id:000001,sig:06,src:000019,op:havoc,rep:4bin0 -> 16 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/07/id:000002,sig:06,src:000021,op:havoc,rep:8bin0 -> 44 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/08/id:000000,sig:06,src:000157,op:havoc,rep:4bin0 -> 35 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000000,sig:11,src:000001,op:int16,pos:11,val:be:-128bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000001,sig:11,src:000001,op:havoc,rep:2bin0 -> 17 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000002,sig:11,src:000023,op:flip2,pos:12bin0 -> 19 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000003,sig:11,src:000023,op:arith8,pos:14,val:-28bin0 -> 19 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000004,sig:11,src:000075,op:flip4,pos:61bin0 -> 75 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000005,sig:11,src:000075,op:arith8,pos:57,val:-5bin0 -> 75 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000006,sig:11,src:000075,op:arith16,pos:62,val:+28bin0 -> 75 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000007,sig:11,src:000075,op:havoc,rep:32bin0 -> 91 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000008,sig:11,src:000133,op:arith8,pos:13,val:-34bin0 -> 18 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000009,sig:11,src:000133,op:havoc,rep:2bin0 -> 22 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000010,sig:11,src:000133,op:havoc,rep:4bin0 -> 28 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000011,sig:11,src:000151,op:havoc,rep:2bin0 -> 68 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000012,sig:11,src:000212,op:arith8,pos:45,val:+9bin0 -> 87 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000013,sig:11,src:000212,op:int32,pos:15,val:+32767bin0 -> 87 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000014,sig:11,src:000212,op:havoc,rep:2bin0 -> 87 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000015,sig:11,src:000087,op:arith8,pos:20,val:+11bin0 -> 40 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000016,sig:11,src:000098,op:flip1,pos:13bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000017,sig:11,src:000098,op:flip2,pos:13bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000018,sig:11,src:000098,op:flip4,pos:12bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000019,sig:11,src:000098,op:havoc,rep:2bin0 -> 30 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000020,sig:11,src:000133,op:havoc,rep:2bin0 -> 32 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000021,sig:11,src:000134,op:int16,pos:13,val:be:-128bin0 -> 20 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000022,sig:11,src:000218,op:flip2,pos:40bin0 -> 114 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000023,sig:11,src:000218,op:int16,pos:111,val:+0bin0 -> 114 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000025,sig:11,src:000235,op:havoc,rep:8bin0 -> 71 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000026,sig:11,src:000143,op:arith8,pos:19,val:+3bin0 -> 52 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000027,sig:11,src:000024+000141,op:splice,rep:4bin0 -> 66 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000028,sig:11,src:000219,op:arith16,pos:62,val:be:-23bin0 -> 71 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000031,sig:11,src:000256,op:flip2,pos:480bin0 -> 501 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000032,sig:11,src:000256,op:flip4,pos:248bin0 -> 501 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000033,sig:11,src:000256,op:flip4,pos:364bin0 -> 501 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000034,sig:06,src:000256,op:arith8,pos:499,val:+8bin0 -> 501 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000036,sig:11,src:000256+000131,op:splice,rep:8bin0 -> 1411 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000037,sig:11,src:000260,op:flip2,pos:264bin0 -> 400 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000038,sig:11,src:000260,op:arith16,pos:254,val:-29bin0 -> 400 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000039,sig:11,src:000260,op:int16,pos:397,val:+0bin0 -> 400 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000040,sig:11,src:000272+000023,op:splice,rep:4bin0 -> 19 bytes
-rw-r--r--test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000041,sig:11,src:000253,op:havoc,rep:8bin0 -> 858 bytes
232 files changed, 1 insertions, 0 deletions
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000000,sig:11,src:000000,op:flip1,pos:10 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000000,sig:11,src:000000,op:flip1,pos:10
new file mode 100644
index 00000000..f844cf11
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000000,sig:11,src:000000,op:flip1,pos:10
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000001,sig:11,src:000000,op:flip1,pos:10 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000001,sig:11,src:000000,op:flip1,pos:10
new file mode 100644
index 00000000..14391914
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000001,sig:11,src:000000,op:flip1,pos:10
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000002,sig:11,src:000000,op:flip1,pos:10 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000002,sig:11,src:000000,op:flip1,pos:10
new file mode 100644
index 00000000..96422f80
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000002,sig:11,src:000000,op:flip1,pos:10
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000003,sig:11,src:000000,op:flip1,pos:12 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000003,sig:11,src:000000,op:flip1,pos:12
new file mode 100644
index 00000000..ee903f14
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000003,sig:11,src:000000,op:flip1,pos:12
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000004,sig:11,src:000000,op:flip1,pos:12 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000004,sig:11,src:000000,op:flip1,pos:12
new file mode 100644
index 00000000..4f57966c
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000004,sig:11,src:000000,op:flip1,pos:12
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000005,sig:11,src:000000,op:flip1,pos:12 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000005,sig:11,src:000000,op:flip1,pos:12
new file mode 100644
index 00000000..11f6ffe8
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000005,sig:11,src:000000,op:flip1,pos:12
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000006,sig:11,src:000000,op:flip1,pos:12 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000006,sig:11,src:000000,op:flip1,pos:12
new file mode 100644
index 00000000..0476e1bf
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000006,sig:11,src:000000,op:flip1,pos:12
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000007,sig:11,src:000000,op:flip2,pos:11 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000007,sig:11,src:000000,op:flip2,pos:11
new file mode 100644
index 00000000..30c2cfa0
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000007,sig:11,src:000000,op:flip2,pos:11
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000008,sig:11,src:000000,op:flip2,pos:12 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000008,sig:11,src:000000,op:flip2,pos:12
new file mode 100644
index 00000000..a76ab4d1
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000008,sig:11,src:000000,op:flip2,pos:12
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000009,sig:11,src:000000,op:flip2,pos:12 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000009,sig:11,src:000000,op:flip2,pos:12
new file mode 100644
index 00000000..d9aba6a4
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000009,sig:11,src:000000,op:flip2,pos:12
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000010,sig:11,src:000000,op:flip4,pos:10 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000010,sig:11,src:000000,op:flip4,pos:10
new file mode 100644
index 00000000..828f3d0c
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000010,sig:11,src:000000,op:flip4,pos:10
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000011,sig:11,src:000000,op:flip8,pos:10 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000011,sig:11,src:000000,op:flip8,pos:10
new file mode 100644
index 00000000..34178410
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000011,sig:11,src:000000,op:flip8,pos:10
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000012,sig:11,src:000000,op:arith8,pos:11,val:+6 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000012,sig:11,src:000000,op:arith8,pos:11,val:+6
new file mode 100644
index 00000000..6408096e
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000012,sig:11,src:000000,op:arith8,pos:11,val:+6
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000013,sig:11,src:000000,op:arith8,pos:12,val:-9 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000013,sig:11,src:000000,op:arith8,pos:12,val:-9
new file mode 100644
index 00000000..d56d4d80
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000013,sig:11,src:000000,op:arith8,pos:12,val:-9
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000014,sig:11,src:000000,op:havoc,rep:16 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000014,sig:11,src:000000,op:havoc,rep:16
new file mode 100644
index 00000000..6691f45c
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000014,sig:11,src:000000,op:havoc,rep:16
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000015,sig:11,src:000000,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000015,sig:11,src:000000,op:havoc,rep:2
new file mode 100644
index 00000000..36403d32
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000015,sig:11,src:000000,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000016,sig:11,src:000000,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000016,sig:11,src:000000,op:havoc,rep:4
new file mode 100644
index 00000000..3a28b830
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000016,sig:11,src:000000,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000017,sig:11,src:000000,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000017,sig:11,src:000000,op:havoc,rep:4
new file mode 100644
index 00000000..5fa11582
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000017,sig:11,src:000000,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000018,sig:11,src:000000,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000018,sig:11,src:000000,op:havoc,rep:2
new file mode 100644
index 00000000..1d1bf9bc
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000018,sig:11,src:000000,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000019,sig:11,src:000000,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000019,sig:11,src:000000,op:havoc,rep:8
new file mode 100644
index 00000000..f50b3f11
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000019,sig:11,src:000000,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000020,sig:11,src:000000,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000020,sig:11,src:000000,op:havoc,rep:8
new file mode 100644
index 00000000..e1bf78a0
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000020,sig:11,src:000000,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000021,sig:11,src:000000,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000021,sig:11,src:000000,op:havoc,rep:8
new file mode 100644
index 00000000..c251aa33
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000021,sig:11,src:000000,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000022,sig:11,src:000000,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000022,sig:11,src:000000,op:havoc,rep:4
new file mode 100644
index 00000000..b9e41c9d
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000022,sig:11,src:000000,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000023,sig:06,src:000000,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000023,sig:06,src:000000,op:havoc,rep:8
new file mode 100644
index 00000000..97222b72
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000023,sig:06,src:000000,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000024,sig:06,src:000000,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000024,sig:06,src:000000,op:havoc,rep:8
new file mode 100644
index 00000000..a4a43e3e
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000024,sig:06,src:000000,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000025,sig:06,src:000033,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000025,sig:06,src:000033,op:havoc,rep:8
new file mode 100644
index 00000000..d03a3cac
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000025,sig:06,src:000033,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000026,sig:11,src:000033,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000026,sig:11,src:000033,op:havoc,rep:2
new file mode 100644
index 00000000..c6abd87f
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000026,sig:11,src:000033,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000027,sig:11,src:000040,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000027,sig:11,src:000040,op:havoc,rep:2
new file mode 100644
index 00000000..50e23622
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000027,sig:11,src:000040,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000028,sig:11,src:000070,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000028,sig:11,src:000070,op:havoc,rep:2
new file mode 100644
index 00000000..e8eeb08e
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000028,sig:11,src:000070,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000029,sig:11,src:000070,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000029,sig:11,src:000070,op:havoc,rep:8
new file mode 100644
index 00000000..8643a548
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000029,sig:11,src:000070,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000030,sig:11,src:000070,op:havoc,rep:16 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000030,sig:11,src:000070,op:havoc,rep:16
new file mode 100644
index 00000000..4bcba51e
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000030,sig:11,src:000070,op:havoc,rep:16
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000031,sig:11,src:000090,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000031,sig:11,src:000090,op:havoc,rep:4
new file mode 100644
index 00000000..4c1838cd
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000031,sig:11,src:000090,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000032,sig:11,src:000096,op:flip1,pos:10 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000032,sig:11,src:000096,op:flip1,pos:10
new file mode 100644
index 00000000..218cc128
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000032,sig:11,src:000096,op:flip1,pos:10
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000033,sig:11,src:000096,op:int16,pos:14,val:+1 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000033,sig:11,src:000096,op:int16,pos:14,val:+1
new file mode 100644
index 00000000..2db1448a
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000033,sig:11,src:000096,op:int16,pos:14,val:+1
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000034,sig:11,src:000104,op:int32,pos:16,val:-32768 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000034,sig:11,src:000104,op:int32,pos:16,val:-32768
new file mode 100644
index 00000000..e609ae4c
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000034,sig:11,src:000104,op:int32,pos:16,val:-32768
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000035,sig:11,src:000118,op:flip1,pos:58 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000035,sig:11,src:000118,op:flip1,pos:58
new file mode 100644
index 00000000..e168734a
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000035,sig:11,src:000118,op:flip1,pos:58
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000036,sig:11,src:000187,op:flip1,pos:10 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000036,sig:11,src:000187,op:flip1,pos:10
new file mode 100644
index 00000000..379667f0
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000036,sig:11,src:000187,op:flip1,pos:10
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000037,sig:11,src:000187,op:flip1,pos:12 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000037,sig:11,src:000187,op:flip1,pos:12
new file mode 100644
index 00000000..c450a8a3
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000037,sig:11,src:000187,op:flip1,pos:12
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000038,sig:11,src:000187,op:flip1,pos:15 b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000038,sig:11,src:000187,op:flip1,pos:15
new file mode 100644
index 00000000..9883ac3c
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/00/id:000038,sig:11,src:000187,op:flip1,pos:15
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000000,sig:11,src:000001,op:flip1,pos:3 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000000,sig:11,src:000001,op:flip1,pos:3
new file mode 100644
index 00000000..82b1a58d
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000000,sig:11,src:000001,op:flip1,pos:3
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000001,sig:11,src:000001,op:flip1,pos:3 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000001,sig:11,src:000001,op:flip1,pos:3
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000001,sig:11,src:000001,op:flip1,pos:3
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000002,sig:11,src:000001,op:flip2,pos:10 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000002,sig:11,src:000001,op:flip2,pos:10
new file mode 100644
index 00000000..0b1f6f11
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000002,sig:11,src:000001,op:flip2,pos:10
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000003,sig:11,src:000001,op:flip4,pos:10 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000003,sig:11,src:000001,op:flip4,pos:10
new file mode 100644
index 00000000..91eccbda
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000003,sig:11,src:000001,op:flip4,pos:10
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000004,sig:11,src:000001,op:flip4,pos:12 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000004,sig:11,src:000001,op:flip4,pos:12
new file mode 100644
index 00000000..b8d670cc
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000004,sig:11,src:000001,op:flip4,pos:12
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000005,sig:11,src:000001,op:flip16,pos:10 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000005,sig:11,src:000001,op:flip16,pos:10
new file mode 100644
index 00000000..981ebb95
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000005,sig:11,src:000001,op:flip16,pos:10
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000006,sig:11,src:000001,op:arith8,pos:12,val:-21 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000006,sig:11,src:000001,op:arith8,pos:12,val:-21
new file mode 100644
index 00000000..39f9f657
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000006,sig:11,src:000001,op:arith8,pos:12,val:-21
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000007,sig:11,src:000001,op:int16,pos:12,val:be:+1000 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000007,sig:11,src:000001,op:int16,pos:12,val:be:+1000
new file mode 100644
index 00000000..0592cbc4
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000007,sig:11,src:000001,op:int16,pos:12,val:be:+1000
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000008,sig:11,src:000001,op:havoc,rep:32 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000008,sig:11,src:000001,op:havoc,rep:32
new file mode 100644
index 00000000..835a5816
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000008,sig:11,src:000001,op:havoc,rep:32
@@ -0,0 +1 @@
+î \ No newline at end of file
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000009,sig:11,src:000001,op:havoc,rep:16 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000009,sig:11,src:000001,op:havoc,rep:16
new file mode 100644
index 00000000..737a9788
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000009,sig:11,src:000001,op:havoc,rep:16
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000010,sig:07,src:000001,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000010,sig:07,src:000001,op:havoc,rep:2
new file mode 100644
index 00000000..dc6dde68
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000010,sig:07,src:000001,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000011,sig:11,src:000001,op:havoc,rep:16 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000011,sig:11,src:000001,op:havoc,rep:16
new file mode 100644
index 00000000..c4e7cf09
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000011,sig:11,src:000001,op:havoc,rep:16
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000012,sig:11,src:000001,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000012,sig:11,src:000001,op:havoc,rep:4
new file mode 100644
index 00000000..6f6dfe16
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000012,sig:11,src:000001,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000013,sig:11,src:000001,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000013,sig:11,src:000001,op:havoc,rep:4
new file mode 100644
index 00000000..0272ae91
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000013,sig:11,src:000001,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000014,sig:11,src:000001,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000014,sig:11,src:000001,op:havoc,rep:8
new file mode 100644
index 00000000..323c9ba5
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000014,sig:11,src:000001,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000015,sig:11,src:000001,op:havoc,rep:32 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000015,sig:11,src:000001,op:havoc,rep:32
new file mode 100644
index 00000000..470c36bf
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000015,sig:11,src:000001,op:havoc,rep:32
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000016,sig:07,src:000001,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000016,sig:07,src:000001,op:havoc,rep:2
new file mode 100644
index 00000000..240bc7a3
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000016,sig:07,src:000001,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000017,sig:11,src:000001,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000017,sig:11,src:000001,op:havoc,rep:2
new file mode 100644
index 00000000..5f6d092d
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000017,sig:11,src:000001,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000018,sig:11,src:000001,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000018,sig:11,src:000001,op:havoc,rep:8
new file mode 100644
index 00000000..dc517ab3
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000018,sig:11,src:000001,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000019,sig:11,src:000001,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000019,sig:11,src:000001,op:havoc,rep:8
new file mode 100644
index 00000000..3f9dbad9
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000019,sig:11,src:000001,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000020,sig:11,src:000001,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000020,sig:11,src:000001,op:havoc,rep:8
new file mode 100644
index 00000000..0ecee308
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000020,sig:11,src:000001,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000021,sig:11,src:000001,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000021,sig:11,src:000001,op:havoc,rep:4
new file mode 100644
index 00000000..afac42ff
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000021,sig:11,src:000001,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000022,sig:11,src:000001,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000022,sig:11,src:000001,op:havoc,rep:4
new file mode 100644
index 00000000..8a0fd41c
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000022,sig:11,src:000001,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000023,sig:06,src:000001,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000023,sig:06,src:000001,op:havoc,rep:4
new file mode 100644
index 00000000..266d32f3
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000023,sig:06,src:000001,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000024,sig:11,src:000001,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000024,sig:11,src:000001,op:havoc,rep:8
new file mode 100644
index 00000000..930f0ab9
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000024,sig:11,src:000001,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000025,sig:11,src:000005,op:flip1,pos:22 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000025,sig:11,src:000005,op:flip1,pos:22
new file mode 100644
index 00000000..f9b00a57
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000025,sig:11,src:000005,op:flip1,pos:22
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000026,sig:11,src:000005,op:havoc,rep:16 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000026,sig:11,src:000005,op:havoc,rep:16
new file mode 100644
index 00000000..8f15b3b8
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000026,sig:11,src:000005,op:havoc,rep:16
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000027,sig:11,src:000005,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000027,sig:11,src:000005,op:havoc,rep:2
new file mode 100644
index 00000000..c84acd1d
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000027,sig:11,src:000005,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000028,sig:11,src:000005,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000028,sig:11,src:000005,op:havoc,rep:4
new file mode 100644
index 00000000..da47546f
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000028,sig:11,src:000005,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000029,sig:11,src:000005,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000029,sig:11,src:000005,op:havoc,rep:8
new file mode 100644
index 00000000..f612d56d
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000029,sig:11,src:000005,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000030,sig:11,src:000005,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000030,sig:11,src:000005,op:havoc,rep:8
new file mode 100644
index 00000000..af3240ff
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000030,sig:11,src:000005,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000031,sig:11,src:000005,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000031,sig:11,src:000005,op:havoc,rep:4
new file mode 100644
index 00000000..a1b2af4c
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000031,sig:11,src:000005,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000032,sig:11,src:000005,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000032,sig:11,src:000005,op:havoc,rep:8
new file mode 100644
index 00000000..2e5a66ec
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000032,sig:11,src:000005,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000033,sig:11,src:000005,op:havoc,rep:16 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000033,sig:11,src:000005,op:havoc,rep:16
new file mode 100644
index 00000000..70c4c059
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000033,sig:11,src:000005,op:havoc,rep:16
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000034,sig:11,src:000005,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000034,sig:11,src:000005,op:havoc,rep:8
new file mode 100644
index 00000000..8c42b38a
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000034,sig:11,src:000005,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000035,sig:11,src:000005,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000035,sig:11,src:000005,op:havoc,rep:8
new file mode 100644
index 00000000..734f065f
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/id:000035,sig:11,src:000005,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000000,sig:11,src:000001,op:flip1,pos:3 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000000,sig:11,src:000001,op:flip1,pos:3
new file mode 100644
index 00000000..e6ab0798
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000000,sig:11,src:000001,op:flip1,pos:3
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000002,sig:11,src:000001,op:flip2,pos:10 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000002,sig:11,src:000001,op:flip2,pos:10
new file mode 100644
index 00000000..0eec3af5
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000002,sig:11,src:000001,op:flip2,pos:10
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000003,sig:11,src:000001,op:flip4,pos:10 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000003,sig:11,src:000001,op:flip4,pos:10
new file mode 100644
index 00000000..2e70b6ee
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000003,sig:11,src:000001,op:flip4,pos:10
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000004,sig:11,src:000001,op:flip4,pos:12 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000004,sig:11,src:000001,op:flip4,pos:12
new file mode 100644
index 00000000..d0e41a5e
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000004,sig:11,src:000001,op:flip4,pos:12
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000005,sig:11,src:000001,op:flip16,pos:10 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000005,sig:11,src:000001,op:flip16,pos:10
new file mode 100644
index 00000000..8f9cfef1
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000005,sig:11,src:000001,op:flip16,pos:10
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000006,sig:11,src:000001,op:arith8,pos:12,val:-21 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000006,sig:11,src:000001,op:arith8,pos:12,val:-21
new file mode 100644
index 00000000..dd622d5c
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000006,sig:11,src:000001,op:arith8,pos:12,val:-21
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000007,sig:11,src:000001,op:int16,pos:12,val:be:+1000 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000007,sig:11,src:000001,op:int16,pos:12,val:be:+1000
new file mode 100644
index 00000000..f576d9f1
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000007,sig:11,src:000001,op:int16,pos:12,val:be:+1000
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000009,sig:11,src:000001,op:havoc,rep:16 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000009,sig:11,src:000001,op:havoc,rep:16
new file mode 100644
index 00000000..93c7585f
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000009,sig:11,src:000001,op:havoc,rep:16
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000010,sig:07,src:000001,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000010,sig:07,src:000001,op:havoc,rep:2
new file mode 100644
index 00000000..4a544d9d
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000010,sig:07,src:000001,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000011,sig:11,src:000001,op:havoc,rep:16 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000011,sig:11,src:000001,op:havoc,rep:16
new file mode 100644
index 00000000..cc9a4cc1
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000011,sig:11,src:000001,op:havoc,rep:16
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000012,sig:11,src:000001,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000012,sig:11,src:000001,op:havoc,rep:4
new file mode 100644
index 00000000..5c3d4842
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000012,sig:11,src:000001,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000013,sig:11,src:000001,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000013,sig:11,src:000001,op:havoc,rep:4
new file mode 100644
index 00000000..cb12cc2d
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000013,sig:11,src:000001,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000014,sig:11,src:000001,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000014,sig:11,src:000001,op:havoc,rep:8
new file mode 100644
index 00000000..423b283f
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000014,sig:11,src:000001,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000015,sig:11,src:000001,op:havoc,rep:32 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000015,sig:11,src:000001,op:havoc,rep:32
new file mode 100644
index 00000000..ea93de61
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000015,sig:11,src:000001,op:havoc,rep:32
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000016,sig:07,src:000001,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000016,sig:07,src:000001,op:havoc,rep:2
new file mode 100644
index 00000000..f677834d
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000016,sig:07,src:000001,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000017,sig:11,src:000001,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000017,sig:11,src:000001,op:havoc,rep:2
new file mode 100644
index 00000000..4361e80c
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000017,sig:11,src:000001,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000018,sig:11,src:000001,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000018,sig:11,src:000001,op:havoc,rep:8
new file mode 100644
index 00000000..84c80e30
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000018,sig:11,src:000001,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000019,sig:11,src:000001,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000019,sig:11,src:000001,op:havoc,rep:8
new file mode 100644
index 00000000..4830ef20
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000019,sig:11,src:000001,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000020,sig:11,src:000001,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000020,sig:11,src:000001,op:havoc,rep:8
new file mode 100644
index 00000000..8482edee
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000020,sig:11,src:000001,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000021,sig:11,src:000001,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000021,sig:11,src:000001,op:havoc,rep:4
new file mode 100644
index 00000000..e1c19aca
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000021,sig:11,src:000001,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000022,sig:11,src:000001,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000022,sig:11,src:000001,op:havoc,rep:4
new file mode 100644
index 00000000..9f119066
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000022,sig:11,src:000001,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000023,sig:06,src:000001,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000023,sig:06,src:000001,op:havoc,rep:4
new file mode 100644
index 00000000..09aa0509
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000023,sig:06,src:000001,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000024,sig:11,src:000001,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000024,sig:11,src:000001,op:havoc,rep:8
new file mode 100644
index 00000000..31239618
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000024,sig:11,src:000001,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000025,sig:11,src:000005,op:flip1,pos:22 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000025,sig:11,src:000005,op:flip1,pos:22
new file mode 100644
index 00000000..91f2b568
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000025,sig:11,src:000005,op:flip1,pos:22
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000026,sig:11,src:000005,op:havoc,rep:16 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000026,sig:11,src:000005,op:havoc,rep:16
new file mode 100644
index 00000000..ac40a875
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000026,sig:11,src:000005,op:havoc,rep:16
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000027,sig:11,src:000005,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000027,sig:11,src:000005,op:havoc,rep:2
new file mode 100644
index 00000000..e491f55e
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000027,sig:11,src:000005,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000028,sig:11,src:000005,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000028,sig:11,src:000005,op:havoc,rep:4
new file mode 100644
index 00000000..d56535ea
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000028,sig:11,src:000005,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000029,sig:11,src:000005,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000029,sig:11,src:000005,op:havoc,rep:8
new file mode 100644
index 00000000..1b223ff5
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000029,sig:11,src:000005,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000030,sig:11,src:000005,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000030,sig:11,src:000005,op:havoc,rep:8
new file mode 100644
index 00000000..c4b62bf4
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000030,sig:11,src:000005,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000031,sig:11,src:000005,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000031,sig:11,src:000005,op:havoc,rep:4
new file mode 100644
index 00000000..4c7e2414
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000031,sig:11,src:000005,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000032,sig:11,src:000005,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000032,sig:11,src:000005,op:havoc,rep:8
new file mode 100644
index 00000000..a11fc299
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000032,sig:11,src:000005,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000033,sig:11,src:000005,op:havoc,rep:16 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000033,sig:11,src:000005,op:havoc,rep:16
new file mode 100644
index 00000000..e466d709
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000033,sig:11,src:000005,op:havoc,rep:16
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000034,sig:11,src:000005,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000034,sig:11,src:000005,op:havoc,rep:8
new file mode 100644
index 00000000..35934622
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000034,sig:11,src:000005,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000035,sig:11,src:000005,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000035,sig:11,src:000005,op:havoc,rep:8
new file mode 100644
index 00000000..8469dc91
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/01/min:id:000035,sig:11,src:000005,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/02/id:000000,sig:11,src:000001,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/02/id:000000,sig:11,src:000001,op:havoc,rep:4
new file mode 100644
index 00000000..b27ad3cd
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/02/id:000000,sig:11,src:000001,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/02/id:000001,sig:11,src:000001,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/02/id:000001,sig:11,src:000001,op:havoc,rep:2
new file mode 100644
index 00000000..814f592b
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/02/id:000001,sig:11,src:000001,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/02/id:000002,sig:11,src:000001,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/02/id:000002,sig:11,src:000001,op:havoc,rep:2
new file mode 100644
index 00000000..668f2406
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/02/id:000002,sig:11,src:000001,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/02/id:000003,sig:11,src:000002,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/02/id:000003,sig:11,src:000002,op:havoc,rep:4
new file mode 100644
index 00000000..738b17ed
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/02/id:000003,sig:11,src:000002,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000000,sig:11,src:000001,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000000,sig:11,src:000001,op:havoc,rep:4
new file mode 100644
index 00000000..f80de40a
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000000,sig:11,src:000001,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000001,sig:11,src:000001,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000001,sig:11,src:000001,op:havoc,rep:2
new file mode 100644
index 00000000..e2952fa6
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000001,sig:11,src:000001,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000002,sig:11,src:000001,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000002,sig:11,src:000001,op:havoc,rep:2
new file mode 100644
index 00000000..c5741eec
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000002,sig:11,src:000001,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000003,sig:11,src:000001,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000003,sig:11,src:000001,op:havoc,rep:2
new file mode 100644
index 00000000..b46770b7
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000003,sig:11,src:000001,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000004,sig:11,src:000002,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000004,sig:11,src:000002,op:havoc,rep:4
new file mode 100644
index 00000000..c8695271
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000004,sig:11,src:000002,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000005,sig:11,src:000005,op:flip1,pos:20 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000005,sig:11,src:000005,op:flip1,pos:20
new file mode 100644
index 00000000..da8c9f9c
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000005,sig:11,src:000005,op:flip1,pos:20
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000006,sig:11,src:000005,op:flip1,pos:22 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000006,sig:11,src:000005,op:flip1,pos:22
new file mode 100644
index 00000000..667df759
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000006,sig:11,src:000005,op:flip1,pos:22
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000007,sig:11,src:000005,op:flip4,pos:24 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000007,sig:11,src:000005,op:flip4,pos:24
new file mode 100644
index 00000000..65bdede4
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000007,sig:11,src:000005,op:flip4,pos:24
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000008,sig:11,src:000005,op:arith8,pos:3,val:+10 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000008,sig:11,src:000005,op:arith8,pos:3,val:+10
new file mode 100644
index 00000000..47f52f38
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000008,sig:11,src:000005,op:arith8,pos:3,val:+10
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000009,sig:11,src:000005,op:arith8,pos:3,val:+18 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000009,sig:11,src:000005,op:arith8,pos:3,val:+18
new file mode 100644
index 00000000..0368ff9a
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000009,sig:11,src:000005,op:arith8,pos:3,val:+18
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000010,sig:11,src:000005,op:int8,pos:23,val:-1 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000010,sig:11,src:000005,op:int8,pos:23,val:-1
new file mode 100644
index 00000000..3c37a2ea
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000010,sig:11,src:000005,op:int8,pos:23,val:-1
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000011,sig:11,src:000005,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000011,sig:11,src:000005,op:havoc,rep:4
new file mode 100644
index 00000000..d9924630
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000011,sig:11,src:000005,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000012,sig:11,src:000005,op:havoc,rep:16 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000012,sig:11,src:000005,op:havoc,rep:16
new file mode 100644
index 00000000..e3ed23d9
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000012,sig:11,src:000005,op:havoc,rep:16
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000013,sig:11,src:000005,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000013,sig:11,src:000005,op:havoc,rep:8
new file mode 100644
index 00000000..d816c03e
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000013,sig:11,src:000005,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000014,sig:11,src:000005,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000014,sig:11,src:000005,op:havoc,rep:2
new file mode 100644
index 00000000..be9da1ac
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000014,sig:11,src:000005,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000015,sig:11,src:000005,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000015,sig:11,src:000005,op:havoc,rep:2
new file mode 100644
index 00000000..a82bc714
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000015,sig:11,src:000005,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000016,sig:11,src:000005,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000016,sig:11,src:000005,op:havoc,rep:2
new file mode 100644
index 00000000..b9bff3d6
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000016,sig:11,src:000005,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000017,sig:11,src:000005,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000017,sig:11,src:000005,op:havoc,rep:2
new file mode 100644
index 00000000..68a96676
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000017,sig:11,src:000005,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000018,sig:11,src:000082,op:flip32,pos:19 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000018,sig:11,src:000082,op:flip32,pos:19
new file mode 100644
index 00000000..57b2844a
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000018,sig:11,src:000082,op:flip32,pos:19
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000019,sig:11,src:000082,op:int32,pos:19,val:be:+65535 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000019,sig:11,src:000082,op:int32,pos:19,val:be:+65535
new file mode 100644
index 00000000..ce62db8c
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000019,sig:11,src:000082,op:int32,pos:19,val:be:+65535
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000020,sig:11,src:000155,op:flip2,pos:28 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000020,sig:11,src:000155,op:flip2,pos:28
new file mode 100644
index 00000000..78022737
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000020,sig:11,src:000155,op:flip2,pos:28
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000021,sig:11,src:000166,op:flip2,pos:10 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000021,sig:11,src:000166,op:flip2,pos:10
new file mode 100644
index 00000000..842c3bf6
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000021,sig:11,src:000166,op:flip2,pos:10
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000022,sig:11,src:000156,op:int16,pos:26,val:-129 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000022,sig:11,src:000156,op:int16,pos:26,val:-129
new file mode 100644
index 00000000..6980e221
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000022,sig:11,src:000156,op:int16,pos:26,val:-129
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000023,sig:11,src:000193,op:int16,pos:31,val:be:+32 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000023,sig:11,src:000193,op:int16,pos:31,val:be:+32
new file mode 100644
index 00000000..78c93522
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000023,sig:11,src:000193,op:int16,pos:31,val:be:+32
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000024,sig:11,src:000230,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000024,sig:11,src:000230,op:havoc,rep:2
new file mode 100644
index 00000000..d19b3777
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000024,sig:11,src:000230,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000025,sig:11,src:000230,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000025,sig:11,src:000230,op:havoc,rep:2
new file mode 100644
index 00000000..98a8029b
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000025,sig:11,src:000230,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000026,sig:11,src:000245,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000026,sig:11,src:000245,op:havoc,rep:2
new file mode 100644
index 00000000..86690c14
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000026,sig:11,src:000245,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000027,sig:11,src:000254,op:flip1,pos:32 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000027,sig:11,src:000254,op:flip1,pos:32
new file mode 100644
index 00000000..f3d1967c
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000027,sig:11,src:000254,op:flip1,pos:32
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000028,sig:11,src:000079,op:int32,pos:20,val:-128 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000028,sig:11,src:000079,op:int32,pos:20,val:-128
new file mode 100644
index 00000000..81ed3e3d
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000028,sig:11,src:000079,op:int32,pos:20,val:-128
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000029,sig:11,src:000247,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000029,sig:11,src:000247,op:havoc,rep:4
new file mode 100644
index 00000000..802dc2c5
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000029,sig:11,src:000247,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000030,sig:11,src:000257,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000030,sig:11,src:000257,op:havoc,rep:2
new file mode 100644
index 00000000..56694840
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000030,sig:11,src:000257,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000031,sig:11,src:000257,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000031,sig:11,src:000257,op:havoc,rep:2
new file mode 100644
index 00000000..d21b8d05
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000031,sig:11,src:000257,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000032,sig:11,src:000248,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000032,sig:11,src:000248,op:havoc,rep:2
new file mode 100644
index 00000000..e75141df
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000032,sig:11,src:000248,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000033,sig:11,src:000291,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000033,sig:11,src:000291,op:havoc,rep:2
new file mode 100644
index 00000000..7cd9223f
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000033,sig:11,src:000291,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000034,sig:11,src:000301,op:havoc,rep:64 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000034,sig:11,src:000301,op:havoc,rep:64
new file mode 100644
index 00000000..2279e482
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000034,sig:11,src:000301,op:havoc,rep:64
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000035,sig:11,src:000252,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000035,sig:11,src:000252,op:havoc,rep:2
new file mode 100644
index 00000000..cac51ccd
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000035,sig:11,src:000252,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000036,sig:11,src:000310,op:arith32,pos:20,val:be:-8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000036,sig:11,src:000310,op:arith32,pos:20,val:be:-8
new file mode 100644
index 00000000..f9eae921
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000036,sig:11,src:000310,op:arith32,pos:20,val:be:-8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000037,sig:11,src:000319+000163,op:splice,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000037,sig:11,src:000319+000163,op:splice,rep:2
new file mode 100644
index 00000000..8ddcbe7d
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000037,sig:11,src:000319+000163,op:splice,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000038,sig:11,src:000320,op:flip1,pos:27 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000038,sig:11,src:000320,op:flip1,pos:27
new file mode 100644
index 00000000..7e28b816
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000038,sig:11,src:000320,op:flip1,pos:27
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000039,sig:11,src:000320,op:ext_AO,pos:43 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000039,sig:11,src:000320,op:ext_AO,pos:43
new file mode 100644
index 00000000..6275ef11
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000039,sig:11,src:000320,op:ext_AO,pos:43
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000040,sig:11,src:000326,op:havoc,rep:32 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000040,sig:11,src:000326,op:havoc,rep:32
new file mode 100644
index 00000000..ad741c90
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000040,sig:11,src:000326,op:havoc,rep:32
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000041,sig:11,src:000016,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000041,sig:11,src:000016,op:havoc,rep:4
new file mode 100644
index 00000000..954b66be
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000041,sig:11,src:000016,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000042,sig:11,src:000205+000322,op:splice,rep:64 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000042,sig:11,src:000205+000322,op:splice,rep:64
new file mode 100644
index 00000000..0b02e5d0
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000042,sig:11,src:000205+000322,op:splice,rep:64
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000043,sig:11,src:000001+000321,op:splice,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000043,sig:11,src:000001+000321,op:splice,rep:4
new file mode 100644
index 00000000..858907c8
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/03/id:000043,sig:11,src:000001+000321,op:splice,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000000,sig:11,src:000001,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000000,sig:11,src:000001,op:havoc,rep:2
new file mode 100644
index 00000000..20dd419a
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000000,sig:11,src:000001,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000001,sig:11,src:000001,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000001,sig:11,src:000001,op:havoc,rep:2
new file mode 100644
index 00000000..0b0d7ec0
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000001,sig:11,src:000001,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000002,sig:11,src:000001,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000002,sig:11,src:000001,op:havoc,rep:2
new file mode 100644
index 00000000..2279b9b2
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000002,sig:11,src:000001,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000003,sig:11,src:000001,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000003,sig:11,src:000001,op:havoc,rep:4
new file mode 100644
index 00000000..a58c0517
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000003,sig:11,src:000001,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000004,sig:11,src:000034,op:int32,pos:44,val:+1000 b/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000004,sig:11,src:000034,op:int32,pos:44,val:+1000
new file mode 100644
index 00000000..397b7d92
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000004,sig:11,src:000034,op:int32,pos:44,val:+1000
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000005,sig:11,src:000063,op:int32,pos:17,val:+1000 b/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000005,sig:11,src:000063,op:int32,pos:17,val:+1000
new file mode 100644
index 00000000..929bf7f5
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000005,sig:11,src:000063,op:int32,pos:17,val:+1000
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000006,sig:11,src:000019+000004,op:splice,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000006,sig:11,src:000019+000004,op:splice,rep:2
new file mode 100644
index 00000000..16eeb314
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000006,sig:11,src:000019+000004,op:splice,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000007,sig:11,src:000047+000264,op:splice,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000007,sig:11,src:000047+000264,op:splice,rep:2
new file mode 100644
index 00000000..5684a066
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000007,sig:11,src:000047+000264,op:splice,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000008,sig:11,src:000194+000266,op:splice,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000008,sig:11,src:000194+000266,op:splice,rep:2
new file mode 100644
index 00000000..2c9b9080
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000008,sig:11,src:000194+000266,op:splice,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000009,sig:11,src:000134+000005,op:splice,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000009,sig:11,src:000134+000005,op:splice,rep:2
new file mode 100644
index 00000000..f4ce7626
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000009,sig:11,src:000134+000005,op:splice,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000010,sig:11,src:000220+000226,op:splice,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000010,sig:11,src:000220+000226,op:splice,rep:8
new file mode 100644
index 00000000..00801420
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/04/id:000010,sig:11,src:000220+000226,op:splice,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000000,sig:06,src:000001,op:flip8,pos:12 b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000000,sig:06,src:000001,op:flip8,pos:12
new file mode 100644
index 00000000..defcd4aa
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000000,sig:06,src:000001,op:flip8,pos:12
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000001,sig:06,src:000001,op:havoc,rep:16 b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000001,sig:06,src:000001,op:havoc,rep:16
new file mode 100644
index 00000000..9d491552
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000001,sig:06,src:000001,op:havoc,rep:16
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000002,sig:06,src:000001,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000002,sig:06,src:000001,op:havoc,rep:4
new file mode 100644
index 00000000..a89debe1
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000002,sig:06,src:000001,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000003,sig:06,src:000001,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000003,sig:06,src:000001,op:havoc,rep:4
new file mode 100644
index 00000000..e6d8d317
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000003,sig:06,src:000001,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000004,sig:06,src:000001,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000004,sig:06,src:000001,op:havoc,rep:4
new file mode 100644
index 00000000..2bae79b7
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000004,sig:06,src:000001,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000005,sig:06,src:000012,op:flip1,pos:13 b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000005,sig:06,src:000012,op:flip1,pos:13
new file mode 100644
index 00000000..2703e143
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000005,sig:06,src:000012,op:flip1,pos:13
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000006,sig:06,src:000012,op:havoc,rep:16 b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000006,sig:06,src:000012,op:havoc,rep:16
new file mode 100644
index 00000000..f305fc64
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000006,sig:06,src:000012,op:havoc,rep:16
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000007,sig:06,src:000108,op:arith16,pos:14,val:-2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000007,sig:06,src:000108,op:arith16,pos:14,val:-2
new file mode 100644
index 00000000..f1d20195
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000007,sig:06,src:000108,op:arith16,pos:14,val:-2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000008,sig:06,src:000003,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000008,sig:06,src:000003,op:havoc,rep:4
new file mode 100644
index 00000000..b7d128c8
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000008,sig:06,src:000003,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000009,sig:06,src:000140,op:flip1,pos:15 b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000009,sig:06,src:000140,op:flip1,pos:15
new file mode 100644
index 00000000..93962e4d
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000009,sig:06,src:000140,op:flip1,pos:15
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000010,sig:06,src:000092,op:flip4,pos:3 b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000010,sig:06,src:000092,op:flip4,pos:3
new file mode 100644
index 00000000..9c27406a
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000010,sig:06,src:000092,op:flip4,pos:3
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000011,sig:06,src:000155,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000011,sig:06,src:000155,op:havoc,rep:8
new file mode 100644
index 00000000..8b0c48bc
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000011,sig:06,src:000155,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000012,sig:06,src:000163+000116,op:splice,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000012,sig:06,src:000163+000116,op:splice,rep:8
new file mode 100644
index 00000000..6ff46877
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000012,sig:06,src:000163+000116,op:splice,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000013,sig:06,src:000171,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000013,sig:06,src:000171,op:havoc,rep:2
new file mode 100644
index 00000000..ec0bcb2a
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000013,sig:06,src:000171,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000014,sig:06,src:000170,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000014,sig:06,src:000170,op:havoc,rep:8
new file mode 100644
index 00000000..2eda2bea
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/05/id:000014,sig:06,src:000170,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000001,sig:06,src:000001,op:havoc,rep:16 b/test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000001,sig:06,src:000001,op:havoc,rep:16
new file mode 100644
index 00000000..7e1a7324
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000001,sig:06,src:000001,op:havoc,rep:16
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000002,sig:06,src:000001,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000002,sig:06,src:000001,op:havoc,rep:4
new file mode 100644
index 00000000..8e99e95c
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000002,sig:06,src:000001,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000003,sig:06,src:000001,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000003,sig:06,src:000001,op:havoc,rep:8
new file mode 100644
index 00000000..390a864d
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000003,sig:06,src:000001,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000004,sig:06,src:000001,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000004,sig:06,src:000001,op:havoc,rep:8
new file mode 100644
index 00000000..c463d1b7
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000004,sig:06,src:000001,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000005,sig:06,src:000001,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000005,sig:06,src:000001,op:havoc,rep:4
new file mode 100644
index 00000000..bf1786fa
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000005,sig:06,src:000001,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000007,sig:06,src:000121,op:arith8,pos:12,val:+26 b/test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000007,sig:06,src:000121,op:arith8,pos:12,val:+26
new file mode 100644
index 00000000..41a83035
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000007,sig:06,src:000121,op:arith8,pos:12,val:+26
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000008,sig:06,src:000137,op:flip1,pos:58 b/test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000008,sig:06,src:000137,op:flip1,pos:58
new file mode 100644
index 00000000..efbac959
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/06/id:000008,sig:06,src:000137,op:flip1,pos:58
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/07/id:000000,sig:06,src:000001,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/07/id:000000,sig:06,src:000001,op:havoc,rep:8
new file mode 100644
index 00000000..81700544
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/07/id:000000,sig:06,src:000001,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/07/id:000001,sig:06,src:000019,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/07/id:000001,sig:06,src:000019,op:havoc,rep:4
new file mode 100644
index 00000000..67995064
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/07/id:000001,sig:06,src:000019,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/07/id:000002,sig:06,src:000021,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/07/id:000002,sig:06,src:000021,op:havoc,rep:8
new file mode 100644
index 00000000..83dc6e7e
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/07/id:000002,sig:06,src:000021,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/08/id:000000,sig:06,src:000157,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/08/id:000000,sig:06,src:000157,op:havoc,rep:4
new file mode 100644
index 00000000..2183b4f0
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/08/id:000000,sig:06,src:000157,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000000,sig:11,src:000001,op:int16,pos:11,val:be:-128 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000000,sig:11,src:000001,op:int16,pos:11,val:be:-128
new file mode 100644
index 00000000..05c62003
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000000,sig:11,src:000001,op:int16,pos:11,val:be:-128
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000001,sig:11,src:000001,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000001,sig:11,src:000001,op:havoc,rep:2
new file mode 100644
index 00000000..8d65128f
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000001,sig:11,src:000001,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000002,sig:11,src:000023,op:flip2,pos:12 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000002,sig:11,src:000023,op:flip2,pos:12
new file mode 100644
index 00000000..8a82d1c1
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000002,sig:11,src:000023,op:flip2,pos:12
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000003,sig:11,src:000023,op:arith8,pos:14,val:-28 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000003,sig:11,src:000023,op:arith8,pos:14,val:-28
new file mode 100644
index 00000000..8a0c6ef4
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000003,sig:11,src:000023,op:arith8,pos:14,val:-28
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000004,sig:11,src:000075,op:flip4,pos:61 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000004,sig:11,src:000075,op:flip4,pos:61
new file mode 100644
index 00000000..2ce385ef
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000004,sig:11,src:000075,op:flip4,pos:61
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000005,sig:11,src:000075,op:arith8,pos:57,val:-5 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000005,sig:11,src:000075,op:arith8,pos:57,val:-5
new file mode 100644
index 00000000..1ff3ea51
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000005,sig:11,src:000075,op:arith8,pos:57,val:-5
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000006,sig:11,src:000075,op:arith16,pos:62,val:+28 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000006,sig:11,src:000075,op:arith16,pos:62,val:+28
new file mode 100644
index 00000000..1b1b622f
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000006,sig:11,src:000075,op:arith16,pos:62,val:+28
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000007,sig:11,src:000075,op:havoc,rep:32 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000007,sig:11,src:000075,op:havoc,rep:32
new file mode 100644
index 00000000..af339549
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000007,sig:11,src:000075,op:havoc,rep:32
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000008,sig:11,src:000133,op:arith8,pos:13,val:-34 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000008,sig:11,src:000133,op:arith8,pos:13,val:-34
new file mode 100644
index 00000000..59b67d22
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000008,sig:11,src:000133,op:arith8,pos:13,val:-34
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000009,sig:11,src:000133,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000009,sig:11,src:000133,op:havoc,rep:2
new file mode 100644
index 00000000..cfa1a087
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000009,sig:11,src:000133,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000010,sig:11,src:000133,op:havoc,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000010,sig:11,src:000133,op:havoc,rep:4
new file mode 100644
index 00000000..207cef2f
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000010,sig:11,src:000133,op:havoc,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000011,sig:11,src:000151,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000011,sig:11,src:000151,op:havoc,rep:2
new file mode 100644
index 00000000..102fd05d
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000011,sig:11,src:000151,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000012,sig:11,src:000212,op:arith8,pos:45,val:+9 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000012,sig:11,src:000212,op:arith8,pos:45,val:+9
new file mode 100644
index 00000000..29ec3e8f
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000012,sig:11,src:000212,op:arith8,pos:45,val:+9
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000013,sig:11,src:000212,op:int32,pos:15,val:+32767 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000013,sig:11,src:000212,op:int32,pos:15,val:+32767
new file mode 100644
index 00000000..4c9fb140
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000013,sig:11,src:000212,op:int32,pos:15,val:+32767
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000014,sig:11,src:000212,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000014,sig:11,src:000212,op:havoc,rep:2
new file mode 100644
index 00000000..67e5b6c8
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000014,sig:11,src:000212,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000015,sig:11,src:000087,op:arith8,pos:20,val:+11 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000015,sig:11,src:000087,op:arith8,pos:20,val:+11
new file mode 100644
index 00000000..c450bf6f
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000015,sig:11,src:000087,op:arith8,pos:20,val:+11
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000016,sig:11,src:000098,op:flip1,pos:13 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000016,sig:11,src:000098,op:flip1,pos:13
new file mode 100644
index 00000000..32f78bac
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000016,sig:11,src:000098,op:flip1,pos:13
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000017,sig:11,src:000098,op:flip2,pos:13 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000017,sig:11,src:000098,op:flip2,pos:13
new file mode 100644
index 00000000..43a8d73d
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000017,sig:11,src:000098,op:flip2,pos:13
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000018,sig:11,src:000098,op:flip4,pos:12 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000018,sig:11,src:000098,op:flip4,pos:12
new file mode 100644
index 00000000..0d641109
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000018,sig:11,src:000098,op:flip4,pos:12
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000019,sig:11,src:000098,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000019,sig:11,src:000098,op:havoc,rep:2
new file mode 100644
index 00000000..fafd2963
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000019,sig:11,src:000098,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000020,sig:11,src:000133,op:havoc,rep:2 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000020,sig:11,src:000133,op:havoc,rep:2
new file mode 100644
index 00000000..ba4c396a
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000020,sig:11,src:000133,op:havoc,rep:2
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000021,sig:11,src:000134,op:int16,pos:13,val:be:-128 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000021,sig:11,src:000134,op:int16,pos:13,val:be:-128
new file mode 100644
index 00000000..18d3adbf
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000021,sig:11,src:000134,op:int16,pos:13,val:be:-128
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000022,sig:11,src:000218,op:flip2,pos:40 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000022,sig:11,src:000218,op:flip2,pos:40
new file mode 100644
index 00000000..793a6b04
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000022,sig:11,src:000218,op:flip2,pos:40
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000023,sig:11,src:000218,op:int16,pos:111,val:+0 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000023,sig:11,src:000218,op:int16,pos:111,val:+0
new file mode 100644
index 00000000..2cff7c32
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000023,sig:11,src:000218,op:int16,pos:111,val:+0
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000025,sig:11,src:000235,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000025,sig:11,src:000235,op:havoc,rep:8
new file mode 100644
index 00000000..74e7a2f1
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000025,sig:11,src:000235,op:havoc,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000026,sig:11,src:000143,op:arith8,pos:19,val:+3 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000026,sig:11,src:000143,op:arith8,pos:19,val:+3
new file mode 100644
index 00000000..5bfe3775
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000026,sig:11,src:000143,op:arith8,pos:19,val:+3
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000027,sig:11,src:000024+000141,op:splice,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000027,sig:11,src:000024+000141,op:splice,rep:4
new file mode 100644
index 00000000..340c3f17
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000027,sig:11,src:000024+000141,op:splice,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000028,sig:11,src:000219,op:arith16,pos:62,val:be:-23 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000028,sig:11,src:000219,op:arith16,pos:62,val:be:-23
new file mode 100644
index 00000000..b8a88c9b
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000028,sig:11,src:000219,op:arith16,pos:62,val:be:-23
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000031,sig:11,src:000256,op:flip2,pos:480 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000031,sig:11,src:000256,op:flip2,pos:480
new file mode 100644
index 00000000..916b391a
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000031,sig:11,src:000256,op:flip2,pos:480
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000032,sig:11,src:000256,op:flip4,pos:248 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000032,sig:11,src:000256,op:flip4,pos:248
new file mode 100644
index 00000000..5379b0ad
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000032,sig:11,src:000256,op:flip4,pos:248
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000033,sig:11,src:000256,op:flip4,pos:364 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000033,sig:11,src:000256,op:flip4,pos:364
new file mode 100644
index 00000000..79838c13
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000033,sig:11,src:000256,op:flip4,pos:364
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000034,sig:06,src:000256,op:arith8,pos:499,val:+8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000034,sig:06,src:000256,op:arith8,pos:499,val:+8
new file mode 100644
index 00000000..f887616e
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000034,sig:06,src:000256,op:arith8,pos:499,val:+8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000036,sig:11,src:000256+000131,op:splice,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000036,sig:11,src:000256+000131,op:splice,rep:8
new file mode 100644
index 00000000..2e908bd1
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000036,sig:11,src:000256+000131,op:splice,rep:8
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000037,sig:11,src:000260,op:flip2,pos:264 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000037,sig:11,src:000260,op:flip2,pos:264
new file mode 100644
index 00000000..441aa160
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000037,sig:11,src:000260,op:flip2,pos:264
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000038,sig:11,src:000260,op:arith16,pos:254,val:-29 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000038,sig:11,src:000260,op:arith16,pos:254,val:-29
new file mode 100644
index 00000000..7dea3f10
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000038,sig:11,src:000260,op:arith16,pos:254,val:-29
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000039,sig:11,src:000260,op:int16,pos:397,val:+0 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000039,sig:11,src:000260,op:int16,pos:397,val:+0
new file mode 100644
index 00000000..2150123a
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000039,sig:11,src:000260,op:int16,pos:397,val:+0
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000040,sig:11,src:000272+000023,op:splice,rep:4 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000040,sig:11,src:000272+000023,op:splice,rep:4
new file mode 100644
index 00000000..7b3a68c7
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000040,sig:11,src:000272+000023,op:splice,rep:4
Binary files differ
diff --git a/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000041,sig:11,src:000253,op:havoc,rep:8 b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000041,sig:11,src:000253,op:havoc,rep:8
new file mode 100644
index 00000000..e6147cda
--- /dev/null
+++ b/test/monniaux/uzlib/tests/decomp-bad-inputs/09/id:000041,sig:11,src:000253,op:havoc,rep:8
Binary files differ