推 lunworld:Ric不虧是Ric......Orz 01/23 23:17
推 timrau:"其他常見錯誤1"有可能是因為initial value錯了 01/23 23:53
→ ric2k1:有可能, 但是我看到的不是ㄟ... 01/24 00:01
為了不要讓大家辛苦做的 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...
其他常見的錯誤, 我沒有去看為什麼...
1. xor/xnor 的 phase 弄反了
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.131.33