作者david942j (文旋)
看板EE_DSnP
标题[问题] SatSolver Aborted() 已解决
时间Mon Jan 14 15:10:43 2013
各种崩溃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;
没有支援这个功能的函式..
所以是要自己加?
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 219.70.194.232
1F：→ hsnuyi:cirw的部份 不用 那是optional的 讲义里有说 01/14 15:35
2F：→ david942j:一模一样的code写在satTest.cpp就正常 在cirFraig.cpp就 01/14 15:59
3F：→ david942j:坏掉 我快哭了.... 01/14 15:59
4F：推 butterfly21:原PO已崩溃 01/14 16:36
我阿阿阿阿阿阿阿阿阿
我要相信自己的code了
是SAT自己坏掉= =
我重抓fraig.tgz问题就解决了 QQ
原因不明Orz
我发现我每次找不到bug都是档案坏掉...so sad....
※ 编辑: david942j 来自: 219.70.194.232 (01/14 16:41)
※ 编辑: david942j 来自: 219.70.194.232 (01/14 16:42)
5F：→ david942j:我发现问题了 我只要Makefile有-O3 SAT就会爆炸 01/14 18:27
6F：推 yan12125:未看先猜电路里面有UNDEF_GATE? 01/14 19:04
7F：→ david942j:回楼上 如果我没写错的话是不会有的 01/14 19:31
8F：→ yan12125:唔 我在SAT里面crash都是因为UNDEF，不然丢电路上来？ 01/14 19:35
9F：→ yan12125:check只是assert外面又包一层函数，元凶乃呼叫他的人 01/14 19:39