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