推 lunworld:Ric不虧是Ric......Orz 01/23 23:17
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.131.33
※ 引述《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
其他常見的錯誤, 我沒有去看為什麼...
1. xor/xnor 的 phase 弄反了
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.131.33