diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-03 08:17:40 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-03 08:17:40 +0100 |
commit | 1ab7b51c30e1b10ac45b0bd64cefdc01da0f7f68 (patch) | |
tree | 210ffc156c83f04fb0c61a40b4f9037d7ba8a7e1 /test/monniaux/uzlib/tests/decomp-bad-inputs/09 | |
parent | 222c9047d61961db9c6b19fed5ca49829223fd33 (diff) | |
parent | 12be46d59a2483a10d77fa8ee67f7e0ca1bd702f (diff) | |
download | compcert-kvx-1ab7b51c30e1b10ac45b0bd64cefdc01da0f7f68.tar.gz compcert-kvx-1ab7b51c30e1b10ac45b0bd64cefdc01da0f7f68.zip |
Merge branch 'mppa-cse2' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
Diffstat (limited to 'test/monniaux/uzlib/tests/decomp-bad-inputs/09')
38 files changed, 0 insertions, 0 deletions
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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 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 Binary files differnew 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 |