[问题] Solver::propagate(): Assertion stanleysu PTT批踢踢实业坊

楼主: stanleysu (士唐) 2013-01-15 01:32:48

如标题,再做fraig的时候，程式跑一跑之后出现以下的这行
fraig: Solver.cpp:504: Clause* Solver::propagate():
Assertion `c[1] == false_lit' failed.
想请问这可能会是什么样的问题呢？

作者: sysgood (山药) 2013-01-13 16:00:00

我是2013年修的，遇到一样问题，我后来解决了，其中一个原因是因为我在fraig的时候，边fraig边删gate，导致有些var被delete掉，所以他在算的时候可能会出问题。因此我只是加判断，然后最后在delete，这样可以避免。

作者: abc346289 2013-01-15 01:34:00

你在assume值前有先release吗??

楼主: stanleysu (士唐) 2013-01-15 01:51:00

有欧

作者: ric2k1 (Ric) 2013-01-15 02:05:00

看来 memory 有被 corrupt 掉... 只能 comment out 掉一些code 慢慢查看，或是呼叫 valgrind 了...

楼主: stanleysu (士唐) 2013-01-15 03:43:00

我发现我把simulation的次数调少就不会出现那问题在simulation超过500之后大多就会fail QAQ

作者: XDucka (Duck) 2013-01-15 11:21:00

+1 ...

作者: ahpc82 (Ping) 2013-01-19 14:36:00

楼上高微A+

继续阅读