作者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