From 558cb7a6cb048e0c95324e15d470a06859e0f599 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20G=C3=BCdemann?= <matthias.guedemann@diffblue.com>
Date: Tue, 21 Nov 2017 19:54:04 +0100
Subject: [PATCH] Add AWrapper.class which was missing from regression test

Also make regression test more strict, negative matching on `failed to load
class`, too.
---
 .../cbmc-java/generics_type_param/AWrapper.class  | Bin 0 -> 195 bytes
 .../cbmc-java/generics_type_param/test.desc       |   4 ++++
 2 files changed, 4 insertions(+)
 create mode 100644 regression/cbmc-java/generics_type_param/AWrapper.class

diff --git a/regression/cbmc-java/generics_type_param/AWrapper.class b/regression/cbmc-java/generics_type_param/AWrapper.class
new file mode 100644
index 0000000000000000000000000000000000000000..59906e8c3a260aa475de61b5c53ef782403161b1
GIT binary patch
literal 195
zcmW-ay$ZrW5QOIv^J9!C_JXBaXk#gY2(b|@6s<4GA}8?-XX1NV2^Kzp4<&B0uroW~
zF6{UB{s5Sv9l%E5q2(bIaOX;^Vj*A;M@NCi>Xwo~XQMQ2%WF*LAmfZlu)mcip-5Gs
zw<b+SC6S^my-zOkAwx9a2>8pBk$Fx=pj+W-CiQu`i!YQE7{KD!RS9msXLot(vsc6!
SzaXCV+GBNV=(GBqEHwY__#|8a

literal 0
HcmV?d00001

diff --git a/regression/cbmc-java/generics_type_param/test.desc b/regression/cbmc-java/generics_type_param/test.desc
index 762ac73f8ec..4b4bcca0974 100644
--- a/regression/cbmc-java/generics_type_param/test.desc
+++ b/regression/cbmc-java/generics_type_param/test.desc
@@ -6,3 +6,7 @@ GenericFields$SimpleGenericField.class
 Reading class AWrapper
 Reading class FWrapper
 Reading class IWrapper
+--
+failed to load class \`AWrapper\'
+failed to load class \`FWrapper\'
+failed to load class \`IWrapper\'