@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); } }