Propagatie
Issue #47
resolved
Tetsten:
full propagation unit propagation
Comments (8)
-
reporter -
reporter see issue 47: created a testing framework for the lua propagation tests. Needs to be extended
-
reporter see issue 47 -> more tests added. Reviewed code.
I think these are enough tests, it's a simple inference anyway. Close the issue?
-
reporter - changed status to resolved
-
fixes issue 41, all tests work now. Also contains a start for see issue 47
-
see issue 47: created a testing framework for the lua propagation tests. Needs to be extended
-
see issue 47 -> more tests added. Reviewed code.
I think these are enough tests, it's a simple inference anyway. Close the issue?
-
- removed milestone
Removing milestone: First Release 25/12/2011 (automated comment)
- Log in to comment
fixes issue 41, all tests work now. Also contains a start for see issue 47
→ 5743770146c8