› 看板 EE_DSnP 關於我們 聯絡資訊
作者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
→ hsnuyi:cirw的部份 不用 那是optional的 講義裡有說 01/14 15:35
→ david942j:一模一樣的code寫在satTest.cpp就正常 在cirFraig.cpp就 01/14 15:59
→ david942j:壞掉 我快哭了.... 01/14 15:59
推 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)
→ david942j:我發現問題了 我只要Makefile有-O3 SAT就會爆炸 01/14 18:27
推 yan12125:未看先猜電路裡面有UNDEF_GATE? 01/14 19:04
→ david942j:回樓上 如果我沒寫錯的話是不會有的 01/14 19:31
→ yan12125:唔 我在SAT裡面crash都是因為UNDEF，不然丟電路上來？ 01/14 19:35
→ yan12125:check只是assert外面又包一層函數，元兇乃呼叫他的人 01/14 19:39