Example #1
0
 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);
   }
 }
Example #2
0
 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);
   }
 }
Example #3
0
 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);
   }
 }
Example #4
0
 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);
   }
 }
Example #5
0
 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);
   }
 }