modifying expected truth value in exemplification case NAL7

opennars · Apr 28, 2024 · d5d40b7 · d5d40b7
1 parent 1cb4cc2
commit d5d40b7
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/Tests/test_NAL/test_NAL7.py b/Tests/test_NAL/test_NAL7.py
@@ -62,7 +62,7 @@ def test_expemplification(self):
             100
         )
         self.assertTrue(
-            output_contains(tasks_derived, '<<(*,$0,key_101) --> hold> =/> <(*,$0,room_101) --> enter>>. %1.00;0.37%')
+            output_contains(tasks_derived, '<<(*,$0,key_101) --> hold> =/> <(*,$0,room_101) --> enter>>. %0.72;0.58%')
         )
         pass
 
@@ -574,7 +574,6 @@ def test_abduction_sequence_eliminate_0(self):
             '<(*,John,room_101) --> enter>. :|: %1.00;0.90%',
             100
         )
-        for t in tasks_derived: print(t)
         self.assertTrue(
             output_contains(tasks_derived, '<(*,John,key_101) --> hold>. :!-105: %1.00;0.45%')
         )
@@ -627,7 +626,7 @@ def test_deduction_sequence(self):
         tasks_derived = process_two_premises(
             '<(&/, a, +1) =/> b>. %1.00;0.90%',
             '<(&/, b, +1) =/> c>. %1.00;0.90%',
-            10
+            100
         )
 
         self.assertTrue(