public static void main(String[] args) throws Exception {
try {
Class.forName("dot.junit.opcodes.ushr_int_lit8.d.T_ushr_int_lit8_14");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
public static void main(String[] args) throws Exception {
try {
Class.forName("dot.junit.opcodes.iput_byte.d.T_iput_byte_18");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
public static void main(String[] args) throws Exception {
try {
Class.forName("dxc.junit.opcodes.array_length.jm.T_array_length_5");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
public static void main(String[] args) throws Exception {
try {
Class.forName("dot.junit.opcodes.mul_long_2addr.d.T_mul_long_2addr_5");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
public static void main(String[] args) throws Exception {
// @uses dot.junit.opcodes.invoke_super_range.d.T_invoke_super_range_12
// @uses dot.junit.opcodes.invoke_super_range.d.TSuper
try {
Class.forName("dot.junit.opcodes.invoke_super_range.d.T_invoke_super_range_12");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}