| Pass | Fail | Miss | Percent | Directory |
|---|---|---|---|---|
| 4 | 9 | 30% | examples/python_compat/hyperon-experimental_python/sandbox/resolve | |
| 4 | 13 | 3 | 20% | examples/python_compat/hyperon-experimental_python/sandbox |
| 4 | 13 | 3 | 20% | examples/python_compat/hyperon-experimental_python |
| 4 | 13 | 9 | 15% | examples/python_compat |
| 72 | 33 | 8 | 63% | examples/performance |
| 2 | 0 | 100% | examples/flybase/sanity | |
| 2 | 1 | 7 | 20% | examples/flybase |
| 13 | 5 | 72% | examples/features/host_language/compiler | |
| 13 | 5 | 72% | examples/features/host_language | |
| 1 | 3 | 1 | 20% | examples/features/distributed-processing |
| 2 | 6 | 25% | examples/features/containers_are_spaces | |
| 16 | 17 | 10 | 37% | examples/features |
| 30 | 6 | 2 | 78% | examples/extended_compat/nars/prev |
| 37 | 10 | 1 | 77% | examples/extended_compat/nars/new |
| 34 | 10 | 1 | 75% | examples/extended_compat/nars/nars_v0 |
| 2 | 1 | 2 | 40% | examples/extended_compat/nars/nars_extras |
| 39 | 12 | 1 | 75% | examples/extended_compat/nars/current |
| 142 | 39 | 7 | 75% | examples/extended_compat/nars |
| 22 | 0 | 2 | 91% | examples/extended_compat/metta-examples/SICP_book |
| 2 | 5 | 28% | examples/extended_compat/metta-examples/recursion-schemes/src/examples | |
| 2 | 5 | 28% | examples/extended_compat/metta-examples/recursion-schemes/src | |
| 2 | 5 | 28% | examples/extended_compat/metta-examples/recursion-schemes | |
| 18 | 9 | 66% | examples/extended_compat/metta-examples/prob-dep-types | |
| 4 | 0 | 100% | examples/extended_compat/metta-examples/logic | |
| 46 | 14 | 3 | 73% | examples/extended_compat/metta-examples |
| 3 | 0 | 100% | examples/extended_compat/hyperon-miner/utils | |
| 3 | 0 | 100% | examples/extended_compat/hyperon-miner/match | |
| 6 | 0 | 100% | examples/extended_compat/hyperon-miner | |
| 194 | 53 | 10 | 75% | examples/extended_compat |
| 89 | 0 | 100% | examples/baseline_compat/metta-morph_tests | |
| 26 | 17 | 4 | 55% | examples/extended_compat/hyperon-pln/metta/synthesis/experiments |
| 26 | 20 | 5 | 50% | examples/extended_compat/hyperon-pln/metta/synthesis |
| 3 | 0 | 100% | examples/extended_compat/hyperon-pln/metta/sumo/orientation | |
| 3 | 0 | 100% | examples/extended_compat/hyperon-pln/metta/sumo/located | |
| 5 | 0 | 100% | examples/extended_compat/hyperon-pln/metta/sumo/john-carry-flower | |
| 11 | 0 | 100% | examples/extended_compat/hyperon-pln/metta/sumo | |
| 14 | 1 | 93% | examples/extended_compat/hyperon-pln/metta/polyward-chaining | |
| 3 | 0 | 100% | examples/extended_compat/hyperon-pln/metta/match | |
| 40 | 2 | 1 | 93% | examples/extended_compat/hyperon-pln/metta/iterative-chaining |
| 8 | 0 | 3 | 72% | examples/extended_compat/hyperon-pln/metta/hol |
| 31 | 0 | 100% | examples/extended_compat/hyperon-pln/metta/forward-chaining | |
| 47 | 0 | 100% | examples/extended_compat/hyperon-pln/metta/forward-chainer | |
| 7 | 0 | 100% | examples/extended_compat/hyperon-pln/metta/entail | |
| 4 | 0 | 3 | 57% | examples/extended_compat/hyperon-pln/metta/dependent-types |
| 13 | 0 | 100% | examples/extended_compat/hyperon-pln/metta/common/truthvalue | |
| 12 | 0 | 100% | examples/extended_compat/hyperon-pln/metta/common/formula | |
| 69 | 1 | 98% | examples/extended_compat/hyperon-pln/metta/common | |
| 45 | 0 | 100% | examples/extended_compat/hyperon-pln/metta/backward-chaining | |
| 45 | 0 | 100% | examples/extended_compat/hyperon-pln/metta/backward-chainer | |
| 350 | 26 | 14 | 89% | examples/extended_compat/hyperon-pln/metta |
| 32 | 1 | 96% | examples/baseline_compat/hyperon-mettalog_sanity | |
| 180 | 19 | 1 | 90% | examples/baseline_compat/hyperon-experimental_scripts |
| 651 | 46 | 15 | 91% | examples/baseline_compat |
| 939 | 163 | 59 | 80% | examples/ |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/performance/basic/ | |||
| -1 | -1 | 0% | coins.metta |
| 0 | 1 | 0% | fibo.metta |
| -1 | -1 | 0% | pathfinding-med-f.metta |
| 1 | 11 | 8% | test_infer_function_application_type.metta |
| -1 | -1 | 0% | factorial.metta |
| -1 | -1 | 0% | fwgc1.metta |
| 10 | 0 | 100% | hyperposing-unshared.metta |
| 10 | 0 | 100% | cml-unshared.metta |
| 10 | 0 | 100% | hyperposing-shared.metta |
| -1 | -1 | 0% | pathfinding-easy-f.metta |
| -1 | -1 | 0% | pathfinding-hard-f.metta |
| 0 | 3 | 0% | pathfinding-hard.metta |
| 16 | 7 | 69% | state_types.metta |
| 1 | 1 | 50% | fibo-as-pred.metta |
| -1 | -1 | 0% | hanoi-peg-space.metta |
| 0 | 9 | 0% | pathfinding-edge.metta |
| -1 | -1 | 0% | hanoi-one-space.metta |
| 0 | 1 | 0% | pathfinding-easy.metta |
| 1 | 0 | 100% | test_list_concatenation.metta |
| 13 | 0 | 100% | key-lookups-many.metta |
| 10 | 0 | 100% | hyperposing.metta |
| 72 | 41 | 63% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/baseline_compat/hyperon-experimental_scripts/ | |||
| 5 | 0 | 100% | c2_spaces.metta |
| 6 | 0 | 100% | b1_equal_chain.metta |
| 10 | 4 | 71% | d1_gadt.metta |
| 21 | 6 | 77% | d2_higherfunc.metta |
| 7 | 0 | 100% | a1_symbols.metta |
| 15 | 3 | 83% | d4_type_prop.metta |
| 5 | 0 | 100% | c3_pln_stv.metta |
| 1 | 0 | 100% | a2_opencoggy.metta |
| 5 | 0 | 100% | b0_chaining_prelim.metta |
| 7 | 0 | 100% | d3_deptypes.metta |
| 2 | 0 | 100% | f1_moduleA.metta |
| 2 | 0 | 100% | e1_kb_write.metta |
| 10 | 0 | 100% | e2_states.metta |
| -1 | -1 | 0% | d5_auto_types.metta |
| 3 | 0 | 100% | b3_direct.metta |
| 5 | 0 | 100% | b2_backchain.metta |
| 3 | 3 | 50% | e3_match_states.metta |
| 20 | 1 | 95% | b5_types_prelim.metta |
| 4 | 0 | 100% | a3_twoside.metta |
| 21 | 0 | 100% | c1_grounded_basic.metta |
| 17 | 2 | 89% | f1_imports.metta |
| 11 | 0 | 100% | b4_nondeterm.metta |
| 180 | 20 | 90% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/baseline_compat/hyperon-mettalog_sanity/ | |||
| 1 | 0 | 100% | 02-curried-plus.metta |
| 17 | 1 | 94% | 00_lang_case.metta |
| 5 | 0 | 100% | 03-soring-via-insert.metta |
| 2 | 0 | 100% | 01_lang_inc.metta |
| 1 | 0 | 100% | structure-tests.metta |
| 6 | 0 | 100% | 06_match_in_space.metta |
| 32 | 1 | 96% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/baseline_compat/metta-morph_tests/ | |||
| 1 | 0 | 100% | and_or.metta |
| 10 | 0 | 100% | hyperpose.metta |
| 1 | 0 | 100% | types.metta |
| 1 | 0 | 100% | if.metta |
| 1 | 0 | 100% | factorial.metta |
| 1 | 0 | 100% | let_superpose_list2.metta |
| 5 | 0 | 100% | match_superposed_spaces.metta |
| 1 | 0 | 100% | multifunction.metta |
| 6 | 0 | 100% | states_spaces.metta |
| 2 | 0 | 100% | let_superpose_if_case.metta |
| 1 | 0 | 100% | add_atom_match.metta |
| 1 | 0 | 100% | identity.metta |
| 11 | 0 | 100% | match_void.metta |
| 1 | 0 | 100% | minnars.metta |
| 1 | 0 | 100% | nalifier.metta |
| 7 | 0 | 100% | supercollapse.metta |
| 1 | 0 | 100% | letlet.metta |
| 2 | 0 | 100% | zeroargs.metta |
| 7 | 0 | 100% | tests0.metta |
| 12 | 0 | 100% | sequential_nested.metta |
| 5 | 0 | 100% | types2.metta |
| 1 | 0 | 100% | collapse.metta |
| 1 | 0 | 100% | match_feval.metta |
| 1 | 0 | 100% | types3.metta |
| 2 | 0 | 100% | let_superpose_list.metta |
| 1 | 0 | 100% | nested_parameters.metta |
| 4 | 0 | 100% | superpose_nested.metta |
| 1 | 0 | 100% | peano.metta |
| 89 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/features/bidirectional_computation/ | |||
| -1 | -1 | 0% | send-more.metta |
| 0 | 2 | 0% | reverse-arithmetic.metta |
| -1 | -1 | 0% | relative-arithmetic.metta |
| -1 | -1 | 0% | send-more-money.metta |
| 0 | 5 | 0% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/features/containers_are_spaces/ | |||
| 1 | 3 | 25% | 04_match_list_like_space.metta |
| 1 | 3 | 25% | 05_match_superpose_element_like_space.metta |
| 2 | 6 | 25% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/features/distributed-processing/ | |||
| 0 | 2 | 0% | use-two-servers.metta |
| 1 | 1 | 50% | create-server.metta |
| -1 | -1 | 0% | use-one-server.metta |
| 1 | 4 | 20% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/features/typed-variables/ | |||
| 0 | 1 | 0% | enforced-types.metta |
| -1 | -1 | 0% | even-number.metta |
| 0 | 2 | 0% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/flybase/from_vspace/ | |||
| 0 | 1 | 0% | flybase_rust_uses_python_vspace.metta |
| 0 | 1 | 0% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/flybase/sanity/ | |||
| 1 | 0 | 100% | download_file.metta |
| 1 | 0 | 100% | load_all_of_flybase.metta |
| 2 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/hyperon-pln/metta/backward-chainer/ | |||
| 45 | 0 | 100% | backward-chainer-xp.metta |
| 45 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/hyperon-pln/metta/backward-chaining/ | |||
| 45 | 0 | 100% | bc-xp.metta |
| 45 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/hyperon-pln/metta/common/ | |||
| 9 | 1 | 90% | NumTest.metta |
| 11 | 0 | 100% | OrderedSetTest.metta |
| 1 | 0 | 100% | EqualityTypeTest.metta |
| 19 | 0 | 100% | ListTest.metta |
| 3 | 0 | 100% | MaybeTest.metta |
| 1 | 0 | 100% | InTest.metta |
| 44 | 1 | 97% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/hyperon-pln/metta/dependent-types/ | |||
| 4 | 0 | 100% | DeductionDTLTest.metta |
| -1 | -1 | 0% | ModusPonensDTLTest.metta |
| -1 | -1 | 0% | DeductionImplicationDirectIntroductionDTLTest.metta |
| -1 | -1 | 0% | ImplicationDirectIntroductionDTLTest.metta |
| 4 | 3 | 57% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/hyperon-pln/metta/entail/ | |||
| 6 | 0 | 100% | ImplicationDirectIntroductionEntailTest.metta |
| 1 | 0 | 100% | DeductionEntailTest.metta |
| 7 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/hyperon-pln/metta/equal/ | |||
| 0 | 2 | 0% | DeductionEqualTest.metta |
| -1 | -1 | 0% | ImplicationDirectIntroductionEqualTest.metta |
| 0 | 3 | 0% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/hyperon-pln/metta/forward-chainer/ | |||
| 16 | 0 | 100% | forward-chainer-test.metta |
| 31 | 0 | 100% | forward-chainer-xp.metta |
| 47 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/hyperon-pln/metta/forward-chaining/ | |||
| 31 | 0 | 100% | fc-xp.metta |
| 31 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/hyperon-pln/metta/hol/ | |||
| 6 | 0 | 100% | NatTest.metta |
| -1 | -1 | 0% | NatSimpleTest.metta |
| -1 | -1 | 0% | NatStandaloneTest.metta |
| 1 | 0 | 100% | NatTest~OLD.metta |
| 1 | 0 | 100% | ListTest.metta |
| -1 | -1 | 0% | NatSimpleTest~OLD.metta |
| 8 | 3 | 72% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/hyperon-pln/metta/iterative-chaining/ | |||
| 40 | 2 | 95% | ifc-xp.metta |
| -1 | -1 | 0% | ibc-xp.metta |
| 40 | 3 | 93% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/hyperon-pln/metta/match/ | |||
| 1 | 0 | 100% | DeductionImplicationDirectIntroductionMatchTest.metta |
| 1 | 0 | 100% | DeductionMatchTest.metta |
| 1 | 0 | 100% | ImplicationDirectIntroductionMatchTest.metta |
| 3 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/hyperon-pln/metta/polyward-chaining/ | |||
| 14 | 1 | 93% | pc-xp.metta |
| 14 | 1 | 93% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/hyperon-pln/metta/synthesis/ | |||
| 0 | 3 | 0% | UnifyTest.metta |
| -1 | -1 | 0% | SynthesizeTest.metta |
| 0 | 4 | 0% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/hyperon-miner/match/ | |||
| 3 | 0 | 100% | MinerMatchTest.metta |
| 3 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/hyperon-miner/utils/ | |||
| 3 | 0 | 100% | MinerUtils.metta |
| 3 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/metta-examples/logic/ | |||
| 1 | 0 | 100% | puzzle.metta |
| 1 | 0 | 100% | memb.metta |
| 2 | 0 | 100% | all_any.metta |
| 4 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/metta-examples/prob-dep-types/ | |||
| 10 | 1 | 90% | inf_order_probs.metta |
| 8 | 8 | 50% | prob_dep_types.metta |
| 18 | 9 | 66% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/metta-examples/SICP_book/ | |||
| 22 | 0 | 100% | chapter_1_1.metta |
| -1 | -1 | 0% | chapter_1_2.metta |
| -1 | -1 | 0% | chapter_1_3.metta |
| 22 | 2 | 91% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/nars/current/ | |||
| 16 | 4 | 80% | tests2.metta |
| 4 | 1 | 80% | tests4.metta |
| 9 | 2 | 81% | tests5.metta |
| 5 | 2 | 71% | tests3.metta |
| 5 | 3 | 62% | tests0.metta |
| -1 | -1 | 0% | tests1.metta |
| 39 | 13 | 75% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/nars/nars_extras/ | |||
| 1 | 0 | 100% | RUN_minnars_trimmed.metta |
| 1 | 1 | 50% | NARS_BuildTupleCounts.metta |
| -1 | -1 | 0% | RUN_minnars.metta |
| -1 | -1 | 0% | TestNARS_listing.metta |
| 2 | 3 | 40% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/nars/nars_v0/ | |||
| 14 | 3 | 82% | tests2.metta |
| 4 | 1 | 80% | tests4.metta |
| 6 | 2 | 75% | tests5.metta |
| 5 | 2 | 71% | tests3.metta |
| 5 | 2 | 71% | tests0.metta |
| -1 | -1 | 0% | tests1.metta |
| 34 | 11 | 75% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/nars/new/ | |||
| 14 | 3 | 82% | tests2.metta |
| 4 | 1 | 80% | tests4.metta |
| 9 | 2 | 81% | tests5.metta |
| 5 | 2 | 71% | tests3.metta |
| 5 | 2 | 71% | tests0.metta |
| -1 | -1 | 0% | tests1.metta |
| 37 | 11 | 77% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/nars/prev/ | |||
| 14 | 3 | 82% | tests2.metta |
| 4 | 1 | 80% | tests4.metta |
| -1 | -1 | 0% | tests5.metta |
| 5 | 2 | 71% | tests3.metta |
| 7 | 0 | 100% | tests0.metta |
| -1 | -1 | 0% | tests1.metta |
| 30 | 8 | 78% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/features/host_language/compiler/ | |||
| 9 | 3 | 75% | 00a_lang_compiled_case.metta |
| 4 | 2 | 66% | define_if_like.metta |
| 13 | 5 | 72% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/hyperon-pln/metta/common/formula/ | |||
| 12 | 0 | 100% | DeductionFormulaTest.metta |
| 12 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/hyperon-pln/metta/common/truthvalue/ | |||
| 9 | 0 | 100% | TruthValueTest.metta |
| 4 | 0 | 100% | EvidentialTruthValueTest.metta |
| 13 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/hyperon-pln/metta/sumo/john-carry-flower/ | |||
| 5 | 0 | 100% | john-carry-flower-test.metta |
| 5 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/hyperon-pln/metta/sumo/located/ | |||
| 3 | 0 | 100% | located-test.metta |
| 3 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/hyperon-pln/metta/sumo/orientation/ | |||
| 3 | 0 | 100% | orientation-test.metta |
| 3 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/hyperon-pln/metta/synthesis/experiments/ | |||
| -1 | -1 | 0% | self-contained-synthesize.metta |
| 13 | 0 | 100% | synthesize-via-type-checking.metta |
| 0 | 11 | 0% | synthesize-via-unify-test.metta |
| 2 | 0 | 100% | non-determinism.metta |
| 1 | 5 | 16% | unify-via-case.metta |
| 3 | 1 | 75% | synthesize-via-superpose.metta |
| -1 | -1 | 0% | synthesize-via-case-test.metta |
| -1 | -1 | 0% | synthesize-via-let-test.metta |
| -1 | -1 | 0% | synthesize-via-unify-test-longer.metta |
| 7 | 0 | 100% | unify-via-let.metta |
| 26 | 21 | 55% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/python_compat/hyperon-experimental_python/sandbox/neurospace/ | |||
| 0 | 1 | 0% | test_assist.metta |
| -1 | -1 | 0% | test_nspace.metta |
| 0 | 2 | 0% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/python_compat/hyperon-experimental_python/sandbox/resolve/ | |||
| 4 | 9 | 30% | r.metta |
| 4 | 9 | 30% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/python_compat/hyperon-experimental_python/sandbox/sql_space/ | |||
| 0 | 3 | 0% | sql_space_test.metta |
| 0 | 3 | 0% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./examples/extended_compat/metta-examples/recursion-schemes/src/examples/ | |||
| 2 | 4 | 33% | expression.metta |
| 0 | 1 | 0% | benchmark.metta |
| 2 | 5 | 28% | Total |