minecraft-npc-in-metta #151
GitHub Actions / JUnit Results
succeeded
Feb 6, 2025 in 1s
917 passed, 264 failed and 0 skipped
❌ junit.xml
1181 tests were completed in 5671s with 917 passed, 264 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| HYPERON-EXPERIMENTAL-SCRIPTS | 169✅ | 39❌ | 348s | |
| HYPERON-METTALOG-SANITY | 499✅ | 192❌ | 2737s | |
| METTA-MORPH-TESTS | 116✅ | 10❌ | 438s | |
| MODULE-SYSTEM | 6✅ | 32s | ||
| SYNTH-BUFFER | 10✅ | 69s | ||
| WHOLE-TESTS | 117✅ | 23❌ | 2046s |
❌ 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
✅ 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 '(S)' but got 'strict_equals_allow_vn'
✅ 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 '((Cons S (Cons Z Nil)))' but got 'strict_equals_allow_vn'
✅ B5-TYPES-PRELIM.09
✅ B5-TYPES-PRELIM.10
❌ B5-TYPES-PRELIM.11
AssertionError: Test failed: Expected '((eq Z S))' but got 'strict_equals_allow_vn'
✅ B5-TYPES-PRELIM.12
✅ B5-TYPES-PRELIM.13
❌ B5-TYPES-PRELIM.14
AssertionError: Test failed: Expected '(T)' but got 'strict_equals_allow_vn'
❌ B5-TYPES-PRELIM.15
AssertionError: Test failed: Expected '(T)' but got 'strict_equals_allow_vn'
✅ 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 '(T)' but got 'strict_equals_allow_vn'
✅ 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
✅ C1-GROUNDED-BASIC.10
✅ C1-GROUNDED-BASIC.11
✅ C1-GROUNDED-BASIC.12
✅ C1-GROUNDED-BASIC.13
❌ C1-GROUNDED-BASIC.14
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ C1-GROUNDED-BASIC.15
AssertionError: Test failed: Expected '(False)' but got 'strict_equals_allow_vn'
✅ C1-GROUNDED-BASIC.16
✅ C1-GROUNDED-BASIC.17
✅ C1-GROUNDED-BASIC.18
✅ C1-GROUNDED-BASIC.19
✅ C1-GROUNDED-BASIC.20
✅ C1-GROUNDED-BASIC.21
✅ C1-GROUNDED-BASIC.22
✅ C1-GROUNDED-BASIC.23
✅ 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
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ D1-GADT.05
AssertionError: Test failed: Expected '(AnyRet AnyRet)' but got 'strict_equals_allow_vn'
✅ D1-GADT.06
✅ D1-GADT.07
✅ D1-GADT.08
❌ D1-GADT.09
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ D1-GADT.10
AssertionError: Test failed: Expected '((EitherP $t) (EitherP $t))' but got 'strict_equals_allow_vn'
✅ D2-HIGHERFUNC.01
✅ D2-HIGHERFUNC.02
✅ D2-HIGHERFUNC.03
✅ D2-HIGHERFUNC.04
✅ D2-HIGHERFUNC.05
✅ D2-HIGHERFUNC.06
❌ D2-HIGHERFUNC.07
AssertionError: Test failed: Expected '(Number Number)' but got 'strict_equals_allow_vn'
✅ D2-HIGHERFUNC.08
✅ D2-HIGHERFUNC.09
✅ D2-HIGHERFUNC.10
✅ D2-HIGHERFUNC.11
✅ D2-HIGHERFUNC.12
✅ D2-HIGHERFUNC.13
❌ D2-HIGHERFUNC.14
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ D2-HIGHERFUNC.15
✅ D2-HIGHERFUNC.16
✅ D2-HIGHERFUNC.17
✅ D2-HIGHERFUNC.18
✅ D2-HIGHERFUNC.19
❌ D2-HIGHERFUNC.20
AssertionError: Test failed: Expected '((Either Number) (Either Number))' but got 'strict_equals_allow_vn'
❌ D2-HIGHERFUNC.21
AssertionError: Test failed: Expected '(($_640346 Number) ($_640358 Number))' but got 'strict_equals_allow_vn'
❌ D2-HIGHERFUNC.22
AssertionError: Test failed: Expected '(($_680634 Number) ($_680646 Number))' but got 'strict_equals_allow_vn'
✅ D2-HIGHERFUNC.23
✅ D2-HIGHERFUNC.24
✅ D2-HIGHERFUNC.25
❌ D3-DEPTYPES.01
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ D3-DEPTYPES.02
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ D4-TYPE-PROP.01
✅ D4-TYPE-PROP.02
❌ D4-TYPE-PROP.03
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ D4-TYPE-PROP.04
✅ D4-TYPE-PROP.05
❌ D4-TYPE-PROP.06
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ D4-TYPE-PROP.07
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ D4-TYPE-PROP.08
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ D4-TYPE-PROP.09
✅ D4-TYPE-PROP.10
✅ D4-TYPE-PROP.11
✅ D4-TYPE-PROP.12
✅ D4-TYPE-PROP-X2.01
✅ D4-TYPE-PROP-X2.02
❌ D4-TYPE-PROP-X2.03
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ D4-TYPE-PROP-X2.04
✅ D4-TYPE-PROP-X2.05
❌ D4-TYPE-PROP-X2.06
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ D4-TYPE-PROP-X2.07
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ D4-TYPE-PROP-X2.08
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ D4-TYPE-PROP-X2.09
✅ D4-TYPE-PROP-X2.10
✅ D4-TYPE-PROP-X2.11
✅ D4-TYPE-PROP-X2.12
❌ D5-AUTO-TYPES.01
AssertionError: Test failed: Expected '(88)' but got 'strict_equals_allow_vn'
❌ D5-AUTO-TYPES.02
AssertionError: Test failed: Expected '(False)' but got 'strict_equals_allow_vn'
❌ D5-AUTO-TYPES.03
AssertionError: Test failed: Expected '(False)' but got 'strict_equals_allow_vn'
❌ D5-AUTO-TYPES.05
AssertionError: Test failed: Expected '((88))' but got 'strict_equals_allow_vn'
✅ D5-AUTO-TYPES.06
✅ E1-KB-WRITE.01
✅ E1-KB-WRITE.02
✅ E2-STATES.01
✅ E2-STATES.02
❌ E2-STATES.03
AssertionError: Test failed: Expected '((StateMonad $tnso) (StateMonad $tnso))' but got 'strict_equals_allow_vn'
❌ E2-STATES.04
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ E2-STATES.05
✅ E2-STATES.06
❌ E2-STATES.07
AssertionError: Test failed: Expected '([State 1 $_268056])' but got 'strict_equals_allow_vn'
❌ E2-STATES.08
AssertionError: Test failed: Expected '([State "S" $_287528])' but got 'strict_equals_allow_vn'
✅ E2-STATES.09
✅ E2-STATES.10
✅ E2-STATES.11
✅ E2-STATES.12
✅ E3-MATCH-STATES.01
✅ E3-MATCH-STATES.02
❌ E3-MATCH-STATES.03
AssertionError: Test failed: Expected '(inactive)' but got 'strict_equals_allow_vn'
✅ E3-MATCH-STATES.04
❌ E3-MATCH-STATES.05
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ E3-MATCH-STATES.06
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ F1-IMPORTS.01
✅ 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.12
✅ 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
✅ G1-DOCS.02
✅ G1-DOCS.03
✅ G1-DOCS.04
❌ G1-DOCS.05
AssertionError: Test failed: Expected '((@doc-formal (@item (some-func arg1 arg2)) (@kind atom) (@type ()) (@desc "No documentation")))' but got 'strict_equals_allow_vn'
❌ 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.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
✅ 03-SORING-VIA-INSERT.01
✅ 03-SORING-VIA-INSERT.02
✅ 03-SORING-VIA-INSERT.03
✅ 03-SORING-VIA-INSERT.04
✅ 06-MATCH-IN-SPACE.01
✅ 06-MATCH-IN-SPACE.02
✅ 06-MATCH-IN-SPACE.03
✅ 06-MATCH-IN-SPACE.04
✅ ALPHA-EQUALS-TESTS.01
✅ ALPHA-EQUALS-TESTS.02
✅ ALPHA-EQUALS-TESTS.03
✅ ALPHA-EQUALS-TESTS.04
✅ ALPHA-EQUALS-TESTS.05
✅ ALPHA-EQUALS-TESTS.06
✅ ALPHA-EQUALS-TESTS.07
✅ ALPHA-EQUALS-TESTS.08
✅ ALPHA-EQUALS-TESTS.09
✅ ALPHA-EQUALS-TESTS.10
✅ ALPHA-EQUALS-TESTS.11
✅ ALPHA-EQUALS-TESTS.12
✅ ALPHA-EQUALS-TESTS.13
✅ ALPHA-EQUALS-TESTS.14
✅ ALPHA-EQUALS-TESTS.15
✅ ALPHA-EQUALS-TESTS.16
✅ ALPHA-EQUALS-TESTS.17
✅ ALPHA-EQUIVALENCE-ASSERTIONS-HE-744.01
✅ ALPHA-EQUIVALENCE-ASSERTIONS-HE-744.02
✅ ALPHA-EQUIVALENCE-ASSERTIONS-HE-744.03
✅ ALPHA-EQUIVALENCE-ASSERTIONS-HE-744.04
✅ ALPHA-EQUIVALENCE-ASSERTIONS-HE-744.05
❌ ARITY-TESTS.01
AssertionError: Test failed: Expected '((predicate-arity foo))' but got 'strict_equals_allow_vn'
❌ ARITY-TESTS.02
AssertionError: Test failed: Expected '((function-arity foo))' but got 'strict_equals_allow_vn'
❌ ARITY-TESTS.03
AssertionError: Test failed: Expected '((predicate-arity bar))' but got 'strict_equals_allow_vn'
❌ ARITY-TESTS.04
AssertionError: Test failed: Expected '((function-arity bar))' but got 'strict_equals_allow_vn'
❌ ARITY-TESTS.05
AssertionError: Test failed: Expected '((predicate-arity foo))' but got 'strict_equals_allow_vn'
❌ ARITY-TESTS.06
AssertionError: Test failed: Expected '((function-arity foo))' but got 'strict_equals_allow_vn'
❌ ARITY-TESTS.07
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ ARITY-TESTS.08
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ ARITY-TESTS.09
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ ARITY-TESTS.10
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ ARITY-TESTS.11
AssertionError: Test failed: Expected '((max 5 10))' but got 'strict_equals_allow_vn'
❌ ARITY-TESTS.12
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ 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
✅ AUTO-COERCE.18
✅ AUTO-COERCE.19
✅ AUTO-COERCE.20
✅ AUTO-COERCE.21
✅ AUTO-COERCE.22
✅ AUTO-COERCE.23
❌ AUTO-COERCE.24
AssertionError: Test failed: Expected '(False)' but got 'strict_equals_allow_vn'
✅ AUTO-COERCE.25
✅ AUTO-COERCE.26
✅ AUTO-COERCE.27
✅ AUTO-COERCE.28
✅ AUTO-COERCE.29
❌ AUTO-COERCE.30
AssertionError: Test failed: Expected '((S Z))' but got 'strict_equals_allow_vn'
✅ AUTO-COERCE.31
✅ AUTO-COERCE.32
✅ AUTO-COERCE.33
❌ AUTO-COERCE.34
AssertionError: Test failed: Expected '((S (S Z)))' but got 'strict_equals_allow_vn'
✅ AUTO-COERCE.35
❌ AUTO-COERCE.36
AssertionError: Test failed: Expected '(Z)' but got 'strict_equals_allow_vn'
✅ AUTO-COERCE.37
❌ AUTO-COERCE.38
AssertionError: Test failed: Expected '(Z)' but got 'strict_equals_allow_vn'
✅ AUTO-COERCE.39
✅ AUTO-COERCE.40
❌ AUTO-COERCE.41
AssertionError: Test failed: Expected '(True)' but got 'strict_equals_allow_vn'
✅ AUTO-COERCE.42
✅ AUTO-COERCE.43
❌ AUTO-COERCE.44
AssertionError: Test failed: Expected '(True)' but got 'strict_equals_allow_vn'
❌ AUTO-COERCE.45
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ AUTO-COERCE.46
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ AUTO-COERCE.47
AssertionError: Test failed: Expected '(Z)' but got 'strict_equals_allow_vn'
❌ AUTO-COERCE.48
AssertionError: Test failed: Expected '((S Z))' but got 'strict_equals_allow_vn'
❌ AUTO-COERCE.49
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ 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-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
✅ CATCH-THROW-TESTS.01
✅ CATCH-THROW-TESTS.02
✅ CATCH-THROW-TESTS.03
✅ CATCH-THROW-TESTS.04
✅ CATCH-THROW-TESTS.05
✅ CATCH-THROW-TESTS.06
✅ CATCH-THROW-TESTS.07
✅ CATCH-THROW-TESTS.08
✅ CATCH-THROW-TESTS.09
✅ CATCH-THROW-TESTS.10
✅ 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 'strict_equals_allow_vn'
❌ DELAY-REDUCTION-ADDITIONAL-TESTS-HE-659.01
AssertionError: Test failed: Expected '((bc &kb (: $prf (0⍃' $x)) (S (S Z))))' but got 'strict_equals_allow_vn'
❌ DELAY-REDUCTION-ADDITIONAL-TESTS-HE-659.02
AssertionError: Test failed: Expected '((bc &kb (: $prf (0⍃' $x)) (S (S Z))))' but got 'strict_equals_allow_vn'
❌ DELAY-REDUCTION-ADDITIONAL-TESTS-HE-659.03
AssertionError: Test failed: Expected '((bc &kb (: $prf (0⍃' $x)) (S (S Z))))' but got 'strict_equals_allow_vn'
❌ DELAY-REDUCTION-SECOND-TEST-HE-659.01
AssertionError: Test failed: Expected '((: (Rule (Cons (: CPU True (0⍃ 2)) (Cons (: 2 Prime) Nil))) (0⍃' 2)))' but got 'strict_equals_allow_vn'
❌ DELAY-REDUCTION-UNTIL-BINDINGS-READY-HE-659.01
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ 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 '()' but got 'strict_equals_allow_vn'
✅ DIFFEREN-ARITIES-ARE-FINE-HE-603.01
✅ DIFFEREN-ARITIES-ARE-FINE-HE-603.02
✅ DIFFEREN-ARITIES-ARE-FINE-HE-603.03
✅ DIFFEREN-ARITIES-ARE-FINE-HE-603.04
✅ DIFFEREN-ARITIES-ARE-FINE-HE-603.05
✅ DIFFEREN-ARITIES-ARE-FINE-HE-603.06
✅ DIFFEREN-ARITIES-ARE-FINE-HE-603.07
✅ DONT-MESS-WITH-COLONS-225.01
✅ 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 "a")' but got 'strict_equals_allow_vn'
❌ EVAL-FOR-TESTS.02
AssertionError: Test failed: Expected '(1 "a")' but got 'strict_equals_allow_vn'
✅ EVAL-FOR-TESTS.03
❌ EVAL-FOR-TESTS.04
AssertionError: Test failed: Expected '((1 $type) ("a" $type))' but got 'strict_equals_allow_vn'
❌ EVAL-FOR-TESTS.05
AssertionError: Test failed: Expected '(1 "a")' but got 'strict_equals_allow_vn'
✅ 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 1) (quote "a"))' but got 'strict_equals_allow_vn'
❌ EVAL-FOR-TESTS.13
AssertionError: Test failed: Expected '((quote 1) (quote "a"))' but got 'strict_equals_allow_vn'
❌ EVAL-FOR-TESTS.14
AssertionError: Test failed: Expected '((quote 1) (quote "a"))' but got 'strict_equals_allow_vn'
❌ EVAL-FOR-TESTS.15
AssertionError: Test failed: Expected '((quote 1) (quote "a"))' but got 'strict_equals_allow_vn'
❌ EVALUATION-CACHING-HE-553.01
AssertionError: Test failed: Expected '((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"))' but got 'strict_equals_allow_vn'
✅ FIND-ALL-TESTS.01
✅ FIND-ALL-TESTS.02
✅ FIND-ALL-TESTS.03
✅ FIND-ALL-TESTS.04
✅ FIND-ALL-TESTS.05
✅ FIND-ALL-TESTS.06
✅ FIND-ALL-TESTS.07
✅ FIRST-ANSWER.01
✅ FIRST-ANSWER.02
✅ FLIP-TEST.01
✅ FLIP-TEST.02
✅ FUNCTIONAL-PROGRAMMING-TESTS.01
✅ FUNCTIONAL-PROGRAMMING-TESTS.02
✅ FUNCTIONAL-PROGRAMMING-TESTS.03
✅ FUNCTIONAL-PROGRAMMING-TESTS.04
✅ FUNCTIONAL-PROGRAMMING-TESTS.05
❌ FUNCTIONAL-PROGRAMMING-TESTS.06
AssertionError: Test failed: Expected '(time_limit_exceeded)' but got 'strict_equals_allow_vn'
✅ FUNCTIONAL-PROGRAMMING-TESTS.07
❌ FUNCTIONAL-PROGRAMMING-TESTS.08
AssertionError: Test failed: Expected '(time_limit_exceeded)' but got 'strict_equals_allow_vn'
✅ FUNCTIONAL-PROGRAMMING-TESTS.09
✅ HYPERPOSE-TESTS.01
✅ HYPERPOSE-TESTS.02
✅ HYPERPOSE-TESTS.03
❌ IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.01
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.02
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.03
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.04
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.05
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.04
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.07
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.08
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.09
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.10
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.11
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.12
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.13
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.14
✅ INDEX-MIN-FUNCTIONS-EXTRA-1.15
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.16
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-1.17
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ 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-2.09
AssertionError: Test failed: Expected '((-> Atom Atom ErrorType))' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.10
AssertionError: Test failed: Expected '(Grounded)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.11
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.12
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.13
AssertionError: Test failed: Expected '("test" "test")' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.14
AssertionError: Test failed: Expected '("te st" "te st")' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.15
AssertionError: Test failed: Expected '("te\"st" "te\"st")' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.16
AssertionError: Test failed: Expected '("" "")' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.17
AssertionError: Test failed: Expected '("te\nst" "te\nst")' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.18
AssertionError: Test failed: Expected '(("te\nst" test))' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.19
AssertionError: Test failed: Expected '(bar FOO BAR BAZ)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.20
AssertionError: Test failed: Expected '((let () result))' but got 'strict_equals_allow_vn'
✅ 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 '(bar bar FOO FOO A A bar bar FOO FOO A A)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.25
AssertionError: Test failed: Expected '(bar)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.26
AssertionError: Test failed: Expected '((@doc-formal (@item (some-func a b)) (@kind atom) (@type ()) (@desc "No documentation")))' but got 'strict_equals_allow_vn'
❌ 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 (@type %Undefined%) (@desc "First argument")) (@param (@type %Undefined%) (@desc "Second argument")))) (@return (@type %Undefined%) (@desc "Return value"))))' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.28
AssertionError: Test failed: Expected '((-> Atom Atom ErrorType))' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.29
AssertionError: Test failed: Expected '(Grounded)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.30
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ INDEX-MIN-FUNCTIONS-EXTRA-2.31
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.32
AssertionError: Test failed: Expected '(AnyRet AnyRet)' but got 'strict_equals_allow_vn'
✅ 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 '(bar FOO A BAR baz)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.39
AssertionError: Test failed: Expected '(bar)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.40
AssertionError: Test failed: Expected '(FOO)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.41
AssertionError: Test failed: Expected '(A)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.42
AssertionError: Test failed: Expected '(BAR)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-2.43
AssertionError: Test failed: Expected '(baz)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.01
AssertionError: Test failed: Expected '(&stdlib)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.02
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.03
AssertionError: Test failed: Expected '(AnyRet AnyRet)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.04
AssertionError: Test failed: Expected '(3)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.05
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.06
AssertionError: Test failed: Expected '(())' but got 'strict_equals_allow_vn'
✅ 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 '(bar baz)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.13
AssertionError: Test failed: Expected '(bar baz)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.14
AssertionError: Test failed: Expected '(bar)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.15
AssertionError: Test failed: Expected '(baz)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.16
AssertionError: Test failed: Expected '((-> Atom Atom ErrorType))' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.17
AssertionError: Test failed: Expected '(Grounded)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.18
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ INDEX-MIN-FUNCTIONS-EXTRA-3.19
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.20
AssertionError: Test failed: Expected '("test" "test")' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.21
AssertionError: Test failed: Expected '("te st" "te st")' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.22
AssertionError: Test failed: Expected '("te\"st" "te\"st")' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.23
AssertionError: Test failed: Expected '("" "")' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.24
AssertionError: Test failed: Expected '("te\nst" "te\nst")' but got 'strict_equals_allow_vn'
✅ INDEX-MIN-FUNCTIONS-EXTRA-3.25
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.26
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.27
AssertionError: Test failed: Expected '(D D)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.28
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ 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 '(bar baz)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.38
AssertionError: Test failed: Expected '(bar baz)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.39
AssertionError: Test failed: Expected '(bar)' but got 'strict_equals_allow_vn'
❌ INDEX-MIN-FUNCTIONS-EXTRA-3.40
AssertionError: Test failed: Expected '(baz)' but got 'strict_equals_allow_vn'
✅ INHERIT-OR-NOT-TESTS.01
✅ 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
✅ INTERSECTION-TESTS.24
✅ INTERSECTION-TESTS.25
❌ INTERSECTION-TESTS.26
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ INTERSECTION-TESTS.27
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ INTERSECTION-TESTS.28
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ INTERSECTION-TESTS.29
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ INTERSECTION-TESTS.30
❌ INTERSECTION-TESTS.31
AssertionError: Test failed: Expected '((f $y))' but got 'strict_equals_allow_vn'
✅ INTERSECTION-TESTS.32
✅ IS-SPACE.01
✅ IS-SPACE.02
✅ IS-SPACE.03
❌ LAMBDA-ABSTRACTION-BC-HE-556.01
AssertionError: Test failed: Expected '((: S (-> (: $k Nat) Nat)))' but got 'strict_equals_allow_vn'
✅ 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 '((get-state! [State 2 $_510626]))' but got 'strict_equals_allow_vn'
✅ LIMIT-TESTS.13
✅ LIMIT-TESTS.14
✅ LIMIT-TESTS.15
✅ LIMIT-TESTS.16
✅ LIMIT-TESTS.17
✅ LIMIT-TESTS.18
✅ MATH-HYPHEN-FUNCTIONS.01
✅ MAX-TIME-TESTS.01
✅ METHOD-SELECTION-TESTS.01
❌ METHOD-SELECTION-TESTS.02
AssertionError: Test failed: Expected '(True (< Z (S Z)))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.03
AssertionError: Test failed: Expected '(False (< Z Z))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.04
AssertionError: Test failed: Expected '(False (< (S Z) Z))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.05
AssertionError: Test failed: Expected '(False (< Z Z) (< (S Z) (S Z)))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.06
AssertionError: Test failed: Expected '(True (< Z (S Z)) (< (S Z) (S (S Z))))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.07
AssertionError: Test failed: Expected '(False (< Z Z) (< (S Z) (S Z)) (< (S (S Z)) (S (S Z))))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.08
AssertionError: Test failed: Expected '(False (< (S Z) Z) (< (S (S Z)) (S Z)))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.09
AssertionError: Test failed: Expected '(True (< Z (S (S Z))) (< (S Z) (S (S (S Z)))))' but got 'strict_equals_allow_vn'
✅ 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 '((< Z 0))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.17
AssertionError: Test failed: Expected '(False (< 0 Z))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.18
AssertionError: Test failed: Expected '((< Z 1))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.19
AssertionError: Test failed: Expected '(False (< 1 Z))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.20
AssertionError: Test failed: Expected '((< (S Z) 1))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.21
AssertionError: Test failed: Expected '((< 1 (S Z)))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.22
AssertionError: Test failed: Expected '((< (S (S Z)) 3))' but got 'strict_equals_allow_vn'
❌ METHOD-SELECTION-TESTS.23
AssertionError: Test failed: Expected '((< 2 (S (S Z))))' but got 'strict_equals_allow_vn'
✅ MINIMAL-METTA-TESTS.01
✅ MINIMAL-METTA-TESTS.02
✅ MINIMAL-METTA-TESTS.03
✅ MINIMAL-METTA-TESTS.04
❌ MINIMAL-METTA-TESTS.05
AssertionError: Test failed: Expected '((quote 1))' but got 'strict_equals_allow_vn'
❌ MINIMAL-METTA-TESTS.06
AssertionError: Test failed: Expected '((quote 1))' but got 'strict_equals_allow_vn'
✅ MINIMAL-METTA-TESTS.07
❌ MINIMAL-METTA-TESTS.08
AssertionError: Test failed: Expected '(())' but got 'strict_equals_allow_vn'
❌ MINIMAL-METTA-TESTS.09
AssertionError: Test failed: Expected '(1)' but got 'strict_equals_allow_vn'
✅ MINIMAL-METTA-TESTS.10
❌ MINIMAL-METTA-TESTS.11
AssertionError: Test failed: Expected '(())' but got 'strict_equals_allow_vn'
❌ MINIMAL-METTA-TESTS.12
AssertionError: Test failed: Expected '(1)' but got 'strict_equals_allow_vn'
✅ MINIMAL-METTA-TESTS.13
❌ MINIMAL-METTA-TESTS.14
AssertionError: Test failed: Expected '((quote ()) (quote 1))' but got 'strict_equals_allow_vn'
❌ MINIMAL-METTA-TESTS.19
AssertionError: Test failed: Expected '((quote (input A)) (quote (input B)))' but got 'strict_equals_allow_vn'
❌ MINIMAL-METTA-TESTS.20
AssertionError: Test failed: Expected '((quote (input A)) (quote (input B)))' but got 'strict_equals_allow_vn'
❌ MINIMAL-METTA-TESTS.22
AssertionError: Test failed: Expected '((quote input) (quote A) (quote input) (quote B))' but got 'strict_equals_allow_vn'
❌ MINIMAL-METTA-TESTS.23
AssertionError: Test failed: Expected '((quote input) (quote A) (quote input) (quote B))' but got 'strict_equals_allow_vn'
❌ MINIMAL-METTA-TESTS.31
AssertionError: Test failed: Expected '((quote (n/2/0)) (quote (n/1/1)))' but got 'strict_equals_allow_vn'
❌ MINIMAL-METTA-TESTS.32
AssertionError: Test failed: Expected '((quote (n/2/0)) (quote (n/1/1)))' but got 'strict_equals_allow_vn'
✅ MINIMAL-METTA-TESTS.34
✅ MINIMAL-METTA-TESTS.35
✅ MINIMAL-METTA-TESTS.36
✅ MINIMAL-METTA-TESTS.37
❌ MINIMAL-METTA-TESTS.38
AssertionError: Test failed: Expected '($a)' but got 'strict_equals_allow_vn'
✅ NON-DETERMINISTIC-FUNCTIONS-HE-744.01
✅ NON-DETERMINISTIC-FUNCTIONS-HE-744.02
✅ NON-DETERMINISTIC-FUNCTIONS-HE-744.03
✅ OLD-VOID-OR-EMPTY.01
✅ OLD-VOID-OR-EMPTY.02
✅ OLD-VOID-OR-EMPTY.03
✅ OLD-VOID-OR-EMPTY.04
✅ OLD-VOID-OR-EMPTY.05
❌ OLD-VOID-OR-EMPTY.06
AssertionError: Test failed: Expected '((a (quote (a a))) (2 (quote ((+ 1 1) (+ 1 1)))))' but got 'strict_equals_allow_vn'
✅ OR-TEST.01
❌ OR-TEST.02
AssertionError: Test failed: Expected '(True)' but got 'strict_equals_allow_vn'
✅ 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 '(True True)' but got 'strict_equals_allow_vn'
✅ 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 '(1 2 3 4 5 6)' but got 'strict_equals_allow_vn'
❌ OUTPUT-LOAD-TESTS.12
AssertionError: Test failed: Expected '(1 2)' but got 'strict_equals_allow_vn'
✅ OUTPUT-LOAD-TESTS.13
✅ OUTPUT-LOAD-TESTS.14
❌ OUTPUT-LOAD-TESTS.15
AssertionError: Test failed: Expected '(1 2 3 4 5 6)' but got 'strict_equals_allow_vn'
✅ OUTPUT-LOAD-TESTS.16
✅ OUTPUT-LOAD-TESTS.19
❌ OUTPUT-LOAD-TESTS.20
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ 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 '()' but got 'strict_equals_allow_vn'
❌ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.07
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.08
❌ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.09
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.10
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ PY-TYPES-2.01
✅ PY-TYPES.01
✅ PY-TYPES.03
✅ PY-TYPES.04
❌ PY-TYPES.05
AssertionError: Test failed: Expected '([1, 2, ['py-tuple', [3, 4]]])' but got 'strict_equals_allow_vn'
✅ PY-TYPES.06
✅ QUOTING-SCOPING-HE-579.01
✅ QUOTING-SCOPING-HE-579.02
❌ RECURSIVE-TUPLE-LIST-BENCHMARK-HE-394.01
AssertionError: Test failed: Expected '((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"))' but got 'strict_equals_allow_vn'
✅ RECURSIVE-TUPLE-LIST-PERF-HE-394.01
✅ 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 'strict_equals_allow_vn'
❌ REPRESENT-AND-PARSE-TESTS.01
AssertionError: Test failed: Expected '((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))' but got 'strict_equals_allow_vn'
✅ REPRESENT-AND-PARSE-TESTS.02
✅ RULE-MACROS.01
❌ RUST-TESTS.01
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ SEALED-TEST.01
✅ SEALED-TEST.02
✅ SEALED-TEST.03
✅ SEALED-TEST.04
✅ SEALED-TEST.05
✅ SEALED-TEST.06
✅ SEALED-TEST.07
❌ SEALED-TEST.08
AssertionError: Test failed: Expected '((quote ((* (+ 40 $x) (/ 100 $y)))))' but got 'strict_equals_allow_vn'
❌ SEALED-TEST.09
AssertionError: Test failed: Expected '((quote ((* (+ 40 $x) (/ 100 4)))))' but got 'strict_equals_allow_vn'
❌ SEALED-TEST.10
AssertionError: Test failed: Expected '((quote ((* (+ 40 $x) (/ 100 $y)))))' but got 'strict_equals_allow_vn'
✅ SEQUENTIAL-TESTS.01
✅ SEQUENTIAL-TESTS.02
✅ SINGLE-SIDED-MATCHING-HE-674.01
✅ SORTING-TESTS.01
✅ SORTING-TESTS.02
✅ SORTING-TESTS.03
✅ SORTING-TESTS.01
✅ SORTING-TESTS.02
✅ 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 (foo 1 2) 3) (foo 7 7) (foo (foo $r 2) 3))' but got 'strict_equals_allow_vn'
❌ SPACE-INTERSECTION-TESTS.06
AssertionError: Test failed: Expected '((foo (foo 1 2) 3) (foo 7 7))' but got 'strict_equals_allow_vn'
❌ SPACE-INTERSECTION-TESTS.07
AssertionError: Test failed: Expected '((foo 7 7) (foo (foo 1 2) 3))' but got 'strict_equals_allow_vn'
❌ SPACE-INTERSECTION-TESTS.08
AssertionError: Test failed: Expected '((foo $a $b) (foo 3 $c))' but got 'strict_equals_allow_vn'
✅ SPACE-INTERSECTION-TESTS.09
❌ SPACE-INTERSECTION-TESTS.10
AssertionError: Test failed: Expected '((foo $m $n))' but got 'strict_equals_allow_vn'
✅ SPACE-INTERSECTION-TESTS.11
✅ SPACE-INTERSECTION-TESTS.12
✅ SPACE-INTERSECTION-TESTS.13
❌ SPACE-INTERSECTION-TESTS.14
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ 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.11
✅ SPACE-TESTS.13
✅ 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
✅ 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 '((wrong type))' but got 'strict_equals_allow_vn'
❌ TUPLE-TYPE-CHECKING-HE-669.02
AssertionError: Test failed: Expected '((partially_defined %Undefined%))' but got 'strict_equals_allow_vn'
❌ TUPLE-TYPE-CHECKING-HE-669.03
AssertionError: Test failed: Expected '(120)' but got 'strict_equals_allow_vn'
✅ TYPE-CHECK-BASIC-TESTS.01
❌ TYPE-CHECK-BASIC-TESTS.02
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ TYPE-CHECK-BASIC-TESTS.03
AssertionError: Test failed: Expected '((foo "1"))' but got 'strict_equals_allow_vn'
✅ TYPE-CHECK-BASIC-TESTS.04
✅ TYPE-CHECK-BASIC-TESTS.05
❌ TYPE-CHECK-BASIC-TESTS.06
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ TYPE-CHECK-BASIC-TESTS.07
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ TYPE-CHECK-BASIC-TESTS.08
❌ TYPE-CHECK-BASIC-TESTS.09
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ TYPE-CHECK-BASIC-TESTS.10
❌ TYPE-CHECK-BASIC-TESTS.11
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
✅ TYPE-CHECK-BASIC-TESTS.12
❌ TYPE-CHECK-BASIC-TESTS.13
AssertionError: Test failed: Expected '(Object Object)' but got 'strict_equals_allow_vn'
❌ TYPE-CHECK-BASIC-TESTS.14
AssertionError: Test failed: Expected '($m $a)' but got 'strict_equals_allow_vn'
❌ TYPE-CHECK-BASIC-TESTS.15
AssertionError: Test failed: Expected '($m $a)' but got 'strict_equals_allow_vn'
✅ TYPE-CHECKING-SYMBOL-HE-673.01
❌ TYPE-CHECKING-SYMBOL-HE-673.02
AssertionError: Test failed: Expected '((This is an expression))' but got 'strict_equals_allow_vn'
❌ TYPE-CHECKING-SYMBOL-HE-673.03
AssertionError: Test failed: Expected '(Number)' but got 'strict_equals_allow_vn'
✅ TYPE-CHECKING-SYMBOL-HE-673.04
❌ TYPE-CHECKING-SYMBOL-HE-673.05
AssertionError: Test failed: Expected '(%Undefined%)' but got 'strict_equals_allow_vn'
❌ TYPE-CHECKING-SYMBOL-HE-673.06
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ TYPE-CHECKING-SYMBOL-HE-673.07
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
❌ TYPE-CHECKING-SYMBOL-HE-673.08
AssertionError: Test failed: Expected '((This is an expression))' but got 'strict_equals_allow_vn'
❌ TYPE-CHECKING-SYMBOL-HE-673.09
AssertionError: Test failed: Expected '((%Undefined%))' but got 'strict_equals_allow_vn'
❌ TYPE-CHECKING-SYMBOL-HE-673.10
AssertionError: Test failed: Expected '(%Undefined%)' but got 'strict_equals_allow_vn'
❌ TYPE-CHECKING-SYMBOL-HE-673.11
AssertionError: Test failed: Expected '(AnyRet AnyRet)' but got 'strict_equals_allow_vn'
❌ TYPE-CHECKING-SYMBOL-HE-673.12
AssertionError: Test failed: Expected '(%Undefined%)' but got 'strict_equals_allow_vn'
✅ TYPE-FILTERING-TESTS.01
✅ UNIFY-TRUE-FALSE.01
✅ UNIFY-TRUE-FALSE.02
✅ UNIFY-TRUE-FALSE.03
✅ UNIFY-TRUE-FALSE.04
✅ UNIFY-TRUE-FALSE.05
✅ UNIFY-TRUE-FALSE.06
✅ UNIFY-TRUE-FALSE.07
✅ UNIFY-TRUE-FALSE.08
✅ UNIFY-TRUE-FALSE.09
✅ UNIFY-TRUE-FALSE.10
✅ UNIFY-TRUE-FALSE.11
✅ 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
✅ UNIFY-TRUE-FALSE.25
✅ UNIFY-TRUE-FALSE.26
✅ UNIFY-TRUE-FALSE.27
✅ UNIFY-TRUE-FALSE.28
✅ UNIFY-TRUE-FALSE.29
✅ UNIFY-TRUE-FALSE.30
✅ UNIFY-TRUE-FALSE.31
✅ UNIFY-TRUE-FALSE.32
✅ UNIFY-TRUE-FALSE.33
✅ UNIFY-TRUE-FALSE.34
✅ UNIFY-TRUE-FALSE.35
✅ UNIFY-TRUE-FALSE.36
✅ UNIFY-TRUE-FALSE.37
✅ UNIFY-TRUE-FALSE.38
✅ UNIFY-TRUE-FALSE.39
❌ UNIFY-TRUE-FALSE.40
AssertionError: Test failed: Expected '((quote (u (+ 1 2 3) (+ 1 2 3))))' but got 'strict_equals_allow_vn'
❌ UNIFY-TRUE-FALSE.41
AssertionError: Test failed: Expected '((quote (u (+ 1 2 3) (+ 1 2 3))))' but got 'strict_equals_allow_vn'
✅ UNIFY-TRUE-FALSE.42
✅ UNIQUE-TEST.01
✅ UNIQUE-TEST.02
✅ UNIQUE-TEST.03
✅ UNIQUE-TEST.04
✅ UNIQUE-TEST.05
✅ UNIQUE-TEST.06
✅ UNIQUE-TEST.07
✅ UNIQUE-TEST.08
✅ UNIQUE-TEST.09
✅ UNIQUE-TEST.10
✅ UNIQUE-TEST.11
✅ UNIQUE-TEST.12
✅ UNIQUE-TEST.13
✅ UNIQUE-TEST.14
✅ WHAT-EVALS-OR-NOT.01
✅ WHAT-EVALS-OR-NOT.02
✅ WHAT-EVALS-OR-NOT.03
❌ WHAT-EVALS-OR-NOT.04
AssertionError: Test failed: Expected '((quote (parse "x_string_tag")))' but got 'strict_equals_allow_vn'
✅ WHAT-EVALS-OR-NOT.05
✅ WHAT-EVALS-OR-NOT.06
❌ WHAT-EVALS-OR-NOT.07
AssertionError: Test failed: Expected '((quote x1_bind))' but got 'strict_equals_allow_vn'
❌ WHAT-EVALS-OR-NOT.08
AssertionError: Test failed: Expected '((quote x1_bind))' but got 'strict_equals_allow_vn'
❌ WHAT-EVALS-OR-NOT.09
AssertionError: Test failed: Expected '((quote y1_value))' but got 'strict_equals_allow_vn'
✅ WHAT-EVALS-OR-NOT.10
✅ XOR-TEST.01
✅ XOR-TEST.02
✅ XOR-TEST.03
✅ XOR-TEST.04
✅ XOR-TEST.05
✅ XOR-TEST.06
✅ XOR-TEST.07
✅ XOR-TEST.08
✅ XOR-TEST.09
✅ XOR-TEST.10
✅ XOR-TEST.11
❌ METTA-MORPH-TESTS
✅ ADD-ATOM-MATCH.01
✅ AND-OR.01
✅ BOOLEAN-TWICE.01
✅ BOOLEAN-TWICE.02
✅ BOOLEAN-TWICE.03
✅ BOOLEAN-TWICE.04
✅ BOOLEAN-TWICE.05
✅ BOOLEAN-TWICE.06
✅ BOOLEAN-TWICE.07
✅ BOOLEAN-TWICE.08
✅ BOOLEAN-TWICE.09
✅ BOOLEAN-TWICE.10
✅ BOOLEAN-TWICE.11
✅ BOOLEAN-TWICE.12
✅ BOOLEAN-TWICE.13
✅ BOOLEAN-TWICE.14
✅ BOOLEAN-TWICE.15
✅ BOOLEAN-TWICE.16
✅ BOOLEAN-TWICE.17
✅ COLLAPSE.01
✅ FACTORIAL.01
✅ FACTORIAL.02
✅ HYPERPOSE.01
✅ HYPERPOSE.02
✅ HYPERPOSE.03
✅ HYPERPOSE.04
✅ HYPERPOSE.05
✅ HYPERPOSE.06
✅ HYPERPOSE.07
✅ HYPERPOSE.08
✅ HYPERPOSE.09
✅ HYPERPOSE.10
✅ IDENTITY.01
✅ IF.01
✅ LETLET.01
✅ LET-SUPERPOSE-IF-CASE.01
✅ LET-SUPERPOSE-IF-CASE.02
✅ LET-SUPERPOSE-LIST2.01
✅ LET-SUPERPOSE-LIST.01
✅ LET-SUPERPOSE-LIST.02
✅ MATCH-EMPTY.01
✅ MATCH-EMPTY.02
❌ MATCH-EMPTY.03
AssertionError: Test failed: Expected '(WasEmpty)' but got 'strict_equals_allow_vn'
❌ MATCH-EMPTY.04
AssertionError: Test failed: Expected '(WasEmpty)' but got 'strict_equals_allow_vn'
✅ MATCH-EMPTY.05
✅ MATCH-EMPTY.06
✅ MATCH-EMPTY.07
✅ MATCH-EMPTY.08
❌ MATCH-EMPTY.09
AssertionError: Test failed: Expected '(WasEmpty)' but got 'strict_equals_allow_vn'
✅ MATCH-EMPTY-OR-VAR.01
✅ MATCH-EMPTY-OR-VAR.02
✅ MATCH-EMPTY-OR-VAR.03
✅ MATCH-EMPTY-OR-VAR.04
✅ MATCH-EMPTY-OR-VAR.05
✅ MATCH-EMPTY-OR-VAR.06
✅ MATCH-EMPTY-OR-VAR.07
✅ MATCH-EMPTY-OR-VAR.08
✅ MATCH-EMPTY-OR-VAR.09
✅ MATCH-EMPTY-SAME.01
✅ MATCH-EMPTY-SAME.02
❌ MATCH-EMPTY-SAME.03
AssertionError: Test failed: Expected '(WasEmpty)' but got 'strict_equals_allow_vn'
❌ MATCH-EMPTY-SAME.04
AssertionError: Test failed: Expected '(WasEmpty)' but got 'strict_equals_allow_vn'
✅ MATCH-EMPTY-SAME.05
✅ MATCH-EMPTY-SAME.06
✅ MATCH-EMPTY-SAME.07
✅ MATCH-EMPTY-SAME.08
❌ MATCH-EMPTY-SAME.09
AssertionError: Test failed: Expected '(WasEmpty)' but got 'strict_equals_allow_vn'
❌ MATCH-FEVAL.01
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ MATCH-SUPERPOSED-SPACES.01
✅ MATCH-SUPERPOSED-SPACES.02
✅ MATCH-SUPERPOSED-SPACES.03
✅ MATCH-VOID.01
✅ MATCH-VOID.02
❌ MATCH-VOID.03
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
❌ MATCH-VOID.04
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ MATCH-VOID.05
✅ MATCH-VOID.06
✅ MATCH-VOID.07
✅ MATCH-VOID.08
❌ MATCH-VOID.09
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
✅ MULTIFUNCTION.01
✅ NESTED-PARAMETERS.01
✅ PEANO.01
✅ SEQUENTIAL-NESTED.01
✅ SEQUENTIAL-NESTED.02
✅ SEQUENTIAL-NESTED.03
✅ SEQUENTIAL-NESTED.04
✅ SEQUENTIAL-NESTED.05
✅ SEQUENTIAL-NESTED.06
✅ SEQUENTIAL-NESTED.07
✅ SEQUENTIAL-NESTED.08
✅ SEQUENTIAL-NESTED.09
✅ SEQUENTIAL-NESTED.10
✅ SEQUENTIAL-NESTED.11
✅ SEQUENTIAL-NESTED.12
✅ STATES-SPACES.01
✅ STATES-SPACES.02
✅ STATES-SPACES.03
✅ SUPERCOLLAPSE.01
✅ SUPERCOLLAPSE.02
✅ SUPERCOLLAPSE.03
✅ SUPERCOLLAPSE.04
✅ SUPERCOLLAPSE.05
✅ SUPERCOLLAPSE.06
✅ SUPERCOLLAPSE.07
✅ SUPERCOLLAPSE.08
✅ SUPERPOSE-NESTED.01
✅ SUPERPOSE-NESTED.02
✅ SUPERPOSE-NESTED.03
✅ SUPERPOSE-NESTED.04
✅ TESTS0.01
✅ TESTS0.02
✅ TESTS0.03
✅ TESTS0.04
✅ TESTS0.05
✅ TESTS0.06
✅ TESTS0.07
✅ TYPES2.01
✅ TYPES2.02
✅ TYPES2.03
✅ TYPES2.04
✅ TYPES2.05
✅ TYPES3.01
✅ TYPES.01
✅ ZEROARGS.01
✅ ZEROARGS.02
✅ MODULE-SYSTEM
✅ C2-SPACES.01
✅ C2-SPACES.02
✅ C2-SPACES.03
✅ C2-SPACES.04
✅ C2-SPACES.05
✅ F1-MODULEA.01
✅ SYNTH-BUFFER
✅ SYNTHESIZE.01
✅ TIME-SYNTHESIZE-LONG.01
✅ TIME-SYNTHESIZE-LONG.02
✅ TIME-SYNTHESIZE-LONG.03
✅ TIME-SYNTHESIZE.01
✅ TIME-SYNTHESIZE.02
✅ TIME-SYNTHESIZE.03
✅ TIME-SYNTHESIZE-SHORT.01
✅ TIME-SYNTHESIZE-SHORT.02
✅ TIME-SYNTHESIZE-SHORT.03
❌ WHOLE-TESTS
✅ module-system.c2_spaces
✅ module-system.f1_moduleA
✅ hyperon-experimental_scripts.a1_symbols
✅ hyperon-experimental_scripts.a2_opencoggy
✅ hyperon-experimental_scripts.a3_twoside
✅ hyperon-experimental_scripts.b0_chaining_prelim
✅ hyperon-experimental_scripts.b1_equal_chain
✅ hyperon-experimental_scripts.b2_backchain
✅ hyperon-experimental_scripts.b4_nondeterm
✅ hyperon-experimental_scripts.b5_types_prelim
✅ hyperon-experimental_scripts.c1_grounded_basic
✅ hyperon-experimental_scripts.c2_spaces
✅ hyperon-experimental_scripts.c3_pln_stv
❌ hyperon-experimental_scripts.d1_gadt
AssertionError: Test failed: Expected '7' but got '143'
❌ hyperon-experimental_scripts.d2_higherfunc
AssertionError: Test failed: Expected '7' but got '143'
❌ hyperon-experimental_scripts.d3_deptypes
AssertionError: Test failed: Expected '7' but got '143'
❌ hyperon-experimental_scripts.d4_type_prop
AssertionError: Test failed: Expected '7' but got '143'
❌ hyperon-experimental_scripts.d4_type_prop_x2
AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-experimental_scripts.d5_auto_types
✅ hyperon-experimental_scripts.e1_kb_write
✅ hyperon-experimental_scripts.e2_states
✅ hyperon-experimental_scripts.e3_match_states
✅ hyperon-experimental_scripts.f1_imports
✅ hyperon-experimental_scripts.f1_moduleA
✅ hyperon-experimental_scripts.g1_docs
✅ hyperon-mettalog_sanity.00_lang_case
✅ hyperon-mettalog_sanity.01_lang_inc
✅ hyperon-mettalog_sanity.02-curried-plus
❌ hyperon-mettalog_sanity.03-soring-via-insert
AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.06_match_in_space
✅ hyperon-mettalog_sanity.alpha_equals_tests
✅ hyperon-mettalog_sanity.alpha_equivalence_assertions_he_744
✅ hyperon-mettalog_sanity.arity_tests_mw
✅ hyperon-mettalog_sanity.assert-p-equals
✅ hyperon-mettalog_sanity.auto_coerce_mw
✅ hyperon-mettalog_sanity.backchainer_219
✅ hyperon-mettalog_sanity.base_test_repr_parse_intersection
❌ hyperon-mettalog_sanity.call_cleanup_tests_mw
AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.call_tests_mw
✅ hyperon-mettalog_sanity.car_atom_bug_he_621
✅ hyperon-mettalog_sanity.catch_throw_tests_mw
✅ hyperon-mettalog_sanity.coerce_tests
❌ hyperon-mettalog_sanity.compile_tests_mw
AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.default_definitions
✅ hyperon-mettalog_sanity.delay_reduction_additional_tests_he_659
✅ hyperon-mettalog_sanity.delay_reduction_second_test_he_659
✅ hyperon-mettalog_sanity.delay_reduction_until_bindings_ready_he_659
✅ hyperon-mettalog_sanity.differen_arities_are_fine_he_603
✅ hyperon-mettalog_sanity.dont_mess_with_colons_225
✅ hyperon-mettalog_sanity.duplication_semantics_he_798
✅ hyperon-mettalog_sanity.eval_for_tests_mw
❌ hyperon-mettalog_sanity.evaluation_caching_he_553
AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.find_all_tests_mw
✅ hyperon-mettalog_sanity.first_answer_long
✅ hyperon-mettalog_sanity.first_answer
✅ hyperon-mettalog_sanity.flip_test
✅ hyperon-mettalog_sanity.functional_programming_tests
✅ hyperon-mettalog_sanity.hyperpose_tests
✅ hyperon-mettalog_sanity.idiomatic_negation_and_set_difference_he_805
❌ hyperon-mettalog_sanity.index_min_functions_extra_1
AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.index_min_functions_extra_2
✅ hyperon-mettalog_sanity.index_min_functions_extra_3
✅ hyperon-mettalog_sanity.inherit_or_not_tests
✅ hyperon-mettalog_sanity.intersection_tests
✅ hyperon-mettalog_sanity.is_space
❌ hyperon-mettalog_sanity.lambda_abstraction_bc_he_556
AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.limit_tests
❌ hyperon-mettalog_sanity.math_hyphen_functions
AssertionError: Test failed: Expected '7' but got '143'
❌ hyperon-mettalog_sanity.max_time_tests
AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.method_selection_tests
✅ hyperon-mettalog_sanity.metta_the_function
✅ hyperon-mettalog_sanity.minimal_metta_tests
✅ hyperon-mettalog_sanity.non_deterministic_functions_he_744
✅ hyperon-mettalog_sanity.old_void_or_empty
✅ hyperon-mettalog_sanity.or_test
✅ hyperon-mettalog_sanity.output_load_tests
✅ hyperon-mettalog_sanity.partitioning_atomspaces_and_performance_he_774
✅ hyperon-mettalog_sanity.py_types_2
❌ hyperon-mettalog_sanity.py_types
AssertionError: Test failed: Expected '7' but got '143'
❌ hyperon-mettalog_sanity.quoting_scoping_he_579
AssertionError: Test failed: Expected '7' but got '143'
❌ hyperon-mettalog_sanity.recursive_tuple_list_benchmark_he_394
AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.recursive_tuple_list_perf_he_394
✅ hyperon-mettalog_sanity.represent_and_parse_tests
✅ hyperon-mettalog_sanity.rule_macros_mw
❌ hyperon-mettalog_sanity.rust_tests_mw
AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.sealed_test
✅ hyperon-mettalog_sanity.sequential_tests
❌ hyperon-mettalog_sanity.single_sided_matching_he_674
AssertionError: Test failed: Expected '7' but got '143'
❌ hyperon-mettalog_sanity.sorting_tests
AssertionError: Test failed: Expected '7' but got '143'
❌ hyperon-mettalog_sanity.sorting_tests_nats_mw
AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.space_intersection_tests
✅ hyperon-mettalog_sanity.space_subtraction_tests
✅ hyperon-mettalog_sanity.space_tests
✅ hyperon-mettalog_sanity.string-tests
✅ hyperon-mettalog_sanity.structure-tests
✅ hyperon-mettalog_sanity.subtraction_test
✅ synth_buffer.synthesize
❌ synth_buffer.time_synthesize_long
AssertionError: Test failed: Expected '7' but got '143'
✅ synth_buffer.time_synthesize
✅ synth_buffer.time_synthesize_short
❌ hyperon-mettalog_sanity.tuple_type_checking_he_669
AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.type_check_basic_tests
✅ hyperon-mettalog_sanity.type_checking_symbol_he_673
❌ hyperon-mettalog_sanity.type_filtering_tests
AssertionError: Test failed: Expected '7' but got '143'
✅ hyperon-mettalog_sanity.unify_true_false
✅ hyperon-mettalog_sanity.unique_test
✅ hyperon-mettalog_sanity.what_evals_or_not
✅ hyperon-mettalog_sanity.xor_test
✅ metta-morph_tests.add_atom_match
✅ metta-morph_tests.and_or
✅ metta-morph_tests.boolean_twice
✅ metta-morph_tests.collapse
✅ metta-morph_tests.factorial
✅ metta-morph_tests.hyperpose
✅ metta-morph_tests.identity
✅ metta-morph_tests.if
✅ metta-morph_tests.letlet
✅ metta-morph_tests.let_superpose_if_case
✅ metta-morph_tests.let_superpose_list2
✅ metta-morph_tests.let_superpose_list
✅ metta-morph_tests.match_empty
✅ metta-morph_tests.match_empty_or_var
✅ metta-morph_tests.match_empty_same
✅ metta-morph_tests.match_feval
✅ metta-morph_tests.match_superposed_spaces
✅ metta-morph_tests.match_void
✅ metta-morph_tests.minnars
✅ metta-morph_tests.multifunction
✅ metta-morph_tests.nalifier
✅ metta-morph_tests.nested_parameters
✅ metta-morph_tests.peano
✅ metta-morph_tests.sequential_nested
✅ metta-morph_tests.states_spaces
✅ metta-morph_tests.supercollapse
✅ metta-morph_tests.superpose_nested
✅ metta-morph_tests.tests0
✅ metta-morph_tests.types2
✅ metta-morph_tests.types3
✅ metta-morph_tests.types
✅ metta-morph_tests.zeroargs
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 '(S)' but got 'strict_equals_allow_vn'
Raw output
AssertionError: Test failed: Expected '(S)' but got 'strict_equals_allow_vn'
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 '((Cons S (Cons Z Nil)))' but got 'strict_equals_allow_vn'
Raw output
AssertionError: Test failed: Expected '((Cons S (Cons Z Nil)))' but got 'strict_equals_allow_vn'
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 '((eq Z S))' but got 'strict_equals_allow_vn'
Raw output
AssertionError: Test failed: Expected '((eq Z S))' but got 'strict_equals_allow_vn'
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 '(T)' but got 'strict_equals_allow_vn'
Raw output
AssertionError: Test failed: Expected '(T)' but got 'strict_equals_allow_vn'
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 '(T)' but got 'strict_equals_allow_vn'
Raw output
AssertionError: Test failed: Expected '(T)' but got 'strict_equals_allow_vn'
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 '(T)' but got 'strict_equals_allow_vn'
Raw output
AssertionError: Test failed: Expected '(T)' but got 'strict_equals_allow_vn'
Check failure on line 0 in junit.xml
github-actions / JUnit Results
HYPERON-EXPERIMENTAL-SCRIPTS ► C1-GROUNDED-BASIC.14
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
Raw output
AssertionError: Test failed: Expected '()' but got 'strict_equals_allow_vn'
Check failure on line 0 in junit.xml
github-actions / JUnit Results
HYPERON-EXPERIMENTAL-SCRIPTS ► C1-GROUNDED-BASIC.15
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '(False)' but got 'strict_equals_allow_vn'
Raw output
AssertionError: Test failed: Expected '(False)' but got 'strict_equals_allow_vn'
Check failure on line 0 in junit.xml
github-actions / JUnit Results
HYPERON-EXPERIMENTAL-SCRIPTS ► D1-GADT.04
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
Raw output
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
Check failure on line 0 in junit.xml
github-actions / JUnit Results
HYPERON-EXPERIMENTAL-SCRIPTS ► D1-GADT.05
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '(AnyRet AnyRet)' but got 'strict_equals_allow_vn'
Raw output
AssertionError: Test failed: Expected '(AnyRet AnyRet)' but got 'strict_equals_allow_vn'
Check failure on line 0 in junit.xml
github-actions / JUnit Results
HYPERON-EXPERIMENTAL-SCRIPTS ► D1-GADT.09
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
Raw output
AssertionError: Test failed: Expected '(() ())' but got 'strict_equals_allow_vn'
Loading