public void testVFE5() { try { Class.forName("dxc.junit.opcodes.lshr.jm.T_lshr_6"); fail("expected a verification exception"); } catch (Throwable t) { DxUtil.checkVerifyException(t); } }
public void testVFE1() { try { Class.forName("dxc.junit.opcodes.if_acmpne.jm.T_if_acmpne_2"); fail("expected a verification exception"); } catch (Throwable t) { DxUtil.checkVerifyException(t); } }
public void testVFE11() { // @uses dxc.junit.opcodes.invokeinterface.jm.ITest try { Class.forName("dxc.junit.opcodes.invokeinterface.jm.T_invokeinterface_20"); fail("expected a verification exception"); } catch (Throwable t) { DxUtil.checkVerifyException(t); } }