[問題] test.cpp

[HigherKuo (我需要好運)]

我執行test.cpp

馬上就錯在
BddNode::BddNode(size_t): Assertion `v!=0' failed.

但是似乎又連test.cpp main()第一行都還沒執行到

請教一下程式哪裡呼叫了BddNode(size_t)這個constructor呢？

感謝！

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.4.234
推 BattleRoyale:init的時候吧?
→ HigherKuo:init呼叫uniquify，uniquify呼叫BddNodeInt的constructo
→ HigherKuo:然後就掛了，但是那邊沒看到BddNode的constructor
→ HigherKuo:而且那裡的程式都是老師寫的耶！到底問題出在哪呢？
推 ric2k1:試著 b BddMgr::uniquify  step in 進去看看...
推 yongling:也許你的 constructor 應該檢查的類型是 BddNodeInt*