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