作者Ruger (一直處於忙碌中...)
看板EE_DSnP
標題Re: [問題] cirsetv 的問題
時間Wed Jun 25 06:54:25 2008
※ 引述《dragonegg (egg)》之銘言:
: 如題,我在試C432.aag時出現一個很奇怪的情況…
: 就是我直接使用dofile時不會有error message,但是直接一行一行打的時候,
: 會在cirsetv -f 時出現以下的error message
: Warning: circuit BDD variable order has been set!!
: Warning: resetting BDDs...
: Error: support size is smaller than the circuit input size!!
: 看了老半天也不知道錯在哪裡Orz...可以請大家幫忙出個意見嗎?
: 謝謝。
我也有類似問題耶
bdd> breset 256 65521 65521
bdd> cirr ../testcases/C432.aag
bdd> cirsetv -file
Warning: circuit BDD variable order has been set!!
Warning: resetting BDDs...
Error: support size is smaller than the circuit input size!!
用ddd trace的結果是 在cirCmd裡面
很奇怪他會過不了if(cirMgr->isBddVarOrderSet())
於是他就跑到判斷式裡印出warning
然後對..BddMgr reset!!!
這樣之前的reset就會被洗掉
可是我明明是直接用dofile來執行 所以不是重複執行
為甚麼cirMgr 的 _BddVarOrder 會不知道在哪裡被set了
這算是跟自己寫的地方有關嗎
可是bddMgr reset 應該沒有關係阿
還是跟老師給的CirMgr.o有關係????
(我的是link到最新下載的CirMgr-64.o to64的link內容也更新過)
麻煩誰可以解救我一下 只剩4小時了QQ
因為我除了C17之外其他全部都有一樣問題 這樣什麼都測不了@@
(目前我暫時把判斷是裡面的對memMgr reset的指令拿掉 這樣就可以跑)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 118.169.197.223