package dot.junit.opcodes.const_16;
import dot.junit.DxTestCase;
import dot.junit.DxUtil;
import dot.junit.opcodes.const_16.d.T_const_16_1;
public class Test_const_16 extends DxTestCase {
/**
* @title const/16 v254, -20000
*/
public void testN2() {
T_const_16_1 t = new T_const_16_1();
int a = -10000;
int b = -10000;
assertEquals(a + b, t.run());
}
/**
* @constraint A23
* @title number of registers
*/
public void testVFE1() {
try {
Class.forName("dot.junit.opcodes.const_16.d.T_const_16_3");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
/**
* @constraint B11
* @title When writing to a register that is one half of a register
* pair, but not touching the other half, the old register pair gets broken up, and the
* other register involved in it becomes undefined
*/
public void testVFE2() {
try {
Class.forName("dot.junit.opcodes.const_16.d.T_const_16_4");
fail("expected a verification exception");
} catch (Throwable t) {
DxUtil.checkVerifyException(t);
}
}
}
没有合适的资源?快使用搜索试试~ 我知道了~
Test_const_16.rar_Thrown
共2个文件
java:2个
1.该资源内容由用户上传,如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
版权申诉
0 下载量 124 浏览量
2022-09-24
19:44:45
上传
评论
收藏 1KB RAR 举报
温馨提示
An exception thrown during packaging of an APK file.
资源推荐
资源详情
资源评论
收起资源包目录
Test_const_16.rar (2个子文件)
Test_const_16.java 1KB
DuplicateFileException.java 941B
共 2 条
- 1
资源评论
局外狗
- 粉丝: 64
- 资源: 1万+
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功