Diff of /Test/CanNotProve/test.py [6e8bf0] .. [8be709]  Maximize  Restore

Switch to side-by-side view

--- a/Test/CanNotProve/test.py
+++ b/Test/CanNotProve/test.py
@@ -10,10 +10,15 @@
     try:
         Engine.prove_1(kb, ke, (arg,), 0)
     except knowledge_engine.CanNotProve:
-        pass
+        return
+    raise AssertionError("test: expected CanNotProve exception")
 
 def dotests():
     test('facts', 'fact1', 2)
     test('facts', 'fact2', 2)
     test('rules', 'rule1', 2)
     test('rules', 'rule2', 2)
+    Engine.reset()
+    Engine.activate('rules')
+    (arg,), no_plan = Engine.prove_1('facts', 'fact3', (), 1)
+    assert arg == 'hi\nthere'

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks