#545: [with patch, needs work] polish the new symbolic logic code.
------------------------------+---------------------------------------------
Reporter: was | Owner: chrisgorecki
Type: enhancement | Status: reopened
Priority: major | Milestone: sage-3.3
Component: basic arithmetic | Resolution:
Keywords: editor_wstein |
------------------------------+---------------------------------------------
Changes (by mabshoff):
* status: closed => reopened
* resolution: fixed =>
* summary: [with patch, positive review] polish the new symbolic logic
code. => [with patch, needs work] polish the
new symbolic logic code.
Comment:
Reopened: The coverage of this code '''sucks''':
{{{
mabsh...@geom:/scratch/mabshoff/sage-3.3.alpha1$ ./sage -coverageall
devel//sage/sage/logic/
booleval.py: 100% (3 of 3)
boolformula.py: 93% (30 of 32)
boolopt.py: 0% (0 of 55)
logic.py: 16% (3 of 18)
logicparser.py: 100% (5 of 5)
logictable.py: 100% (4 of 4)
propcalc.py: 100% (1 of 1)
}}}
Cheers,
Michael
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/545#comment:38>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
