[問題] SatSolver Aborted() 已解決
各種崩潰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
→
01/14 15:35, , 1F
01/14 15:35, 1F
→
01/14 15:59, , 2F
01/14 15:59, 2F
→
01/14 15:59, , 3F
01/14 15:59, 3F
推
01/14 16:36, , 4F
01/14 16:36, 4F
我阿阿阿阿阿阿阿阿阿
我要相信自己的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)
→
01/14 18:27, , 5F
01/14 18:27, 5F
推
01/14 19:04, , 6F
01/14 19:04, 6F
→
01/14 19:31, , 7F
01/14 19:31, 7F
→
01/14 19:35, , 8F
01/14 19:35, 8F
→
01/14 19:39, , 9F
01/14 19:39, 9F