@Test(timeout = 4000)
public void test25() throws Throwable {
WorkspaceSnapshot workspaceSnapshot0 = new WorkspaceSnapshot();
ByteArrayOutputStream byteArrayOutputStream0 = new ByteArrayOutputStream();
// Undeclared exception!
try {
workspaceSnapshot0.serializeTo(byteArrayOutputStream0);
fail("Expecting exception: VerifyError");
} catch (VerifyError e) {
//
// Bad type on operand stack
// Exception Details:
// Location:
// com/fasterxml/jackson/databind/ObjectMapper.<clinit>()V @62: invokespecial
// Reason:
// Type 'com/fasterxml/jackson/databind/util/StdDateFormat' (current frame, stack[8]) is
// not assignable to 'java/text/DateFormat'
// Current Frame:
// bci: @62
// flags: { }
// locals: { }
// stack: { uninitialized 35, uninitialized 35, null,
// 'com/fasterxml/jackson/databind/AnnotationIntrospector',
// 'com/fasterxml/jackson/databind/introspect/VisibilityChecker', null,
// 'com/fasterxml/jackson/databind/type/TypeFactory', null,
// 'com/fasterxml/jackson/databind/util/StdDateFormat', null, 'java/util/Locale', null,
// 'com/fasterxml/jackson/core/Base64Variant' }
// Bytecode:
// 0x0000000: 1304 16b8 06ef b304 14bb 06f1 59b7 06f2
// 0x0000010: b306 e5b8 06f5 b306 e7bb 06f7 59b7 06f8
// 0x0000020: b306 e9bb 0102 5901 b206 e5b2 06e7 01b8
// 0x0000030: 00f7 01b2 06fd 01b8 0703 01b8 0709 b707
// 0x0000040: 0cb3 00fc 1307 0eb8 0713 b113 070e b807
// 0x0000050: 13bf
// Exception Handler Table:
// bci [0, 75] => handler: 75
// Stackmap Table:
// same_locals_1_stack_item_extended(@75,Object[#1587])
//
assertThrownBy("com.chiralbehaviors.CoRE.workspace.WorkspaceSnapshot", e);
}
}
