推 sa901119:走過的要記住 06/25 14:09
→ dostaevsky:bddMgr->addBddNode(this->getName(), resultBdd()) 06/25 14:37
→ dostaevsky:我把buildBdd後面加上上面那一行，但是還是不行 06/25 14:38
→ dostaevsky:嗯嗯，忘記更新_bddArr了... 06/25 14:44
→ dostaevsky:謝謝一樓! 06/25 14:44
在跑do2時crash 在brep 5
用gdb看發現是brep中的 bnode = ::getBddNode(bddNodeName)出錯
::getBddNode("5")抓不到node，也就是它的_nodeV是空的
但bddMgr.cpp中的getBddNode()應該是會判斷參數是id還是name
再從_bddArr或_bddMap中搜尋
我想operator = 右邊的node不應該是空的才對
另外，我的cirBdd.cpp 中各種gate的buildBdd()大致是照投影片p.73的提示寫的...
想請問大家這可能是哪個地方有問題？謝謝~
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.228.27.248
※ 編輯: dostaevsky 來自: 61.228.27.248 (06/25 14:06)