Diff of /Test/CanNotProve/test.py [f23295] .. [9f7068]  Maximize  Restore

Switch to side-by-side view

--- a/Test/CanNotProve/test.py
+++ b/Test/CanNotProve/test.py
@@ -23,5 +23,5 @@
     test('rules', 'rule2', 2)
     Engine.reset()
     Engine.activate('rules')
-    (arg,), no_plan = Engine.prove_1('facts', 'fact3', (), 1)
-    assert arg == 'hi\nthere'
+    vars, no_plan = Engine.prove_1_goal('facts.fact3($ans)')
+    assert vars['ans'] == '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