作者ric2k1 (Ric)
看板EE_DSnP
标题Re: [情报] BDD final project 常见错误
时间Thu Jan 25 00:54:56 2007
※ 引述《ric2k1 (Ric)》之铭言：
※ 引述《ric2k1 (Ric)》之铭言：
为了不要让大家辛苦做的 BDD 因为一些小错误而一大堆 testcases 没过,
我试着去 figure out 大家错误的地方,
如果可以让我很快看出来的,
我会改改看(ㄧ行为限)免得你後面的 commands 全部做不下去
以下是目前为止常见到造成错误的原因... (will repost if I find more later)
1. bddMgr->forceAddMap(str, ~v()); ==> segmentation fault later...
2. BddManager::forceAddBddMap 用 insert(...); ==> 这样就不会 force 了...orz
3. BddNode::_debugBddAddr / _debugRefCount 忘记设回 false...
4. if (_bddMap.find(str) != _bddMap.end()) _bddMap.insert(...)
==> 是 "==" 吧... orz
5. xor/xnor initial value 设成 1 ==> 应该是 0
6. // if( cirMgr!=0 && cirMgr->getGate(options[1])!=0 ){
// FIXED by RIC for 1.do
if( cirMgr==0 || cirMgr->getGate(options[1])==0 ){
BddNode temp = bddMgr->getSupport(level);
bddMgr->forceAddBddMap(options[1],temp());
}else return CmdExec::errorOption(CMD_OPT_ILLEGAL,options[1]);
其他常见的错误, 我没有去看为什麽...
1. xor/xnor 的 phase 弄反了
2. "brep -addr -rep a" not supported
常见的 crashes
1. bsetv -1 a
2. brep // no argument
3. band // no argument
4. band y a h // h() = 0
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.121.131.33
1F：推 lunworld:Ric不亏是Ric......Orz 01/23 23:17
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.121.131.33
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.121.131.33
※ 编辑: ric2k1 来自: 59.121.131.33 (01/25 00:56)