Closed ccrock4t closed 5 months ago
The first commit is for #78
dev.txt - DEV BRANCH: FAILED (failures=56, errors=10) pr.txt - PR BRANCH: FAILED (failures=52, errors=12)
--- dev.txt 2024-01-31 17:22:39.390836983 +0000
+++ pr.txt 2024-01-31 17:22:39.390836983 +0000
@@ -1,10 +1,9 @@
-
test_bug_0 (test_BUG_NAL4.TEST_BUG_NAL4)
<bird --> animal>. %1.00;0.90% ... FAIL
test_abduction (test_NAL1.TEST_NAL1)
'Abduction ... ok
test_backward_inference (test_NAL1.TEST_NAL1)
-' Backward inference ... FAIL
+' Backward inference ... ok
test_conversion (test_NAL1.TEST_NAL1)
'Conversion ... ok
test_deduction (test_NAL1.TEST_NAL1)
@@ -225,7 +224,7 @@
test_multiple_variable_elimination_2 (test_NAL6.TEST_NAL6)
'Multiple variable elimination ... ok
test_multiple_variables_introduction_0 (test_NAL6.TEST_NAL6)
-'Multiple variables introduction ... ok
+'Multiple variables introduction ... FAIL
test_multiple_variables_introduction_1 (test_NAL6.TEST_NAL6)
'Multiple variables introduction ... ok
test_nlp1 (test_NAL6.TEST_NAL6)
@@ -316,7 +315,7 @@
test_inference_on_tense_1 (test_NAL7.TEST_NAL7)
' inference on tense ... FAIL
test_inference_on_tense_2 (test_NAL7.TEST_NAL7)
-' inference on tense ... FAIL
+' inference on tense ... ok
test_analogy_0_0__0 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
test_analogy_0_0__1 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
test_analogy_0_0__2 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
@@ -360,7 +359,7 @@
test_1_2 (test_NAL8.TEST_NAL8)
nal8.1.2.nal ... FAIL
test_1_3 (test_NAL8.TEST_NAL8)
-nal8.1.3.nal ... FAIL
+nal8.1.3.nal ... ok
test_1_3_var (test_NAL8.TEST_NAL8)
nal8.1.3.nal ... FAIL
test_1_4 (test_NAL8.TEST_NAL8)
@@ -368,7 +367,7 @@
test_1_4_var (test_NAL8.TEST_NAL8)
nal8.1.4.nal ... FAIL
test_1_5 (test_NAL8.TEST_NAL8)
-nal8.1.5.nal ... ok
+nal8.1.5.nal ... ERROR
test_1_7 (test_NAL8.TEST_NAL8)
nal8.1.7.nal ... FAIL
test_1_7_var (test_NAL8.TEST_NAL8)
@@ -382,7 +381,7 @@
test_sequence_1 (test_NAL8.TEST_NAL8)
C! ... ok
test_sequence_2 (test_NAL8.TEST_NAL8)
-(&/, A, B, C)! ... FAIL
+(&/, A, B, C)! ... ok
test_anticipate_0 (test_NAL9.TEST_NAL9)
<<(&/,<a --> A>,+10) =/> <b --> B>>. ... ok
test_believe_0 (test_NAL9.TEST_NAL9)
@@ -390,5 +389,5 @@
test_believe_1 (test_NAL9.TEST_NAL9)
(^believe,{SELF},<cat --> animal>,FALSE)! ... ERROR
test_doubt_0 (test_NAL9.TEST_NAL9)
-<a --> b>. %1.00;0.90% ... FAIL
+<a --> b>. %1.00;0.90% ... ERROR
The Task and TaskLink/TermLink budgets are updated to solve issues #75, #77, and #78.