※ 引述《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