must_det_ll -> must in some cases #142
GitHub Actions / JUnit Results
succeeded
Jan 2, 2025 in 0s
923 passed, 414 failed and 0 skipped
❌ junit.xml
1337 tests were completed in 1583s with 923 passed, 414 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| HYPERON-EXPERIMENTAL-SCRIPTS | 172✅ | 43❌ | 5s | |
| HYPERON-METTALOG-SANITY | 535✅ | 347❌ | 39s | |
| METTA-MORPH-TESTS | 86✅ | 6❌ | 3s | |
| MODULE-SYSTEM | 6✅ | 16ms | ||
| SYNTH-BUFFER | 3✅ | 7❌ | 2s | |
| WHOLE-TESTS | 121✅ | 11❌ | 1534s |
❌ HYPERON-EXPERIMENTAL-SCRIPTS
✅ A1-SYMBOLS.01
✅ A1-SYMBOLS.02
✅ A1-SYMBOLS.03
✅ A1-SYMBOLS.04
✅ A1-SYMBOLS.05
✅ A1-SYMBOLS.06
✅ A1-SYMBOLS.07
✅ A2-OPENCOGGY.01
✅ A3-TWOSIDE.01
✅ A3-TWOSIDE.02
✅ A3-TWOSIDE.03
✅ A3-TWOSIDE.04
✅ B0-CHAINING-PRELIM.01
✅ B0-CHAINING-PRELIM.02
✅ B0-CHAINING-PRELIM.03
✅ B0-CHAINING-PRELIM.04
✅ B0-CHAINING-PRELIM.05
✅ B1-EQUAL-CHAIN.01
✅ B1-EQUAL-CHAIN.02
✅ B1-EQUAL-CHAIN.03
✅ B1-EQUAL-CHAIN.04
✅ B1-EQUAL-CHAIN.05
✅ B1-EQUAL-CHAIN.06
✅ B2-BACKCHAIN.01
✅ B2-BACKCHAIN.02
✅ B2-BACKCHAIN.03
✅ B2-BACKCHAIN.04
✅ B2-BACKCHAIN.05
✅ B3-DIRECT.01
✅ B3-DIRECT.02
✅ B3-DIRECT.03
✅ B4-NONDETERM.01
✅ B4-NONDETERM.02
✅ B4-NONDETERM.03
✅ B4-NONDETERM.04
✅ B4-NONDETERM.05
✅ B4-NONDETERM.06
✅ B4-NONDETERM.07
✅ B4-NONDETERM.08
✅ B4-NONDETERM.09
✅ B4-NONDETERM.10
✅ B4-NONDETERM.11
✅ B5-TYPES-PRELIM.01
❌ B5-TYPES-PRELIM.02
AssertionError: Test failed: Expected '((Error S BadType))' but got '(S)'
✅ B5-TYPES-PRELIM.03
✅ B5-TYPES-PRELIM.04
✅ B5-TYPES-PRELIM.05
✅ B5-TYPES-PRELIM.06
✅ B5-TYPES-PRELIM.07
❌ B5-TYPES-PRELIM.08
AssertionError: Test failed: Expected '((Error (Cons Z Nil) BadType))' but got '((Cons S (Cons Z Nil)))'
✅ B5-TYPES-PRELIM.09
✅ B5-TYPES-PRELIM.10
❌ B5-TYPES-PRELIM.11
AssertionError: Test failed: Expected '((Error S BadType))' but got '((eq Z S))'
✅ B5-TYPES-PRELIM.12
✅ B5-TYPES-PRELIM.13
❌ B5-TYPES-PRELIM.14
AssertionError: Test failed: Expected '((Error Color BadType))' but got '(T)'
❌ B5-TYPES-PRELIM.15
AssertionError: Test failed: Expected '((Error Circle BadType))' but got '(T)'
✅ B5-TYPES-PRELIM.16
✅ B5-TYPES-PRELIM.17
✅ B5-TYPES-PRELIM.18
✅ B5-TYPES-PRELIM.19
✅ B5-TYPES-PRELIM.20
✅ B5-TYPES-PRELIM.21
✅ B5-TYPES-PRELIM.22
✅ B5-TYPES-PRELIM.23
❌ B5-TYPES-PRELIM.24
AssertionError: Test failed: Expected '((eqa Z (Add Z Z)))' but got '(T)'
✅ B5-TYPES-PRELIM.25
✅ B5-TYPES-PRELIM.26
✅ C1-GROUNDED-BASIC.01
✅ C1-GROUNDED-BASIC.02
✅ C1-GROUNDED-BASIC.03
✅ C1-GROUNDED-BASIC.04
✅ C1-GROUNDED-BASIC.05
✅ C1-GROUNDED-BASIC.06
✅ C1-GROUNDED-BASIC.07
✅ C1-GROUNDED-BASIC.08
❌ C1-GROUNDED-BASIC.09
AssertionError: Test failed: Expected '(True)' but got '((== 4 4))'
❌ C1-GROUNDED-BASIC.10
AssertionError: Test failed: Expected '(False)' but got '((== 2 3))'
❌ C1-GROUNDED-BASIC.11
AssertionError: Test failed: Expected '(True)' but got '((== (A B) (A B)))'
❌ C1-GROUNDED-BASIC.12
AssertionError: Test failed: Expected '(False)' but got '((== (A B) (A (B C))))'
❌ C1-GROUNDED-BASIC.13
AssertionError: Test failed: Expected '(False)' but got '((== 4 (+ ln 2)))'
❌ C1-GROUNDED-BASIC.14
AssertionError: Test failed: Expected '((Error "String" BadType))' but got '((+ 2 "String"))'
❌ C1-GROUNDED-BASIC.15
AssertionError: Test failed: Expected '((Error ln BadType))' but got '((== 4 (+ ln 2)))'
✅ C1-GROUNDED-BASIC.16
✅ C1-GROUNDED-BASIC.17
✅ C1-GROUNDED-BASIC.18
✅ C1-GROUNDED-BASIC.19
✅ C1-GROUNDED-BASIC.20
❌ C1-GROUNDED-BASIC.21
AssertionError: Test failed: Expected '(120)' but got '(1)'
❌ C1-GROUNDED-BASIC.22
AssertionError: Test failed: Expected '(120)' but got '(1)'
❌ C1-GROUNDED-BASIC.23
AssertionError: Test failed: Expected '((:: 1 (:: 0 (:: 1 nil))))' but got '((:: 0 (:: 0 (:: 0 nil))) (:: 0 (:: 0 (:: 1 nil))) (:: 0 (:: 1 (:: 0 nil))) (:: 0 (:: 1 (:: 1 nil))) (:: 1 (:: 0 (:: 0 nil))) (:: 1 (:: 0 (:: 1 nil))) (:: 1 (:: 1 (:: 0 nil))) (:: 1 (:: 1 (:: 1 nil))))'
✅ C2-SPACES.01
✅ C2-SPACES.02
✅ C2-SPACES.03
✅ C2-SPACES.04
✅ C2-SPACES.05
✅ C3-PLN-STV.01
✅ C3-PLN-STV.02
✅ C3-PLN-STV.03
✅ C3-PLN-STV.04
✅ C3-PLN-STV.05
✅ D1-GADT.01
✅ D1-GADT.02
✅ D1-GADT.03
✅ D1-GADT.04
✅ D1-GADT.05
✅ D1-GADT.06
✅ D1-GADT.07
✅ D1-GADT.08
✅ D1-GADT.09
✅ D1-GADT.10
✅ D1-GADT.11
✅ D1-GADT.12
✅ D1-GADT.13
✅ D1-GADT.14
✅ D2-HIGHERFUNC.01
✅ D2-HIGHERFUNC.02
✅ D2-HIGHERFUNC.03
❌ D2-HIGHERFUNC.04
AssertionError: Test failed: Expected '(5)' but got '((((curry +) 2) 3))'
✅ D2-HIGHERFUNC.05
✅ D2-HIGHERFUNC.06
❌ D2-HIGHERFUNC.07
AssertionError: Test failed: Expected '()' but got '(Number)'
❌ D2-HIGHERFUNC.08
AssertionError: Test failed: Expected '(5)' but got '(((curry-a + 2) 3))'
✅ D2-HIGHERFUNC.09
❌ D2-HIGHERFUNC.10
AssertionError: Test failed: Expected '(True)' but got '(((curry-a is Socrates) Human))'
❌ D2-HIGHERFUNC.11
AssertionError: Test failed: Expected '(True)' but got '(((curry-a is Socrates) Human))'
❌ D2-HIGHERFUNC.12
AssertionError: Test failed: Expected '(3)' but got '(((lambda $x (+ $x 1)) 2))'
❌ D2-HIGHERFUNC.13
AssertionError: Test failed: Expected '(9)' but got '(((lambda ($x $y) (+ $x $y)) (2 7)))'
❌ D2-HIGHERFUNC.14
AssertionError: Test failed: Expected '(6)' but got '(((lambda $_11580 (+ 1 $_11580)) 5))'
❌ D2-HIGHERFUNC.15
AssertionError: Test failed: Expected '((Something 7))' but got '((Something ((curry-a + 2) 5)))'
✅ D2-HIGHERFUNC.16
✅ D2-HIGHERFUNC.17
❌ D2-HIGHERFUNC.18
AssertionError: Test failed: Expected '((UntypedC 7))' but got '((UntypedC ((curry-a + 2) 5)))'
❌ D2-HIGHERFUNC.19
AssertionError: Test failed: Expected '((UntypedC 7 (UntypedC 10 (Null))))' but got '((UntypedC ((curry-a + 2) 5) (UntypedC ((curry-a + 2) 8) (Null))))'
✅ D2-HIGHERFUNC.20
✅ D2-HIGHERFUNC.21
✅ D2-HIGHERFUNC.22
❌ D2-HIGHERFUNC.23
AssertionError: Test failed: Expected '((Right 4))' but got '((Right ((curry-a - 7) 3)))'
❌ D2-HIGHERFUNC.24
AssertionError: Test failed: Expected '((Cons 6 (Cons 8 Nil)))' but got '((Cons ((curry-a * 2) 3) (Cons ((curry-a * 2) 4) Nil)))'
✅ D2-HIGHERFUNC.25
✅ D2-HIGHERFUNC.26
✅ D2-HIGHERFUNC.27
✅ D3-DEPTYPES.01
✅ D3-DEPTYPES.02
✅ D3-DEPTYPES.03
✅ D3-DEPTYPES.04
✅ D3-DEPTYPES.05
✅ D3-DEPTYPES.06
✅ D3-DEPTYPES.07
✅ D4-TYPE-PROP.01
✅ D4-TYPE-PROP.02
✅ D4-TYPE-PROP.03
✅ D4-TYPE-PROP.04
✅ D4-TYPE-PROP.05
✅ D4-TYPE-PROP.06
✅ D4-TYPE-PROP.07
✅ D4-TYPE-PROP.08
✅ D4-TYPE-PROP.09
✅ D4-TYPE-PROP.10
✅ D4-TYPE-PROP.11
✅ D4-TYPE-PROP.12
✅ D4-TYPE-PROP.13
✅ D4-TYPE-PROP.14
✅ D4-TYPE-PROP.15
✅ D4-TYPE-PROP.16
✅ D4-TYPE-PROP.17
✅ D4-TYPE-PROP.18
✅ D4-TYPE-PROP.19
❌ D5-AUTO-TYPES.01
AssertionError: Test failed: Expected '((Error "S" BadType))' but got '(88)'
❌ D5-AUTO-TYPES.02
AssertionError: Test failed: Expected '((Error "S" BadType))' but got '((== 5 "S"))'
❌ D5-AUTO-TYPES.03
AssertionError: Test failed: Expected '((Error SamIsMortal BadType))' but got '((== SocratesIsHuman SamIsMortal))'
❌ D5-AUTO-TYPES.04
AssertionError: Test failed: Expected '((Error (Human Socrates) BadType))' but got '((HumansAreMortal (Human Socrates)))'
❌ D5-AUTO-TYPES.05
AssertionError: Test failed: Expected '(((Error "S" BadType)))' but got '((88))'
✅ D5-AUTO-TYPES.06
❌ D5-AUTO-TYPES.07
AssertionError: Test failed: Expected '((Error "S" BadType))' but got '((f 88))'
✅ E1-KB-WRITE.01
✅ E1-KB-WRITE.02
✅ E2-STATES.01
✅ E2-STATES.02
✅ E2-STATES.03
✅ E2-STATES.04
✅ E2-STATES.05
✅ E2-STATES.06
❌ E2-STATES.07
AssertionError: Test failed: Expected '((Error 1 BadType))' but got '([State 1 $State1])'
❌ E2-STATES.08
AssertionError: Test failed: Expected '((Error "S" BadType))' but got '([State "S" $S])'
✅ E2-STATES.09
✅ E2-STATES.10
✅ E2-STATES.11
✅ E2-STATES.12
✅ F1-IMPORTS.01
✅ F1-IMPORTS.02
✅ F1-IMPORTS.03
✅ F1-MODULEA.04
✅ F1-MODULEA.05
✅ F1-IMPORTS.06
✅ F1-MODULEA.07
✅ F1-MODULEA.08
✅ F1-IMPORTS.09
✅ F1-IMPORTS.10
❌ F1-IMPORTS.11
AssertionError: Test failed: Expected '((: g (-> Number Numer)))' but got '(&m)'
❌ F1-IMPORTS.12
AssertionError: Test failed: Expected '(False)' but got '((== () hyperon::space::DynSpace))'
✅ F1-IMPORTS.13
✅ F1-IMPORTS.14
✅ F1-IMPORTS.15
✅ F1-IMPORTS.16
✅ F1-IMPORTS.17
✅ F1-IMPORTS.18
✅ F1-IMPORTS.19
✅ F1-MODULEA.01
✅ F1-MODULEA.02
❌ G1-DOCS.01
AssertionError: Test failed: Expected '((@doc-formal (@item some-func) (@kind function) (@type (-> Arg1Type Arg2Type ReturnType)) (@desc "Test function") (@params ((@param (@type Arg1Type) (@desc "First argument")) (@param (@type Arg2Type) (@desc "Second argument")))) (@return (@type ReturnType) (@desc "Return value"))))' but got '((@doc-formal (@item some-func) (@kind function) (@type (-> Arg1Type Arg2Type ReturnType)) (@desc "Test function") (@params ()) (@return (@type %Undefined%) (@desc "Return value"))))'
✅ G1-DOCS.02
❌ G1-DOCS.03
AssertionError: Test failed: Expected '((@doc-formal (@item some-gnd-atom) (@kind function) (@type %Undefined%) (@desc "Test function") (@params ((@param (@type %Undefined%) (@desc "First argument")) (@param (@type %Undefined%) (@desc "Second argument")))) (@return (@type %Undefined%) (@desc "Return value"))))' but got '()'
❌ G1-DOCS.04
AssertionError: Test failed: Expected '((@doc-formal (@item NoSuchAtom) (@kind atom) (@type %Undefined%) (@desc "No documentation")))' but got '()'
❌ G1-DOCS.05
AssertionError: Test failed: Expected '((@doc-formal (@item (some-func arg1 arg2)) (@kind atom) (@type ReturnType) (@desc "No documentation")))' but got '()'
❌ HYPERON-METTALOG-SANITY
✅ 00-LANG-CASE.01
✅ 00-LANG-CASE.02
✅ 00-LANG-CASE.03
✅ 00-LANG-CASE.04
✅ 00-LANG-CASE.05
✅ 00-LANG-CASE.06
✅ 00-LANG-CASE.07
✅ 00-LANG-CASE.08
✅ 00-LANG-CASE.09
✅ 00-LANG-CASE.10
✅ 00-LANG-CASE.11
✅ 00-LANG-CASE.12
✅ 00-LANG-CASE.13
✅ 00-LANG-CASE.14
✅ 00-LANG-CASE.15
✅ 00-LANG-CASE.16
✅ 00-LANG-CASE.17
✅ 00-LANG-CASE.18
✅ 01-LANG-INC.01
✅ 01-LANG-INC.02
❌ 02-CURRIED-PLUS.01
AssertionError: Test failed: Expected '(3)' but got '(((plus 1) 2))'
✅ 03-SORING-VIA-INSERT.01
✅ 03-SORING-VIA-INSERT.02
✅ 03-SORING-VIA-INSERT.03
✅ 03-SORING-VIA-INSERT.04
✅ 03-SORING-VIA-INSERT.05
✅ 03-SORING-VIA-INSERT.06
✅ 06-MATCH-IN-SPACE.01
✅ 06-MATCH-IN-SPACE.02
✅ 06-MATCH-IN-SPACE.03
✅ 06-MATCH-IN-SPACE.04
✅ ALPHA-EQUIVALENCE-ASSERTIONS-HE-744.01
❌ ARITY-TESTS.01
AssertionError: Test failed: Expected '(1)' but got '((predicate-arity foo))'
❌ ARITY-TESTS.02
AssertionError: Test failed: Expected '(0)' but got '((function-arity foo))'
❌ ARITY-TESTS.03
AssertionError: Test failed: Expected '(2 3)' but got '((predicate-arity bar))'
❌ ARITY-TESTS.04
AssertionError: Test failed: Expected '(1 2)' but got '((function-arity bar))'
❌ ARITY-TESTS.05
AssertionError: Test failed: Expected '(1 2)' but got '((predicate-arity foo))'
❌ ARITY-TESTS.06
AssertionError: Test failed: Expected '(0 1)' but got '((function-arity foo))'
❌ ARITY-TESTS.07
AssertionError: Test failed: Expected '(3)' but got '()'
❌ ARITY-TESTS.08
AssertionError: Test failed: Expected '(($1 $2 $3 $4))' but got '()'
❌ ARITY-TESTS.09
AssertionError: Test failed: Expected '(10)' but got '()'
❌ ARITY-TESTS.10
AssertionError: Test failed: Expected '(((<exists> (<= 10 $)) 10) (10 (<exists> (<= 10 $))))' but got '()'
❌ ARITY-TESTS.11
AssertionError: Test failed: Expected '(10)' but got '((max 5 10))'
❌ ARITY-TESTS.12
AssertionError: Test failed: Expected '(((<exists> (<= 10 $)) 10) (10 (<exists> (<= 10 $))))' but got '(($a $b))'
✅ AUTO-COERCE.01
✅ AUTO-COERCE.02
✅ AUTO-COERCE.03
✅ AUTO-COERCE.04
✅ AUTO-COERCE.05
✅ AUTO-COERCE.06
✅ AUTO-COERCE.07
✅ AUTO-COERCE.08
✅ AUTO-COERCE.09
✅ AUTO-COERCE.10
✅ AUTO-COERCE.11
✅ AUTO-COERCE.12
✅ AUTO-COERCE.13
✅ AUTO-COERCE.14
✅ AUTO-COERCE.15
✅ AUTO-COERCE.16
❌ AUTO-COERCE.17
AssertionError: Test failed: Expected '(False)' but got '(True)'
✅ AUTO-COERCE.18
✅ AUTO-COERCE.19
❌ AUTO-COERCE.20
AssertionError: Test failed: Expected '(False)' but got '(True)'
❌ AUTO-COERCE.21
AssertionError: Test failed: Expected '(False)' but got '(True)'
✅ AUTO-COERCE.22
✅ AUTO-COERCE.23
✅ AUTO-COERCE.24
❌ AUTO-COERCE.25
AssertionError: Test failed: Expected '(False)' but got '(True)'
✅ AUTO-COERCE.26
✅ AUTO-COERCE.27
✅ AUTO-COERCE.28
✅ AUTO-COERCE.29
❌ AUTO-COERCE.30
AssertionError: Test failed: Expected '((S (S Z)))' but got '((S Z))'
✅ AUTO-COERCE.31
✅ AUTO-COERCE.32
✅ AUTO-COERCE.33
❌ AUTO-COERCE.34
AssertionError: Test failed: Expected '(Z)' but got '((S (S Z)))'
✅ AUTO-COERCE.35
❌ AUTO-COERCE.36
AssertionError: Test failed: Expected '((S Z))' but got '(Z)'
✅ AUTO-COERCE.37
❌ AUTO-COERCE.38
AssertionError: Test failed: Expected '((S (S Z)))' but got '(Z)'
✅ AUTO-COERCE.39
✅ AUTO-COERCE.40
❌ AUTO-COERCE.41
AssertionError: Test failed: Expected '(False)' but got '(True True)'
✅ AUTO-COERCE.42
✅ AUTO-COERCE.43
❌ AUTO-COERCE.44
AssertionError: Test failed: Expected '(False)' but got '(True True)'
✅ AUTO-COERCE.45
❌ AUTO-COERCE.46
AssertionError: Test failed: Expected '(False)' but got '(True True)'
❌ AUTO-COERCE.47
AssertionError: Test failed: Expected '((S (S Z)))' but got '(Z)'
❌ AUTO-COERCE.48
AssertionError: Test failed: Expected '((S (S Z)))' but got '((S Z))'
✅ AUTO-COERCE.49
✅ BACKCHAINER-219.01
✅ BACKCHAINER-219.02
✅ BASE-TEST-REPR-PARSE-INTERSECTION.01
✅ BASE-TEST-REPR-PARSE-INTERSECTION.02
✅ BASE-TEST-REPR-PARSE-INTERSECTION.03
✅ BASE-TEST-REPR-PARSE-INTERSECTION.04
✅ CALL-CLEANUP-TESTS.01
✅ CALL-CLEANUP-TESTS.02
✅ CALL-CLEANUP-TESTS.03
❌ CALL-CLEANUP-TESTS.04
AssertionError: Test failed: Expected '((time_limit_exceeded 1))' but got '((time_limit_exceeded $_11720))'
✅ CALL-CLEANUP-TESTS.05
❌ CALL-CLEANUP-TESTS.06
AssertionError: Test failed: Expected '((time_limit_exceeded 1))' but got '((time_limit_exceeded $_30608))'
✅ CALL-CLEANUP-TESTS.07
✅ CALL-CLEANUP-TESTS.08
✅ CALL-CLEANUP-TESTS.09
✅ CALL-TESTS.01
✅ CALL-TESTS.02
✅ CALL-TESTS.03
✅ CALL-TESTS.04
✅ CALL-TESTS.05
✅ CALL-TESTS.06
✅ CALL-TESTS.07
✅ CALL-TESTS.08
✅ CALL-TESTS.09
✅ CALL-TESTS.10
✅ CALL-TESTS.11
✅ CALL-TESTS.12
✅ CALL-TESTS.13
✅ CAR-ATOM-BUG-HE-621.01
✅ CAR-ATOM-BUG-HE-621.02
✅ CAR-ATOM-BUG-HE-621.03
✅ CAR-ATOM-BUG-HE-621.04
✅ COERCE-TESTS.01
✅ COERCE-TESTS.02
✅ COERCE-TESTS.03
✅ COERCE-TESTS.04
✅ COERCE-TESTS.05
✅ COERCE-TESTS.06
✅ COERCE-TESTS.07
✅ COERCE-TESTS.08
✅ COERCE-TESTS.09
✅ COERCE-TESTS.10
✅ COERCE-TESTS.11
✅ COERCE-TESTS.12
✅ COERCE-TESTS.13
✅ COERCE-TESTS.14
✅ COERCE-TESTS.15
✅ COERCE-TESTS.16
✅ COERCE-TESTS.17
✅ COERCE-TESTS.18
✅ COERCE-TESTS.19
✅ COERCE-TESTS.20
✅ COERCE-TESTS.21
✅ COERCE-TESTS.22
✅ COERCE-TESTS.23
✅ COMPILE-TESTS.01
✅ COMPILE-TESTS.02
❌ COMPILE-TESTS.03
AssertionError: Test failed: Expected '(-> Number Number)' but got '((-> Number Number))'
❌ DELAY-REDUCTION-ADDITIONAL-TESTS-HE-659.01
AssertionError: Test failed: Expected '((: ((Rule CPU) 2) (0⍃' 2)))' but got '((bc &kb (: $prf (0⍃' $x)) (S (S Z))))'
❌ DELAY-REDUCTION-ADDITIONAL-TESTS-HE-659.02
AssertionError: Test failed: Expected '((: ((Rule CPU) 2) (0⍃' 2)))' but got '((bc &kb (: $prf (0⍃' $x)) (S (S Z))))'
❌ DELAY-REDUCTION-ADDITIONAL-TESTS-HE-659.03
AssertionError: Test failed: Expected '((: ((Rule CPU) 2) (0⍃' 2)))' but got '((bc &kb (: $prf (0⍃' $x)) (S (S Z))))'
❌ DELAY-REDUCTION-SECOND-TEST-HE-659.01
AssertionError: Test failed: Expected '((: (Rule (Cons (: CPU False (0⍃ 2)) (Cons (: 2 Prime) Nil))) (0⍃' 2)))' but got '((: (Rule (Cons (: CPU True (0⍃ 2)) (Cons (: 2 Prime) Nil))) (0⍃' 2)))'
❌ DELAY-REDUCTION-UNTIL-BINDINGS-READY-HE-659.01
AssertionError: Test failed: Expected '(empty)' but got '()'
✅ DELAY-REDUCTION-UNTIL-BINDINGS-READY-HE-659.02
✅ DELAY-REDUCTION-UNTIL-BINDINGS-READY-HE-659.03
❌ DELAY-REDUCTION-UNTIL-BINDINGS-READY-HE-659.04
AssertionError: Test failed: Expected '((: ((Rule CPU) 2) (0⍃' 2)))' but got '()'
❌ DIFFEREN-ARITIES-ARE-FINE-HE-603.01
AssertionError: Test failed: Expected '(2)' but got '(((λ $x (+ 1 $x)) 1))'
❌ DIFFEREN-ARITIES-ARE-FINE-HE-603.02
AssertionError: Test failed: Expected '(3)' but got '(((λ $x $y (+ $x $y)) 1 2))'
❌ DIFFEREN-ARITIES-ARE-FINE-HE-603.03
AssertionError: Test failed: Expected '(3)' but got '(((λ $x $y (+ $x $y)) 1 2))'
✅ DIFFEREN-ARITIES-ARE-FINE-HE-603.04
✅ DIFFEREN-ARITIES-ARE-FINE-HE-603.05
❌ DIFFEREN-ARITIES-ARE-FINE-HE-603.06
AssertionError: Test failed: Expected '(2)' but got '(((λ $x (+ 1 $x)) 1))'
❌ DIFFEREN-ARITIES-ARE-FINE-HE-603.07
AssertionError: Test failed: Expected '(3)' but got '(((λ $x $y (+ $x $y)) 1 2))'
❌ DONT-MESS-WITH-COLONS-225.01
AssertionError: Test failed: Expected '(OK)' but got '((foo (predicate-arity $x 1)))'
✅ DUPLICATION-SEMANTICS-HE-798.01
✅ DUPLICATION-SEMANTICS-HE-798.02
✅ DUPLICATION-SEMANTICS-HE-798.03
✅ DUPLICATION-SEMANTICS-HE-798.04
✅ DUPLICATION-SEMANTICS-HE-798.05
❌ EVAL-FOR-TESTS.01
AssertionError: Test failed: Expected '(1)' but got '(1 "a")'
❌ EVAL-FOR-TESTS.02
AssertionError: Test failed: Expected '("a")' but got '(1 "a")'
✅ EVAL-FOR-TESTS.03
❌ EVAL-FOR-TESTS.04
AssertionError: Test failed: Expected '((1 Number) ("a" String))' but got '((1 $type) ("a" $type))'
❌ EVAL-FOR-TESTS.05
AssertionError: Test failed: Expected '(1)' but got '(1 "a")'
✅ EVAL-FOR-TESTS.06
✅ EVAL-FOR-TESTS.07
✅ EVAL-FOR-TESTS.08
✅ EVAL-FOR-TESTS.09
✅ EVAL-FOR-TESTS.10
✅ EVAL-FOR-TESTS.11
❌ EVAL-FOR-TESTS.12
AssertionError: Test failed: Expected '((quote (foo)))' but got '((quote 1) (quote "a"))'
❌ EVAL-FOR-TESTS.13
AssertionError: Test failed: Expected '((quote (foo)))' but got '((quote 1) (quote "a"))'
❌ EVAL-FOR-TESTS.14
AssertionError: Test failed: Expected '()' but got '((quote 1) (quote "a"))'
❌ EVAL-FOR-TESTS.15
AssertionError: Test failed: Expected '()' but got '((quote 1) (quote "a"))'
❌ EVALUATION-CACHING-HE-553.01
AssertionError: Test failed: Expected '((extend-py! random_binding))' but got '((py-module random_binding "from hyperon.atoms import OperationAtom\nfrom hyperon.ext import register_atoms\nimport random\n\n@register_atoms\ndef my_atoms():\n return {\n 'random': OperationAtom('random', random.random),\n }\n"))'
✅ FIND-ALL-TESTS.01
✅ FIND-ALL-TESTS.02
❌ FIND-ALL-TESTS.03
AssertionError: Test failed: Expected '((False True False True))' but got '(((== 1 0) (== 0 0) (== 1 0) (== 0 0)))'
✅ FIND-ALL-TESTS.04
✅ FIND-ALL-TESTS.05
✅ FIND-ALL-TESTS.06
✅ FIND-ALL-TESTS.07
❌ FIRST-ANSWER.01
AssertionError: Test failed: Expected '((: a A))' but got '()'
❌ FIRST-ANSWER.02
AssertionError: Test failed: Expected '((: a A) (: a B) (: abc (Implication (AndLink A B) C)) (: cde (Implication (OrLink C D) E)) (: (ConjunctionIntroduction a a) (AndLink A A)) (: (ConjunctionIntroduction a a) (AndLink A B)))' but got '()'
✅ FLIP-TEST.01
✅ FLIP-TEST.02
❌ FUNCTIONAL-PROGRAMMING-TESTS.01
AssertionError: Test failed: Expected '((False True False))' but got '(((== 1 0) (== 0 0) (== 1 0)))'
✅ FUNCTIONAL-PROGRAMMING-TESTS.02
✅ FUNCTIONAL-PROGRAMMING-TESTS.03
✅ FUNCTIONAL-PROGRAMMING-TESTS.04
✅ FUNCTIONAL-PROGRAMMING-TESTS.05
❌ FUNCTIONAL-PROGRAMMING-TESTS.06
AssertionError: Test failed: Expected '((False True False))' but got '(time_limit_exceeded)'
✅ FUNCTIONAL-PROGRAMMING-TESTS.07
❌ FUNCTIONAL-PROGRAMMING-TESTS.08
AssertionError: Test failed: Expected '(((False True False) (True False True)))' but got '(time_limit_exceeded)'
✅ FUNCTIONAL-PROGRAMMING-TESTS.09
❌ HYPERPOSE-TESTS.01
AssertionError: Test failed: Expected '(False True False)' but got '((== 1 0) (== 0 0) (== 1 0))'
❌ HYPERPOSE-TESTS.02
AssertionError: Test failed: Expected '(False True 3 4)' but got '(False (== 0 0) 3 4)'
✅ HYPERPOSE-TESTS.03
❌ IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.01
AssertionError: Test failed: Expected '(larry)' but got '()'
❌ IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.02
AssertionError: Test failed: Expected '(mike)' but got '()'
❌ IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.03
AssertionError: Test failed: Expected '(tiger)' but got '()'
❌ IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.04
AssertionError: Test failed: Expected '(tiger cat dog vulture parrot)' but got '()'
❌ IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.05
AssertionError: Test failed: Expected '(tiger vulture)' but got '()'
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.01
AssertionError: Test failed: Expected '((foo a))' but got '(a)'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.02
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.03
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.04
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.05
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.06
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.07
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.08
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.09
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.10
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.11
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.12
AssertionError: Test failed: Expected '((Error (car-atom ()) "car-atom expects a non-empty expression as an argument"))' but got '()'
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.13
AssertionError: Test failed: Expected '((Error (car-atom A) "car-atom expects a non-empty expression as an argument"))' but got '()'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.14
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.15
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.16
AssertionError: Test failed: Expected '((Error (cdr-atom ()) "cdr-atom expects a non-empty expression as an argument"))' but got '()'
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.17
AssertionError: Test failed: Expected '((Error (cdr-atom a) "cdr-atom expects a non-empty expression as an argument"))' but got '()'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.18
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.19
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.20
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.21
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.23
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.24
AssertionError: Test failed: Expected '((Error (max-atom ()) "Empty expression"))' but got '()'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.26
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.27
AssertionError: Test failed: Expected '((Error (index-atom (A B C D E) 5) "Index is out of bounds"))' but got '()'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.28
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.30
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.31
AssertionError: Test failed: Expected '((Error (random-float 0 -5) "Range is empty"))' but got '((random-float 0 -5))'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.32
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.33
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.34
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.35
AssertionError: Test failed: Expected '(False)' but got '(True)'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.36
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.37
AssertionError: Test failed: Expected '((Error a "BadType"))' but got '(a)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.38
AssertionError: Test failed: Expected '((a c))' but got '((a (Error (b) "Test error") $c))'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.39
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.40
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.41
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.42
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.43
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.44
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.01
AssertionError: Test failed: Expected '((True))' but got '((is Fritz frog))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.02
AssertionError: Test failed: Expected '(())' but got '((is Tweety frog))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.03
AssertionError: Test failed: Expected '((True))' but got '(True)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.04
AssertionError: Test failed: Expected '(())' but got '((eq (S $n) $n))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.05
AssertionError: Test failed: Expected '((a))' but got '(a)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.06
AssertionError: Test failed: Expected '((Error myAtom "BadType"))' but got '(myAtom)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.07
AssertionError: Test failed: Expected '((c))' but got '(c)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.08
AssertionError: Test failed: Expected '((Error (foo a) "IncorrectNumberOfArguments"))' but got '((foo a))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.09
AssertionError: Test failed: Expected '(((-> Atom Atom ErrorType)))' but got '((-> Atom Atom ErrorType))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.10
AssertionError: Test failed: Expected '((Symbol))' but got '(Grounded)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.11
AssertionError: Test failed: Expected '((ErrorType))' but got '(())'
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.12
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.13
AssertionError: Test failed: Expected '(("test"))' but got '("test")'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.14
AssertionError: Test failed: Expected '(("te st"))' but got '("te st")'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.15
AssertionError: Test failed: Expected '(("te\"st"))' but got '("te\"st")'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.16
AssertionError: Test failed: Expected '((""))' but got '("")'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.17
AssertionError: Test failed: Expected '(("te\nst"))' but got '("te\nst")'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.18
AssertionError: Test failed: Expected '((("te\nst") test))' but got '(("te\nst" test))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.19
AssertionError: Test failed: Expected '((FOO BAR BAZ))' but got '(bar FOO BAR BAZ)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.20
AssertionError: Test failed: Expected '((result))' but got '((let () result))'
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.21
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.22
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.23
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.24
AssertionError: Test failed: Expected '((A))' but got '(bar bar FOO FOO A A)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.25
AssertionError: Test failed: Expected '((A))' but got '((unquote (bar (quote (foo)))))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.26
AssertionError: Test failed: Expected '((@doc-formal (@item some-func) (@kind function) (@type (-> Arg1Type Arg2Type RetType)) (@desc "Test function") (@params ((@param "First argument") (@param "Second argument"))) (@return "Return value")))' but got '()'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.27
AssertionError: Test failed: Expected '((@doc-formal (@item some-func-no-type) (@kind function) (@type %Undefined%) (@desc "Test function without type") (@params ((@param "First argument") (@param "Second argument"))) (@return "Return value")))' but got '()'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.28
AssertionError: Test failed: Expected '(((-> Atom Atom ErrorType)))' but got '((-> Atom Atom ErrorType))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.29
AssertionError: Test failed: Expected '((Symbol))' but got '(Grounded)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.30
AssertionError: Test failed: Expected '((ErrorType))' but got '(())'
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.31
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.32
AssertionError: Test failed: Expected '(((A B) (AA B) (A BB) (AA BB) %Undefined%))' but got '(())'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.33
AssertionError: Test failed: Expected '((a))' but got '(a a a (FOO a) (A a))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.34
AssertionError: Test failed: Expected '((a (c $a) $x $y))' but got '((a (c $x $y) $x $y))'
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.35
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.36
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.37
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.38
AssertionError: Test failed: Expected '((foo))' but got '(bar FOO A BAR baz)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.39
AssertionError: Test failed: Expected '((baz))' but got '(bar)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.40
AssertionError: Test failed: Expected '((baz))' but got '(FOO)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.41
AssertionError: Test failed: Expected '((baz))' but got '(A)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.42
AssertionError: Test failed: Expected '((baz))' but got '(BAR)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.43
AssertionError: Test failed: Expected '((baz))' but got '(baz)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.01
AssertionError: Test failed: Expected '((mod-space! stdlib))' but got '(&stdlib)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.02
AssertionError: Test failed: Expected '((a a))' but got '()'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.03
AssertionError: Test failed: Expected '(((A B) (AA B) (A BB) (AA BB) %Undefined%))' but got '(())'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.04
AssertionError: Test failed: Expected '((3))' but got '(3)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.05
AssertionError: Test failed: Expected '((Error (index-atom (A B C D E) 5) "Index is out of bounds"))' but got '()'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.06
AssertionError: Test failed: Expected '((False))' but got '(())'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.07
AssertionError: Test failed: Expected '((a))' but got '(a)'
✅ INDEX-MIN-FUNCTIONS-EXTRA-3.08
✅ INDEX-MIN-FUNCTIONS-EXTRA-3.09
✅ INDEX-MIN-FUNCTIONS-EXTRA-3.10
✅ INDEX-MIN-FUNCTIONS-EXTRA-3.11
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.12
AssertionError: Test failed: Expected '((baz))' but got '(bar baz)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.13
AssertionError: Test failed: Expected '((foo))' but got '(bar baz)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.14
AssertionError: Test failed: Expected '((baz))' but got '(bar)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.15
AssertionError: Test failed: Expected '((baz))' but got '(baz)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.16
AssertionError: Test failed: Expected '(((-> Atom Atom ErrorType)))' but got '((-> Atom Atom ErrorType))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.17
AssertionError: Test failed: Expected '((Symbol))' but got '(Grounded)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.18
AssertionError: Test failed: Expected '((ErrorType))' but got '(())'
✅ INDEX-MIN-FUNCTIONS-EXTRA-3.19
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.20
AssertionError: Test failed: Expected '(("test"))' but got '("test")'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.21
AssertionError: Test failed: Expected '(("te st"))' but got '("te st")'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.22
AssertionError: Test failed: Expected '(("te\"st"))' but got '("te\"st")'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.23
AssertionError: Test failed: Expected '((""))' but got '("")'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.24
AssertionError: Test failed: Expected '(("te\nst"))' but got '("te\nst")'
✅ INDEX-MIN-FUNCTIONS-EXTRA-3.25
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.26
AssertionError: Test failed: Expected '((D))' but got '(())'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.27
AssertionError: Test failed: Expected '((D))' but got '(D)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.28
AssertionError: Test failed: Expected '((D))' but got '(())'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.29
AssertionError: Test failed: Expected '((True))' but got '(True)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.30
AssertionError: Test failed: Expected '(())' but got '((eq (S $n) $n))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.31
AssertionError: Test failed: Expected '((d))' but got '((myif (mynot (c $x $y)) ($x $y)) d)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.32
AssertionError: Test failed: Expected '((True))' but got '((mynot (c $x $y)) T True)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.33
AssertionError: Test failed: Expected '((a))' but got '(a a (baz a))'
✅ INDEX-MIN-FUNCTIONS-EXTRA-3.34
✅ INDEX-MIN-FUNCTIONS-EXTRA-3.35
✅ INDEX-MIN-FUNCTIONS-EXTRA-3.36
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.37
AssertionError: Test failed: Expected '((baz))' but got '(bar baz)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.38
AssertionError: Test failed: Expected '((foo))' but got '(bar baz)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.39
AssertionError: Test failed: Expected '((baz))' but got '(bar)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.40
AssertionError: Test failed: Expected '((baz))' but got '(baz)'
✅ INDEX-MIN-FUNCTIONS-EXTRA-3.41
✅ INDEX-MIN-FUNCTIONS-EXTRA-3.42
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.43
AssertionError: Test failed: Expected '((a a))' but got '((mynot (b a)))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.44
AssertionError: Test failed: Expected '((blue red green))' but got '(blue red green)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.45
AssertionError: Test failed: Expected '((a (c $a $y) $x $y))' but got '((a (c $x $y) $x $y) (a F $x $y) (a (c $x $y) $x $y))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.46
AssertionError: Test failed: Expected '((c))' but got '(c)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.47
AssertionError: Test failed: Expected '((Error (foo a) "IncorrectNumberOfArguments"))' but got '((foo a))'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.48
AssertionError: Test failed: Expected '((myAtom))' but got '(myAtom)'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.49
AssertionError: Test failed: Expected '((Error myAtom "BadType"))' but got '(myAtom)'
✅ INHERIT-OR-NOT-TESTS.01
❌ INHERIT-OR-NOT-TESTS.02
AssertionError: Test failed: Expected '((foo 1))' but got '()'
✅ INHERIT-OR-NOT-TESTS.03
✅ INHERIT-OR-NOT-TESTS.04
❌ INHERIT-OR-NOT-TESTS.05
AssertionError: Test failed: Expected '((John Jess) (John Jane))' but got '((John Jane))'
❌ INHERIT-OR-NOT-TESTS.06
AssertionError: Test failed: Expected '(2 3)' but got '(2)'
✅ INHERIT-OR-NOT-TESTS.07
✅ INHERIT-OR-NOT-TESTS.08
✅ INTERSECTION-TESTS.01
✅ INTERSECTION-TESTS.02
✅ INTERSECTION-TESTS.03
✅ INTERSECTION-TESTS.04
✅ INTERSECTION-TESTS.05
✅ INTERSECTION-TESTS.06
✅ INTERSECTION-TESTS.07
✅ INTERSECTION-TESTS.08
✅ INTERSECTION-TESTS.09
✅ INTERSECTION-TESTS.10
✅ INTERSECTION-TESTS.11
✅ INTERSECTION-TESTS.12
✅ INTERSECTION-TESTS.13
✅ INTERSECTION-TESTS.14
✅ INTERSECTION-TESTS.15
✅ INTERSECTION-TESTS.16
✅ INTERSECTION-TESTS.17
✅ INTERSECTION-TESTS.18
✅ INTERSECTION-TESTS.19
✅ INTERSECTION-TESTS.20
✅ INTERSECTION-TESTS.21
✅ INTERSECTION-TESTS.22
❌ IS-SPACE.01
AssertionError: Test failed: Expected '(True)' but got '((== hyperon::space::DynSpace hyperon::space::DynSpace))'
❌ IS-SPACE.02
AssertionError: Test failed: Expected '(True)' but got '((== hyperon::space::DynSpace hyperon::space::DynSpace))'
❌ IS-SPACE.03
AssertionError: Test failed: Expected '(False)' but got '((== Number hyperon::space::DynSpace))'
❌ LAMBDA-ABSTRACTION-BC-HE-556.01
AssertionError: Test failed: Expected '()' but got '((: S (-> (: $k Nat) Nat)))'
❌ LAMBDA-ABSTRACTION-BC-HE-556.02
AssertionError: Test failed: Expected '()' but got '((: S (-> (: $k Nat) Nat)))'
✅ LIMIT-TESTS.01
✅ LIMIT-TESTS.02
✅ LIMIT-TESTS.03
✅ LIMIT-TESTS.04
✅ LIMIT-TESTS.05
✅ LIMIT-TESTS.06
✅ LIMIT-TESTS.07
✅ LIMIT-TESTS.08
✅ LIMIT-TESTS.09
✅ LIMIT-TESTS.10
✅ LIMIT-TESTS.11
❌ LIMIT-TESTS.12
AssertionError: Test failed: Expected '(2)' but got '($_44230)'
✅ LIMIT-TESTS.13
✅ LIMIT-TESTS.14
✅ LIMIT-TESTS.15
✅ LIMIT-TESTS.16
✅ LIMIT-TESTS.17
✅ LIMIT-TESTS.18
❌ MATH-HYPHEN-FUNCTIONS.01
AssertionError: Test failed: Expected '(25)' but got '((pow-math 5 2))'
❌ MATH-HYPHEN-FUNCTIONS.02
AssertionError: Test failed: Expected '((Error (pow-math 5 200000000000000) "power argument is too big, try using float value"))' but got '((pow-math 5 200000000000000))'
❌ MATH-HYPHEN-FUNCTIONS.03
AssertionError: Test failed: Expected '(38.2596979949377)' but got '((pow-math 5.5 2.3))'
❌ MATH-HYPHEN-FUNCTIONS.04
AssertionError: Test failed: Expected '((Error (pow-math A 2) "pow-math expects two arguments: number (base) and number (power)"))' but got '((pow-math A 2))'
❌ MATH-HYPHEN-FUNCTIONS.05
AssertionError: Test failed: Expected '(2)' but got '((sqrt-math 4))'
❌ MATH-HYPHEN-FUNCTIONS.06
AssertionError: Test failed: Expected '(True)' but got '((isnan-math (sqrt-math -4)))'
❌ MATH-HYPHEN-FUNCTIONS.07
AssertionError: Test failed: Expected '((Error (sqrt-math A) "sqrt-math expects one argument: number"))' but got '((sqrt-math A))'
❌ MATH-HYPHEN-FUNCTIONS.08
AssertionError: Test failed: Expected '(4)' but got '((abs-math 4))'
❌ MATH-HYPHEN-FUNCTIONS.09
AssertionError: Test failed: Expected '(5)' but got '((abs-math -5))'
❌ MATH-HYPHEN-FUNCTIONS.10
AssertionError: Test failed: Expected '((Error (abs-math A) "abs-math expects one argument: number"))' but got '((abs-math A))'
❌ MATH-HYPHEN-FUNCTIONS.11
AssertionError: Test failed: Expected '(2)' but got '((log-math 2 4))'
❌ MATH-HYPHEN-FUNCTIONS.12
AssertionError: Test failed: Expected '(True)' but got '((isnan-math (log-math 0 0)))'
❌ MATH-HYPHEN-FUNCTIONS.13
AssertionError: Test failed: Expected '(True)' but got '((isinf-math (log-math 5 0)))'
❌ MATH-HYPHEN-FUNCTIONS.14
AssertionError: Test failed: Expected '(2)' but got '((trunc-math 2.4))'
❌ MATH-HYPHEN-FUNCTIONS.15
AssertionError: Test failed: Expected '((Error (trunc-math A) "trunc-math expects one argument: input number"))' but got '((trunc-math A))'
❌ MATH-HYPHEN-FUNCTIONS.16
AssertionError: Test failed: Expected '(3)' but got '((ceil-math 2.4))'
❌ MATH-HYPHEN-FUNCTIONS.17
AssertionError: Test failed: Expected '(-2)' but got '((ceil-math -2.4))'
❌ MATH-HYPHEN-FUNCTIONS.18
AssertionError: Test failed: Expected '((Error (ceil-math A) "ceil-math expects one argument: input number"))' but got '((ceil-math A))'
❌ MATH-HYPHEN-FUNCTIONS.19
AssertionError: Test failed: Expected '(2)' but got '((floor-math 2.4))'
❌ MATH-HYPHEN-FUNCTIONS.20
AssertionError: Test failed: Expected '(-3)' but got '((floor-math -2.4))'
❌ MATH-HYPHEN-FUNCTIONS.21
AssertionError: Test failed: Expected '((Error (floor-math A) "floor-math expects one argument: input number"))' but got '((floor-math A))'
❌ MATH-HYPHEN-FUNCTIONS.22
AssertionError: Test failed: Expected '(2)' but got '((round-math 2.4))'
❌ MATH-HYPHEN-FUNCTIONS.23
AssertionError: Test failed: Expected '(-3)' but got '((round-math -2.7))'
❌ MATH-HYPHEN-FUNCTIONS.24
AssertionError: Test failed: Expected '((Error (round-math A) "round-math expects one argument: input number"))' but got '((round-math A))'
❌ MATH-HYPHEN-FUNCTIONS.25
AssertionError: Test failed: Expected '(0)' but got '((sin-math 0))'
❌ MATH-HYPHEN-FUNCTIONS.26
AssertionError: Test failed: Expected '(True)' but got '((< (abs-math (- (sin-math 1.570796327) 1.0)) 1.0e-10))'
❌ MATH-HYPHEN-FUNCTIONS.27
AssertionError: Test failed: Expected '((Error (sin-math A) "sin-math expects one argument: input number"))' but got '((sin-math A))'
❌ MATH-HYPHEN-FUNCTIONS.28
AssertionError: Test failed: Expected '(0)' but got '((asin-math 0))'
❌ MATH-HYPHEN-FUNCTIONS.29
AssertionError: Test failed: Expected '(True)' but got '((< (abs-math (- (asin-math (sin-math 1)) 1.0)) 1.0e-10))'
❌ MATH-HYPHEN-FUNCTIONS.30
AssertionError: Test failed: Expected '((Error (asin-math A) "asin-math expects one argument: input number"))' but got '((asin-math A))'
❌ MATH-HYPHEN-FUNCTIONS.31
AssertionError: Test failed: Expected '(1)' but got '((cos-math 0))'
❌ MATH-HYPHEN-FUNCTIONS.32
AssertionError: Test failed: Expected '(True)' but got '((< (abs-math (cos-math 1.570796327)) 1.0e-10))'
❌ MATH-HYPHEN-FUNCTIONS.33
AssertionError: Test failed: Expected '((Error (cos-math A) "cos-math expects one argument: input number"))' but got '((cos-math A))'
❌ MATH-HYPHEN-FUNCTIONS.34
AssertionError: Test failed: Expected '(0)' but got '((acos-math 1))'
❌ MATH-HYPHEN-FUNCTIONS.35
AssertionError: Test failed: Expected '(True)' but got '((< (abs-math (- (acos-math (cos-math 1)) 1.0)) 1.0e-10))'
❌ MATH-HYPHEN-FUNCTIONS.36
AssertionError: Test failed: Expected '((Error (acos-math A) "acos-math expects one argument: input number"))' but got '((acos-math A))'
❌ MATH-HYPHEN-FUNCTIONS.37
AssertionError: Test failed: Expected '(0)' but got '((tan-math 0))'
❌ MATH-HYPHEN-FUNCTIONS.38
AssertionError: Test failed: Expected '(True)' but got '((< (abs-math (- (tan-math 0.78539816339) 1.0)) 1.0e-10))'
❌ MATH-HYPHEN-FUNCTIONS.39
AssertionError: Test failed: Expected '((Error (tan-math A) "tan-math expects one argument: input number"))' but got '((tan-math A))'
❌ MATH-HYPHEN-FUNCTIONS.40
AssertionError: Test failed: Expected '(0)' but got '((atan-math 0))'
❌ MATH-HYPHEN-FUNCTIONS.41
AssertionError: Test failed: Expected '(True)' but got '((< (abs-math (- (atan-math (tan-math 1)) 1.0)) 1.0e-10))'
❌ MATH-HYPHEN-FUNCTIONS.42
AssertionError: Test failed: Expected '((Error (atan-math A) "atan-math expects one argument: input number"))' but got '((atan-math A))'
❌ MATH-HYPHEN-FUNCTIONS.43
AssertionError: Test failed: Expected '(False)' but got '((isnan-math 0))'
❌ MATH-HYPHEN-FUNCTIONS.44
AssertionError: Test failed: Expected '(True)' but got '((isnan-math (log-math 0 0)))'
❌ MATH-HYPHEN-FUNCTIONS.45
AssertionError: Test failed: Expected '((Error (isnan-math A) "isnan-math expects one argument: input number"))' but got '((isnan-math A))'
❌ MATH-HYPHEN-FUNCTIONS.46
AssertionError: Test failed: Expected '(False)' but got '((isinf-math 0))'
❌ MATH-HYPHEN-FUNCTIONS.47
AssertionError: Test failed: Expected '(True)' but got '((isinf-math (log-math 5 0)))'
❌ MATH-HYPHEN-FUNCTIONS.48
AssertionError: Test failed: Expected '((Error (isinf-math A) "isinf-math expects one argument: input number"))' but got '((isinf-math A))'
✅ MAX-TIME-TESTS.01
✅ MAX-TIME-TESTS.02
✅ MAX-TIME-TESTS.03
✅ MAX-TIME-TESTS.04
✅ MAX-TIME-TESTS.05
✅ METHOD-SELECTION-TESTS.01
❌ METHOD-SELECTION-TESTS.02
AssertionError: Test failed: Expected '(True)' but got '(True (< Z (S Z)))'
❌ METHOD-SELECTION-TESTS.03
AssertionError: Test failed: Expected '(False)' but got '(False (< Z Z))'
❌ METHOD-SELECTION-TESTS.04
AssertionError: Test failed: Expected '(False)' but got '(False (< (S Z) Z))'
❌ METHOD-SELECTION-TESTS.05
AssertionError: Test failed: Expected '(False)' but got '(False (< Z Z) (< (S Z) (S Z)))'
❌ METHOD-SELECTION-TESTS.06
AssertionError: Test failed: Expected '(True)' but got '(True (< Z (S Z)) (< (S Z) (S (S Z))))'
❌ METHOD-SELECTION-TESTS.07
AssertionError: Test failed: Expected '(False)' but got '(False (< Z Z) (< (S Z) (S Z)) (< (S (S Z)) (S (S Z))))'
❌ METHOD-SELECTION-TESTS.08
AssertionError: Test failed: Expected '(False)' but got '(False (< (S Z) Z) (< (S (S Z)) (S Z)))'
❌ METHOD-SELECTION-TESTS.09
AssertionError: Test failed: Expected '(True)' but got '(True (< Z (S (S Z))) (< (S Z) (S (S (S Z)))))'
✅ METHOD-SELECTION-TESTS.10
✅ METHOD-SELECTION-TESTS.11
✅ METHOD-SELECTION-TESTS.12
✅ METHOD-SELECTION-TESTS.13
✅ METHOD-SELECTION-TESTS.14
✅ METHOD-SELECTION-TESTS.15
❌ METHOD-SELECTION-TESTS.16
AssertionError: Test failed: Expected '()' but got '((< Z 0))'
❌ METHOD-SELECTION-TESTS.17
AssertionError: Test failed: Expected '()' but got '(False (< 0 Z))'
❌ METHOD-SELECTION-TESTS.18
AssertionError: Test failed: Expected '()' but got '((< Z 1))'
❌ METHOD-SELECTION-TESTS.19
AssertionError: Test failed: Expected '()' but got '(False (< 1 Z))'
❌ METHOD-SELECTION-TESTS.20
AssertionError: Test failed: Expected '()' but got '((< (S Z) 1))'
❌ METHOD-SELECTION-TESTS.21
AssertionError: Test failed: Expected '()' but got '((< 1 (S Z)))'
❌ METHOD-SELECTION-TESTS.22
AssertionError: Test failed: Expected '()' but got '((< (S (S Z)) 3))'
❌ METHOD-SELECTION-TESTS.23
AssertionError: Test failed: Expected '()' but got '((< 2 (S (S Z))))'
✅ METTA-THE-FUNCTION.01
✅ METTA-THE-FUNCTION.02
✅ MINIMAL-METTA-TESTS.01
❌ MINIMAL-METTA-TESTS.02
AssertionError: Test failed: Expected '(1)' but got '()'
✅ MINIMAL-METTA-TESTS.03
✅ MINIMAL-METTA-TESTS.04
❌ MINIMAL-METTA-TESTS.05
AssertionError: Test failed: Expected '(1)' but got '()'
✅ MINIMAL-METTA-TESTS.06
❌ MINIMAL-METTA-TESTS.07
AssertionError: Test failed: Expected '((quote 1) (quote ))' but got '((quote 1))'
❌ MINIMAL-METTA-TESTS.08
AssertionError: Test failed: Expected '((quote (returns-empty)))' but got '((quote 1))'
✅ MINIMAL-METTA-TESTS.09
❌ MINIMAL-METTA-TESTS.10
AssertionError: Test failed: Expected '(1 ())' but got '(())'
✅ MINIMAL-METTA-TESTS.11
✅ MINIMAL-METTA-TESTS.12
❌ MINIMAL-METTA-TESTS.13
AssertionError: Test failed: Expected '(1 ())' but got '(())'
✅ MINIMAL-METTA-TESTS.14
✅ MINIMAL-METTA-TESTS.15
❌ MINIMAL-METTA-TESTS.16
AssertionError: Test failed: Expected '((quote (returns-empty-expression)))' but got '((quote ()) (quote 1))'
❌ MINIMAL-METTA-TESTS.17
AssertionError: Test failed: Expected '(1 (returns-not-reducible))' but got '(NotReducible 1)'
❌ MINIMAL-METTA-TESTS.18
AssertionError: Test failed: Expected '(1 (returns-not-reducible))' but got '(NotReducible 1)'
❌ MINIMAL-METTA-TESTS.19
AssertionError: Test failed: Expected '(1 (eval (returns-not-reducible)))' but got '(NotReducible)'
❌ MINIMAL-METTA-TESTS.20
AssertionError: Test failed: Expected '(1 (eval (returns-not-reducible)))' but got '(1)'
❌ MINIMAL-METTA-TESTS.21
AssertionError: Test failed: Expected '(1 (returns-not-reducible))' but got '(NotReducible)'
❌ MINIMAL-METTA-TESTS.22
AssertionError: Test failed: Expected '(1 (returns-not-reducible))' but got '(1)'
✅ MINIMAL-METTA-TESTS.23
❌ MINIMAL-METTA-TESTS.24
AssertionError: Test failed: Expected '((quote (returns-not-reducible)))' but got '((quote NotReducible) (quote 1))'
❌ MINIMAL-METTA-TESTS.25
AssertionError: Test failed: Expected '((quote (((foo $x) {() }))))' but got '((quote (input A)) (quote (input B)))'
❌ MINIMAL-METTA-TESTS.26
AssertionError: Test failed: Expected '((quote (((bar $x) {() }))))' but got '((quote (input A)) (quote (input B)))'
❌ MINIMAL-METTA-TESTS.27
AssertionError: Test failed: Expected '((quote (((input B) {($x <- B) }) ((input A) {($x <- A) }))))' but got '((quote (input A)))'
❌ MINIMAL-METTA-TESTS.28
AssertionError: Test failed: Expected '((quote (foo $x)))' but got '((quote input) (quote A) (quote input) (quote B))'
❌ MINIMAL-METTA-TESTS.29
AssertionError: Test failed: Expected '((quote (bar $x)))' but got '((quote input) (quote A) (quote input) (quote B))'
❌ MINIMAL-METTA-TESTS.30
AssertionError: Test failed: Expected '((quote (input B)) (quote (input A)))' but got '((quote input) (quote A))'
✅ MINIMAL-METTA-TESTS.31
✅ MINIMAL-METTA-TESTS.32
❌ MINIMAL-METTA-TESTS.33
AssertionError: Test failed: Expected '((1 {($type <- Number) }) ("a" {($type <- String) }))' but got '(1)'
✅ MINIMAL-METTA-TESTS.34
✅ MINIMAL-METTA-TESTS.35
❌ MINIMAL-METTA-TESTS.36
AssertionError: Test failed: Expected '((1 {($type <- Number) }) ("a" {($type <- String) }))' but got '(1)'
❌ MINIMAL-METTA-TESTS.37
AssertionError: Test failed: Expected '((quote (n/0/0)))' but got '((quote (n/2/0)) (quote (n/1/1)))'
❌ MINIMAL-METTA-TESTS.38
AssertionError: Test failed: Expected '((quote (n/1/0)) (quote (n/1/1)))' but got '((quote (n/2/0)) (quote (n/1/1)))'
✅ MINIMAL-METTA-TESTS.39
❌ MINIMAL-METTA-TESTS.40
AssertionError: Test failed: Expected '((a b))' but got '(($x $y))'
✅ MINIMAL-METTA-TESTS.41
✅ MINIMAL-METTA-TESTS.42
✅ MINIMAL-METTA-TESTS.43
❌ MINIMAL-METTA-TESTS.44
AssertionError: Test failed: Expected '(value)' but got '()'
✅ NON-DETERMINISTIC-FUNCTIONS-HE-744.01
✅ NON-DETERMINISTIC-FUNCTIONS-HE-744.02
✅ NON-DETERMINISTIC-FUNCTIONS-HE-744.03
❌ OLD-VOID-OR-EMPTY.01
AssertionError: Test failed: Expected '((quote ( $else)))' but got '("Found %void%")'
✅ OLD-VOID-OR-EMPTY.02
❌ OLD-VOID-OR-EMPTY.03
AssertionError: Test failed: Expected '((quote ( $else)))' but got '("Found Empty")'
✅ OLD-VOID-OR-EMPTY.04
✅ OLD-VOID-OR-EMPTY.05
❌ OLD-VOID-OR-EMPTY.06
AssertionError: Test failed: Expected '((2 (quote ((+ 1 1) $_120358))) (a (quote (a $_120358))))' but got '((a (quote (a a))) (2 (quote ((+ 1 1) (+ 1 1)))))'
✅ OR-TEST.01
❌ OR-TEST.02
AssertionError: Test failed: Expected '(False)' but got '(True)'
✅ OR-TEST.03
✅ OR-TEST.04
✅ OR-TEST.05
✅ OR-TEST.06
✅ OR-TEST.07
✅ OR-TEST.08
✅ OR-TEST.09
✅ OR-TEST.10
✅ OR-TEST.11
✅ OR-TEST.12
✅ OR-TEST.13
✅ OR-TEST.14
✅ OR-TEST.15
✅ OR-TEST.16
✅ OR-TEST.17
✅ OR-TEST.18
✅ OR-TEST.19
❌ OR-TEST.20
AssertionError: Test failed: Expected '(False True True True)' but got '(True True)'
✅ OUTPUT-LOAD-TESTS.01
✅ OUTPUT-LOAD-TESTS.02
✅ OUTPUT-LOAD-TESTS.03
✅ OUTPUT-LOAD-TESTS.04
✅ OUTPUT-LOAD-TESTS.05
✅ OUTPUT-LOAD-TESTS.06
✅ OUTPUT-LOAD-TESTS.07
✅ OUTPUT-LOAD-TESTS.08
✅ OUTPUT-LOAD-TESTS.09
✅ OUTPUT-LOAD-TESTS.10
❌ OUTPUT-LOAD-TESTS.11
AssertionError: Test failed: Expected '(3 4 5 6)' but got '(1 2 3 4 5 6)'
❌ OUTPUT-LOAD-TESTS.12
AssertionError: Test failed: Expected '()' but got '(1 2)'
✅ OUTPUT-LOAD-TESTS.13
✅ OUTPUT-LOAD-TESTS.14
❌ OUTPUT-LOAD-TESTS.15
AssertionError: Test failed: Expected '(1 2)' but got '(1 2 3 4 5 6)'
✅ OUTPUT-LOAD-TESTS.16
❌ OUTPUT-LOAD-TESTS.17
AssertionError: Test failed: Expected '(2)' but got '()'
✅ OUTPUT-LOAD-TESTS.19
❌ OUTPUT-LOAD-TESTS.20
AssertionError: Test failed: Expected '((John Jane))' but got '()'
❌ OUTPUT-LOAD-TESTS.21
AssertionError: Test failed: Expected '(2)' but got '()'
✅ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.01
✅ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.02
✅ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.03
✅ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.04
✅ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.05
❌ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.06
AssertionError: Test failed: Expected '(Age Alice 20)' but got '()'
❌ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.07
AssertionError: Test failed: Expected '(Age Bob 22)' but got '()'
✅ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.08
❌ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.09
AssertionError: Test failed: Expected '(Friend Bob Alice)' but got '()'
❌ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.10
AssertionError: Test failed: Expected '(GameRole Predator)' but got '()'
✅ PY-TYPES-2.01
✅ PY-TYPES-2.02
✅ PY-TYPES.01
✅ PY-TYPES.02
✅ PY-TYPES.03
✅ PY-TYPES.04
✅ PY-TYPES.05
✅ PY-TYPES.06
✅ QUOTING-SCOPING-HE-579.01
✅ QUOTING-SCOPING-HE-579.02
❌ RECURSIVE-TUPLE-LIST-BENCHMARK-HE-394.01
AssertionError: Test failed: Expected '((extend-py! benchmark))' but got '((py-module benchmark "import time\nfrom hyperon.atoms import OperationAtom\nfrom hyperon.ext import register_atoms\n\n@register_atoms\ndef my_atoms():\n return {\n 'current_time': OperationAtom('current_time', lambda: time.time())\n }\n"))'
❌ RECURSIVE-TUPLE-LIST-PERF-HE-394.01
AssertionError: Test failed: Expected '(30)' but got '(0)'
✅ RECURSIVE-TUPLE-LIST-PERF-HE-394.02
❌ RECURSIVE-TUPLE-LIST-PERF-HE-394.03
AssertionError: Test failed: Expected '(1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1)' but got '((1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 (1 ())))))))))))))))))))))))))))))))'
❌ REPRESENT-AND-PARSE-TESTS.01
AssertionError: Test failed: Expected '(c d)' but got '((intersect a c) (intersect a d) (intersect a e) (intersect a f) (intersect b c) (intersect b d) (intersect b e) (intersect b f) (intersect c c) (intersect c d) (intersect c e) (intersect c f) (intersect d c) (intersect d d) (intersect d e) (intersect d f))'
✅ REPRESENT-AND-PARSE-TESTS.02
✅ RULE-MACROS.01
❌ RUST-TESTS.01
AssertionError: Test failed: Expected '(3)' but got '(<py_ValueObject>(0x7f90ac1b5910))'
❌ RUST-TESTS.02
AssertionError: Test failed: Expected '(3)' but got '(<py_ValueObject>(0x7f90a7fab740))'
✅ RUST-TESTS.03
✅ RUST-TESTS.04
✅ RUST-TESTS.05
✅ RUST-TESTS.06
✅ RUST-TESTS.07
❌ RUST-TESTS.08
AssertionError: Test failed: Expected '(2)' but got '(<py_ValueObject>(0x7f90a7fa94f0))'
❌ RUST-TESTS.09
AssertionError: Test failed: Expected '(2)' but got '(<py_ValueObject>(0x7f90a7fa9520))'
✅ RUST-TESTS.10
✅ SEALED-TEST.01
✅ SEALED-TEST.02
✅ SEALED-TEST.03
✅ SEALED-TEST.04
✅ SEALED-TEST.05
✅ SEALED-TEST.06
✅ SEALED-TEST.07
✅ SEALED-TEST.08
✅ SEALED-TEST.09
✅ SEALED-TEST.10
✅ SEQUENTIAL-TESTS.01
✅ SEQUENTIAL-TESTS.02
❌ SINGLE-SIDED-MATCHING-HE-674.01
AssertionError: Test failed: Expected '(I)' but got '(((S K) $x))'
❌ SINGLE-SIDED-MATCHING-HE-674.02
AssertionError: Test failed: Expected '(InfiniteRecursion)' but got '((: $x $a))'
✅ SORTING-TESTS.01
✅ SORTING-TESTS.02
✅ SORTING-TESTS.03
✅ SORTING-TESTS.04
❌ SORTING-TESTS.05
AssertionError: Test failed: Expected '(True)' but got '((== (Cons 1 Nil) (Cons 1 Nil)))'
✅ SORTING-TESTS.06
✅ SORTING-TESTS.07
✅ SORTING-TESTS.08
✅ SORTING-TESTS.09
✅ SORTING-TESTS.10
✅ SORTING-TESTS.11
❌ SORTING-TESTS.12
AssertionError: Test failed: Expected '(False)' but got '(True)'
✅ SORTING-TESTS.13
❌ SORTING-TESTS.14
AssertionError: Test failed: Expected '((Cons 2 (Cons 3 (Cons 1 Nil))))' but got '((Cons 2 Nil))'
❌ SORTING-TESTS.15
AssertionError: Test failed: Expected '((Cons 2 (Cons 3 Nil)))' but got '((Cons 2 Nil))'
✅ SORTING-TESTS.16
❌ SORTING-TESTS.17
AssertionError: Test failed: Expected '((Cons 1 (Cons 2 Nil)))' but got '((Cons 1 Nil))'
❌ SORTING-TESTS.18
AssertionError: Test failed: Expected '((Cons 1 (Cons 2 (Cons 3 Nil))))' but got '((Cons 1 Nil))'
❌ SORTING-TESTS.19
AssertionError: Test failed: Expected '((Cons 1 (Cons 2 (Cons 3 Nil))))' but got '((Cons 1 Nil))'
✅ SORTING-TESTS.01
✅ SORTING-TESTS.02
✅ SORTING-TESTS.03
✅ SORTING-TESTS.04
✅ SORTING-TESTS.05
✅ SORTING-TESTS.06
✅ SORTING-TESTS.07
❌ SORTING-TESTS.08
AssertionError: Test failed: Expected '(False)' but got '(True)'
❌ SORTING-TESTS.09
AssertionError: Test failed: Expected '((Cons 2 (Cons 3 (Cons 1 Nil))))' but got '((Cons 2 Nil))'
❌ SORTING-TESTS.10
AssertionError: Test failed: Expected '((Cons 2 (Cons 3 Nil)))' but got '((Cons 2 Nil))'
❌ SORTING-TESTS.11
AssertionError: Test failed: Expected '((Cons 1 (Cons 2 Nil)))' but got '((Cons 1 Nil))'
❌ SORTING-TESTS.12
AssertionError: Test failed: Expected '((Cons 1 (Cons 2 (Cons 3 Nil))))' but got '((Cons 1 Nil))'
❌ SORTING-TESTS.13
AssertionError: Test failed: Expected '((Cons 1 (Cons 2 (Cons 3 Nil))))' but got '((Cons 1 Nil))'
❌ SORTING-TESTS-NATS.14
AssertionError: Test failed: Expected '(True)' but got '((< Z (S Z)) True)'
❌ SORTING-TESTS-NATS.15
AssertionError: Test failed: Expected '(True)' but got '((< Z (S (S Z))) True)'
❌ SORTING-TESTS-NATS.16
AssertionError: Test failed: Expected '(False)' but got '((< Z Z) False)'
❌ SORTING-TESTS-NATS.17
AssertionError: Test failed: Expected '(False)' but got '((< (S Z) Z) False)'
❌ SORTING-TESTS-NATS.18
AssertionError: Test failed: Expected '(False)' but got '((< (S (S Z)) Z) False)'
❌ SORTING-TESTS-NATS.19
AssertionError: Test failed: Expected '(False)' but got '((< (S Z) (S Z)) (< Z Z) False)'
❌ SORTING-TESTS-NATS.20
AssertionError: Test failed: Expected '(False)' but got '((< (S (S Z)) (S (S Z))) (< (S Z) (S Z)) (< Z Z) False)'
❌ SORTING-TESTS-NATS.21
AssertionError: Test failed: Expected '(False)' but got '((< (S (S (S Z))) (S (S (S Z)))) (< (S (S Z)) (S (S Z))) (< (S Z) (S Z)) (< Z Z) False)'
❌ SORTING-TESTS-NATS.22
AssertionError: Test failed: Expected '(True)' but got '((< (S Z) (S (S Z))) (< Z (S Z)) True)'
❌ SORTING-TESTS-NATS.23
AssertionError: Test failed: Expected '(True)' but got '((< (S (S Z)) (S (S (S Z)))) (< (S Z) (S (S Z))) (< Z (S Z)) True)'
❌ SORTING-TESTS-NATS.24
AssertionError: Test failed: Expected '(True)' but got '((< (S Z) (S (S (S Z)))) (< Z (S (S Z))) True)'
❌ SORTING-TESTS-NATS.25
AssertionError: Test failed: Expected '(False)' but got '((< (S (S Z)) (S Z)) (< (S Z) Z) False)'
❌ SORTING-TESTS-NATS.26
AssertionError: Test failed: Expected '(False)' but got '((< (S (S (S Z))) (S (S Z))) (< (S (S Z)) (S Z)) (< (S Z) Z) False)'
❌ SORTING-TESTS-NATS.27
AssertionError: Test failed: Expected '(False)' but got '((< (S (S (S (S Z)))) (S (S Z))) (< (S (S (S Z))) (S Z)) (< (S (S Z)) Z) False)'
✅ SORTING-TESTS-NATS.28
❌ SORTING-TESTS-NATS.29
AssertionError: Test failed: Expected '((Cons (S Z) (Cons (S (S Z) Nil))))' but got '((Cons (S (S Z)) (Cons (S Z) Nil)) (Cons (S (S Z)) (Cons (S Z) Nil)))'
❌ SORTING-TESTS-NATS.30
AssertionError: Test failed: Expected '((Cons (S Z) (Cons (S (S Z)) (Cons (S (S (S Z))) Nil))))' but got '((Cons (S (S (S Z))) (Cons (S (S Z)) (Cons (S Z) Nil))) (Cons (S (S (S Z))) (Cons (S (S Z)) (Cons (S Z) Nil))) (Cons (S (S (S Z))) (Cons (S (S Z)) (Cons (S Z) Nil))) (Cons (S (S (S Z))) (Cons (S (S Z)) (Cons (S Z) Nil))) (Cons (S (S (S Z))) (Cons (S (S Z)) (Cons (S Z) Nil))) (Cons (S (S (S Z))) (Cons (S (S Z)) (Cons (S Z) Nil))))'
✅ SORTING-TESTS-NATS.31
❌ SORTING-TESTS-NATS.32
AssertionError: Test failed: Expected '((Cons (S Z) (Cons (S (S Z) Nil))))' but got '((Cons (S (S Z)) (Cons (S Z) Nil)) (Cons (S (S Z)) (Cons (S Z) Nil)))'
❌ SORTING-TESTS-NATS.33
AssertionError: Test failed: Expected '((Cons (S Z) (Cons (S (S Z)) (Cons (S (S (S Z))) Nil))))' but got '((Cons (S (S (S Z))) (Cons (S Z) (Cons (S (S Z)) Nil))) (Cons (S (S (S Z))) (Cons (S Z) (Cons (S (S Z)) Nil))) (Cons (S (S (S Z))) (Cons (S Z) (Cons (S (S Z)) Nil))) (Cons (S (S (S Z))) (Cons (S Z) (Cons (S (S Z)) Nil))) (Cons (S (S (S Z))) (Cons (S Z) (Cons (S (S Z)) Nil))) (Cons (S (S (S Z))) (Cons (S Z) (Cons (S (S Z)) Nil))))'
✅ SORTING-TESTS-NATS.34
❌ SORTING-TESTS-NATS.35
AssertionError: Test failed: Expected '(False)' but got '(True)'
❌ SORTING-TESTS-NATS.36
AssertionError: Test failed: Expected '((Cons (S (S Z)) (Cons (S (S (S Z))) (Cons (S Z) Nil))))' but got '((Cons (S (S Z)) Nil))'
❌ SORTING-TESTS-NATS.37
AssertionError: Test failed: Expected '((Cons (S (S Z)) (Cons (S (S (S Z))) Nil)))' but got '((Cons (S (S Z)) Nil))'
❌ SORTING-TESTS-NATS.38
AssertionError: Test failed: Expected '((Cons (S Z) (Cons (S (S Z) Nil))))' but got '((Cons (S Z) Nil))'
❌ SORTING-TESTS-NATS.39
AssertionError: Test failed: Expected '((Cons (S Z) (Cons (S (S Z)) (Cons (S (S (S Z))) Nil))))' but got '((Cons (S Z) Nil))'
❌ SORTING-TESTS-NATS.40
AssertionError: Test failed: Expected '((Cons (S Z) (Cons (S (S Z)) (Cons (S (S (S Z))) Nil))))' but got '((Cons (S Z) Nil))'
✅ SPACE-INTERSECTION-TESTS.01
✅ SPACE-INTERSECTION-TESTS.02
✅ SPACE-INTERSECTION-TESTS.03
✅ SPACE-INTERSECTION-TESTS.04
❌ SPACE-INTERSECTION-TESTS.05
AssertionError: Test failed: Expected '((foo 7 7))' but got '((foo (foo 1 2) 3) (foo 7 7) (foo (foo $r 2) 3))'
❌ SPACE-INTERSECTION-TESTS.06
AssertionError: Test failed: Expected '((foo (foo 1 2) 3))' but got '((foo (foo 1 2) 3) (foo 7 7))'
❌ SPACE-INTERSECTION-TESTS.07
AssertionError: Test failed: Expected '((foo (foo 1 2) 3))' but got '((foo 7 7) (foo (foo 1 2) 3))'
❌ SPACE-INTERSECTION-TESTS.08
AssertionError: Test failed: Expected '((foo 3 $c))' but got '((foo $a $b) (foo 3 $c))'
✅ SPACE-INTERSECTION-TESTS.09
❌ SPACE-INTERSECTION-TESTS.10
AssertionError: Test failed: Expected '()' but got '((foo $m $n))'
✅ SPACE-INTERSECTION-TESTS.11
✅ SPACE-INTERSECTION-TESTS.12
✅ SPACE-INTERSECTION-TESTS.13
❌ SPACE-INTERSECTION-TESTS.14
AssertionError: Test failed: Expected '((foo 5 10) (foo 3 4))' but got '()'
✅ SPACE-INTERSECTION-TESTS.15
✅ SPACE-INTERSECTION-TESTS.16
✅ SPACE-INTERSECTION-TESTS.17
✅ SPACE-INTERSECTION-TESTS.18
✅ SPACE-SUBTRACTION-TESTS.01
✅ SPACE-SUBTRACTION-TESTS.02
✅ SPACE-SUBTRACTION-TESTS.03
✅ SPACE-SUBTRACTION-TESTS.04
✅ SPACE-SUBTRACTION-TESTS.05
✅ SPACE-SUBTRACTION-TESTS.06
✅ SPACE-SUBTRACTION-TESTS.07
✅ SPACE-SUBTRACTION-TESTS.08
✅ SPACE-TESTS.01
✅ SPACE-TESTS.02
✅ SPACE-TESTS.03
✅ SPACE-TESTS.04
✅ SPACE-TESTS.05
✅ SPACE-TESTS.06
✅ SPACE-TESTS.07
✅ SPACE-TESTS.08
✅ SPACE-TESTS.09
✅ SPACE-TESTS.10
✅ SPACE-TESTS.11
✅ SPACE-TESTS.12
✅ SPACE-TESTS.13
✅ SPACE-TESTS.14
✅ STRING-TESTS.01
✅ STRING-TESTS.02
✅ STRING-TESTS.03
✅ STRING-TESTS.04
✅ STRING-TESTS.05
✅ STRING-TESTS.06
✅ STRING-TESTS.07
✅ STRING-TESTS.08
✅ STRING-TESTS.09
✅ STRING-TESTS.10
✅ STRING-TESTS.11
✅ STRING-TESTS.12
✅ STRING-TESTS.13
✅ STRING-TESTS.14
✅ STRING-TESTS.15
✅ STRING-TESTS.16
✅ STRING-TESTS.17
✅ STRING-TESTS.18
✅ STRING-TESTS.19
✅ STRING-TESTS.20
✅ STRING-TESTS.21
✅ STRUCTURE-TESTS.01
✅ SUBTRACTION-TEST.01
✅ SUBTRACTION-TEST.02
✅ SUBTRACTION-TEST.03
✅ SUBTRACTION-TEST.04
✅ SUBTRACTION-TEST.05
✅ SUBTRACTION-TEST.06
✅ SUBTRACTION-TEST.07
✅ SUBTRACTION-TEST.08
✅ SUBTRACTION-TEST.09
✅ SUBTRACTION-TEST.10
❌ TUPLE-TYPE-CHECKING-HE-669.01
AssertionError: Test failed: Expected '((Error (wrong type) BadType))' but got '((foo_fixed (wrong type)))'
❌ TUPLE-TYPE-CHECKING-HE-669.02
AssertionError: Test failed: Expected '((Error (partially_defined %Undefined%) BadType))' but got '((partially_defined %Undefined%))'
❌ TUPLE-TYPE-CHECKING-HE-669.03
AssertionError: Test failed: Expected '((120))' but got '(1)'
❌ TUPLE-TYPE-CHECKING-HE-669.04
AssertionError: Test failed: Expected '((Error (5 6) BadType))' but got '(1)'
✅ TYPE-CHECK-BASIC-TESTS.01
✅ TYPE-CHECK-BASIC-TESTS.02
❌ TYPE-CHECK-BASIC-TESTS.03
AssertionError: Test failed: Expected '((Error "1" BadType))' but got '((foo "1"))'
✅ TYPE-CHECK-BASIC-TESTS.04
✅ TYPE-CHECK-BASIC-TESTS.05
❌ TYPE-CHECK-BASIC-TESTS.06
AssertionError: Test failed: Expected '()' but got '(Atom)'
❌ TYPE-CHECK-BASIC-TESTS.07
AssertionError: Test failed: Expected '()' but got '(Atom)'
✅ TYPE-CHECK-BASIC-TESTS.08
✅ TYPE-CHECK-BASIC-TESTS.09
✅ TYPE-CHECK-BASIC-TESTS.10
✅ TYPE-CHECK-BASIC-TESTS.11
✅ TYPE-CHECK-BASIC-TESTS.12
✅ TYPE-CHECK-BASIC-TESTS.13
✅ TYPE-CHECK-BASIC-TESTS.14
✅ TYPE-CHECK-BASIC-TESTS.15
✅ TYPE-CHECKING-SYMBOL-HE-673.01
❌ TYPE-CHECKING-SYMBOL-HE-673.02
AssertionError: Test failed: Expected '(Error (This is an expression) BadType)' but got '((This is an expression))'
❌ TYPE-CHECKING-SYMBOL-HE-673.03
AssertionError: Test failed: Expected '(Error 100 BadType)' but got '(Number)'
✅ TYPE-CHECKING-SYMBOL-HE-673.04
❌ TYPE-CHECKING-SYMBOL-HE-673.05
AssertionError: Test failed: Expected '(Error S BadType)' but got '(%Undefined%)'
❌ TYPE-CHECKING-SYMBOL-HE-673.06
AssertionError: Test failed: Expected '(Error (an expression) BadType)' but got '(())'
❌ TYPE-CHECKING-SYMBOL-HE-673.07
AssertionError: Test failed: Expected '(%Undefined%)' but got '(())'
❌ TYPE-CHECKING-SYMBOL-HE-673.08
AssertionError: Test failed: Expected '(Error (This is an expression) BadType)' but got '((This is an expression))'
❌ TYPE-CHECKING-SYMBOL-HE-673.09
AssertionError: Test failed: Expected '((Error (%Undefined%) BadType))' but got '((%Undefined%))'
❌ TYPE-CHECKING-SYMBOL-HE-673.10
AssertionError: Test failed: Expected '((%Undefined%))' but got '(%Undefined%)'
❌ TYPE-CHECKING-SYMBOL-HE-673.11
AssertionError: Test failed: Expected '((Error (typed $x) BadType))' but got '(())'
❌ TYPE-CHECKING-SYMBOL-HE-673.12
AssertionError: Test failed: Expected '((%Undefined%))' but got '(%Undefined%)'
✅ TYPE-FILTERING-TESTS.01
✅ TYPE-FILTERING-TESTS.02
✅ TYPE-FILTERING-TESTS.03
✅ TYPE-FILTERING-TESTS.04
✅ TYPE-FILTERING-TESTS.05
✅ TYPE-FILTERING-TESTS.06
✅ TYPE-FILTERING-TESTS.07
✅ TYPE-FILTERING-TESTS.08
✅ TYPE-FILTERING-TESTS.09
✅ TYPE-FILTERING-TESTS.10
✅ TYPE-FILTERING-TESTS.11
✅ TYPE-FILTERING-TESTS.12
✅ TYPE-FILTERING-TESTS.13
✅ TYPE-FILTERING-TESTS.14
✅ TYPE-FILTERING-TESTS.15
✅ TYPE-FILTERING-TESTS.16
✅ TYPE-FILTERING-TESTS.17
✅ TYPE-FILTERING-TESTS.18
✅ TYPE-FILTERING-TESTS.19
✅ TYPE-FILTERING-TESTS.20
✅ TYPE-FILTERING-TESTS.21
❌ UNIFY-TRUE-FALSE.01
AssertionError: Test failed: Expected '(False)' but got '(True)'
✅ UNIFY-TRUE-FALSE.02
✅ UNIFY-TRUE-FALSE.03
✅ UNIFY-TRUE-FALSE.04
❌ UNIFY-TRUE-FALSE.05
AssertionError: Test failed: Expected '(False)' but got '(True)'
❌ UNIFY-TRUE-FALSE.06
AssertionError: Test failed: Expected '(True)' but got '()'
✅ UNIFY-TRUE-FALSE.07
❌ UNIFY-TRUE-FALSE.08
AssertionError: Test failed: Expected '(True)' but got '(False)'
✅ UNIFY-TRUE-FALSE.09
✅ UNIFY-TRUE-FALSE.10
❌ UNIFY-TRUE-FALSE.11
AssertionError: Test failed: Expected '(False)' but got '(True)'
✅ UNIFY-TRUE-FALSE.12
✅ UNIFY-TRUE-FALSE.13
✅ UNIFY-TRUE-FALSE.14
✅ UNIFY-TRUE-FALSE.15
✅ UNIFY-TRUE-FALSE.16
✅ UNIFY-TRUE-FALSE.17
✅ UNIFY-TRUE-FALSE.18
✅ UNIFY-TRUE-FALSE.19
✅ UNIFY-TRUE-FALSE.20
✅ UNIFY-TRUE-FALSE.21
✅ UNIFY-TRUE-FALSE.22
✅ UNIFY-TRUE-FALSE.23
❌ UNIFY-TRUE-FALSE.24
AssertionError: Test failed: Expected '(False)' but got '(True)'
✅ UNIFY-TRUE-FALSE.25
✅ UNIFY-TRUE-FALSE.26
✅ UNIFY-TRUE-FALSE.27
✅ UNIFY-TRUE-FALSE.28
❌ UNIFY-TRUE-FALSE.29
AssertionError: Test failed: Expected '(False)' but got '(True)'
✅ UNIFY-TRUE-FALSE.30
✅ UNIFY-TRUE-FALSE.31
✅ UNIFY-TRUE-FALSE.32
✅ UNIFY-TRUE-FALSE.33
✅ UNIFY-TRUE-FALSE.34
❌ UNIFY-TRUE-FALSE.35
AssertionError: Test failed: Expected '(False)' but got '(True)'
✅ UNIFY-TRUE-FALSE.36
✅ UNIFY-TRUE-FALSE.37
✅ UNIFY-TRUE-FALSE.38
❌ UNIFY-TRUE-FALSE.39
AssertionError: Test failed: Expected '(False)' but got '((quote (u 2 (+ $a $b))))'
❌ UNIFY-TRUE-FALSE.40
AssertionError: Test failed: Expected '((quote (u (Error (+ 1 2 3) IncorrectNumberOfArguments) (Error (+ 1 2 3) IncorrectNumberOfArguments))))' but got '((quote (u (+ 1 2 3) (+ 1 $two 3))))'
Report exceeded GitHub limit of 65535 bytes and has been trimmed
Annotations
Check failure on line 0 in junit.xml
github-actions / JUnit Results
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.02
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '((Error S BadType))' but got '(S)'
Raw output
AssertionError: Test failed: Expected '((Error S BadType))' but got '(S)'
Check failure on line 0 in junit.xml
github-actions / JUnit Results
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.08
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '((Error (Cons Z Nil) BadType))' but got '((Cons S (Cons Z Nil)))'
Raw output
AssertionError: Test failed: Expected '((Error (Cons Z Nil) BadType))' but got '((Cons S (Cons Z Nil)))'
Check failure on line 0 in junit.xml
github-actions / JUnit Results
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.11
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '((Error S BadType))' but got '((eq Z S))'
Raw output
AssertionError: Test failed: Expected '((Error S BadType))' but got '((eq Z S))'
Check failure on line 0 in junit.xml
github-actions / JUnit Results
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.14
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '((Error Color BadType))' but got '(T)'
Raw output
AssertionError: Test failed: Expected '((Error Color BadType))' but got '(T)'
Check failure on line 0 in junit.xml
github-actions / JUnit Results
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.15
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '((Error Circle BadType))' but got '(T)'
Raw output
AssertionError: Test failed: Expected '((Error Circle BadType))' but got '(T)'
Check failure on line 0 in junit.xml
github-actions / JUnit Results
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.24
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '((eqa Z (Add Z Z)))' but got '(T)'
Raw output
AssertionError: Test failed: Expected '((eqa Z (Add Z Z)))' but got '(T)'
Check failure on line 0 in junit.xml
github-actions / JUnit Results
HYPERON-EXPERIMENTAL-SCRIPTS ► C1-GROUNDED-BASIC.09
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '(True)' but got '((== 4 4))'
Raw output
AssertionError: Test failed: Expected '(True)' but got '((== 4 4))'
Check failure on line 0 in junit.xml
github-actions / JUnit Results
HYPERON-EXPERIMENTAL-SCRIPTS ► C1-GROUNDED-BASIC.10
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '(False)' but got '((== 2 3))'
Raw output
AssertionError: Test failed: Expected '(False)' but got '((== 2 3))'
Check failure on line 0 in junit.xml
github-actions / JUnit Results
HYPERON-EXPERIMENTAL-SCRIPTS ► C1-GROUNDED-BASIC.11
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '(True)' but got '((== (A B) (A B)))'
Raw output
AssertionError: Test failed: Expected '(True)' but got '((== (A B) (A B)))'
Check failure on line 0 in junit.xml
github-actions / JUnit Results
HYPERON-EXPERIMENTAL-SCRIPTS ► C1-GROUNDED-BASIC.12
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '(False)' but got '((== (A B) (A (B C))))'
Raw output
AssertionError: Test failed: Expected '(False)' but got '((== (A B) (A (B C))))'
Check failure on line 0 in junit.xml
github-actions / JUnit Results
HYPERON-EXPERIMENTAL-SCRIPTS ► C1-GROUNDED-BASIC.13
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '(False)' but got '((== 4 (+ ln 2)))'
Raw output
AssertionError: Test failed: Expected '(False)' but got '((== 4 (+ ln 2)))'
Loading