Updates:
Status: Fixed
Comment #7 on issue 1486 by fab...@fseoane.net: Tests for sympy.logic
http://code.google.com/p/sympy/issues/detail?id=1486
Added some more tests for dpll and pushed it in.
http://git.sympy.org/?p=sympy.git;a=commit;h=126c5d464d757f48ae58e5ab4ff732a079552ca7
--
Comment #4 on issue 1486 by fab...@fseoane.net: Tests for sympy.logic
http://code.google.com/p/sympy/issues/detail?id=1486
Many thanks!. Looks good, just:
- do we really need those assert ?, Now that code is tested and works
fine I think
we can delete them
I attach a reworked patch, in
Comment #5 on issue 1486 by fab...@fseoane.net: Tests for sympy.logic
http://code.google.com/p/sympy/issues/detail?id=1486
(No comment was entered for this change.)
Attachments:
0002-Full-test-coverage-for-sympy.logic.patch 7.5 KB
--
You received this message because you are listed
Comment #6 on issue 1486 by ondrej.certik: Tests for sympy.logic
http://code.google.com/p/sympy/issues/detail?id=1486
That applies cleanly for me --- it's +1 from me.
--
You received this message because you are listed in the owner
or CC fields of this issue, or because you starred this issue.
Updates:
Status: Accepted
Labels: Milestone-Release0.6.5
Comment #1 on issue 1486 by ondrej.certik: Tests for sympy.logic
http://code.google.com/p/sympy/issues/detail?id=1486
Many thanks!
Which patch should be this one applied to?
$ git am