作者HigherKuo (我需要好运)
看板EE_DSnP
标题[问题] test.cpp
时间Fri Jun 20 15:28:59 2008
我执行test.cpp
马上就错在
BddNode::BddNode(size_t): Assertion `v!=0' failed.
但是似乎又连test.cpp main()第一行都还没执行到
请教一下程式哪里呼叫了BddNode(size_t)这个constructor呢？
感谢！
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.4.234
1F：推 BattleRoyale:init的时候吧? 06/20 16:02
2F：→ HigherKuo:init呼叫uniquify，uniquify呼叫BddNodeInt的constructo 06/20 16:13
3F：→ HigherKuo:然後就挂了，但是那边没看到BddNode的constructor 06/20 16:13
4F：→ HigherKuo:而且那里的程式都是老师写的耶！到底问题出在哪呢？ 06/20 16:14
5F：推 ric2k1:试着 b BddMgr::uniquify step in 进去看看... 06/20 17:11
6F：推 yongling:也许你的 constructor 应该检查的类型是 BddNodeInt* 06/20 18:38