作者alvin1019127 (alvin)
看板EE_DSnP
標題[問題] sat assertion
時間Sun Jan 8 19:31:25 2012
-O3打開後丟cirr sim13.aag
cirsim -f pattern.13
cirfraig，然後就
出現fraig: Solver.h:215: void check(bool): Assertion `expr' failed.
我測了sim12就沒有問題＠＠
不太清楚哪裡出錯了
請高手解答，謝謝
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.244.147
※ 編輯: alvin1019127 來自: 140.112.244.147 (01/08 22:14)
1F：推 ric2k1:這時候只能用 cout 看一下是什麼時候出錯，由 dump 出來的 01/08 22:34
2F：→ ric2k1:資料推測問題所在，或是藉此試著 reproduce一個 debug mode 01/08 22:35
3F：→ ric2k1:也會 crash 的 case 了... 01/08 22:36
4F：→ wmin0:先開個gdb看個stack是怎麼死的 01/08 23:46
5F：→ alvin1019127:我找看看是哪寫錯了 01/09 10:24
6F：→ alvin1019127:cout是要寫在sat裡面找? 01/09 10:25
7F：推 ric2k1:至少可以先看看是在正哪一個 pair, 第幾次呼叫 SAT 的時候 01/09 10:55
8F：→ ric2k1:crash, 然後你可以讓程式停下來, 看看那個 pair 有沒有接錯 01/09 10:56
9F：→ ric2k1:或是什麼的。我之前也遇過這種情形，通常是在更之前的merge 01/09 10:57
10F：→ ric2k1:就不小心把 circuit 搞爛了，結果到後面才 crash... 01/09 10:57
11F：推 ric2k1:正 --> 證 01/09 10:58