作者stanleysu (士唐)
看板EE_DSnP
标题[问题] Solver::propagate(): Assertion
时间Tue Jan 15 01:32:48 2013
如标题,再做fraig的时候，程式跑一跑之後出现以下的这行
fraig: Solver.cpp:504: Clause* Solver::propagate():
Assertion `c[1] == false_lit' failed.
想请问这可能会是什麽样的问题呢？
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.4.208
1F：推 abc346289:你在assume值前有先release吗?? 01/15 01:34
2F：→ stanleysu:有欧 01/15 01:51
3F：推 ric2k1:看来 memory 有被 corrupt 掉... 只能 comment out 掉一些 01/15 02:05
4F：→ ric2k1:code 慢慢查看，或是呼叫 valgrind 了... 01/15 02:06
5F：→ stanleysu:我发现我把simulation的次数调少就不会出现那问题 01/15 03:43
6F：→ stanleysu:在simulation超过500之後大多就会fail QAQ 01/15 03:44
7F：推 XDucka:+1 ... 01/15 11:21
8F：推 sysgood:我是2013年修的，遇到一样问题，我後来解决了，其中一个原 01/13 16:00
9F：→ sysgood:因是因为我在fraig的时候，边fraig边删gate，导致有些var 01/13 16:01
10F：→ sysgood:被delete掉，所以他在算的时候可能会出问题。因此我只是加 01/13 16:02
11F：→ sysgood:判断，然後最後在delete，这样可以避免。 01/13 16:02
12F：推 ahpc82:楼上高微A+ 01/19 14:36