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