作者dragonegg (egg)
站内EE_DSnP
标题[问题] cirsetv 的问题
时间Wed Jun 25 01:00:04 2008
如题，我在试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...可以请大家帮忙出个意见吗?
谢谢。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.4.235
1F：推 ric2k1:1422? 06/25 01:05
2F：→ dragonegg:可是我的cirsetv只叫了这一次就error了… 06/25 01:25