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