各种崩溃QQQ
我执行两个AIG的prove的时候跳出这个
fraig: Solver.h:215: void check(bool): Assertion `expr' failed.
Aborted
但是同样的电路
要是换个顺序检查的话又不会崩溃了
好比说
先检查
4 5
再检查
5 6
会出现上面的讯息
检查顺序相反的话又会成功比对
我也很希望是我电路建错了...
可是看许久看不出有哪理有问题
也有在sat.h理面的Xor和Aig两种建电路的函式看建电路过程
看起来都没问题QQQQ
可是它就是会Aborted()
有人知道可能原因嘛><
另外问一下
cirw 的附加功能(可以从某个gate印fanin)
那个要写嘛?
因为cirMgr.h理面只有
void writeAag(ostream&) const;
没有支援这个功能的函式..
所以是要自己加?