| Pass | Fail | Miss | Percent | Directory |
|---|---|---|---|---|
| 1 | 2 | 33% | reports/python_compat/hyperon-experimental_python/sandbox/sql_space | |
| 6 | 7 | 46% | reports/python_compat/hyperon-experimental_python/sandbox/resolve | |
| 1 | 0 | 1 | 50% | reports/python_compat/hyperon-experimental_python/sandbox/neurospace |
| 8 | 9 | 3 | 40% | reports/python_compat/hyperon-experimental_python/sandbox |
| 8 | 9 | 3 | 40% | reports/python_compat/hyperon-experimental_python |
| 6 | 0 | 100% | reports/python_compat/extend | |
| 14 | 10 | 4 | 50% | reports/python_compat |
| 15 | 32 | 9 | 26% | reports/performance/comparisons |
| 71 | 18 | 14 | 68% | reports/performance/basic |
| 86 | 50 | 25 | 53% | reports/performance |
| 2 | 0 | 100% | reports/flybase/sanity | |
| 1 | 0 | 1 | 50% | reports/flybase/extra |
| 3 | 1 | 7 | 27% | reports/flybase |
| 3 | 0 | 100% | reports/features/possibly_wrong | |
| 4 | 2 | 1 | 57% | reports/features/host_language/compiler |
| 4 | 2 | 1 | 57% | reports/features/host_language |
| 1 | 5 | 1 | 14% | reports/features/distributed-processing |
| 4 | 3 | 3 | 40% | reports/features/debugging |
| 2 | 6 | 25% | reports/features/containers_are_spaces | |
| 14 | 16 | 17 | 29% | reports/features |
| 15 | 4 | 3 | 68% | reports/extended_compat/nars/prev |
| 13 | 6 | 3 | 59% | reports/extended_compat/nars/new |
| 19 | 8 | 2 | 65% | reports/extended_compat/nars/nars_v0 |
| 2 | 1 | 2 | 40% | reports/extended_compat/nars/nars_extras |
| 14 | 6 | 3 | 60% | reports/extended_compat/nars/current |
| 63 | 25 | 13 | 62% | reports/extended_compat/nars |
| 1 | 14 | 6% | reports/extended_compat/metta-examples/traverser | |
| 2 | 2 | 50% | reports/extended_compat/metta-examples/stack-based | |
| 22 | 0 | 2 | 91% | reports/extended_compat/metta-examples/SICP_book |
| 2 | 5 | 28% | reports/extended_compat/metta-examples/recursion-schemes/src/examples | |
| 2 | 5 | 28% | reports/extended_compat/metta-examples/recursion-schemes/src | |
| 2 | 5 | 28% | reports/extended_compat/metta-examples/recursion-schemes | |
| 18 | 9 | 66% | reports/extended_compat/metta-examples/prob-dep-types | |
| 3 | 0 | 100% | reports/extended_compat/metta-examples/logic | |
| 2 | 0 | 1 | 66% | reports/extended_compat/metta-examples/fizzbuzz |
| 1 | 3 | 25% | reports/extended_compat/metta-examples/edges-to-edges | |
| 51 | 33 | 4 | 57% | reports/extended_compat/metta-examples |
| 27 | 16 | 4 | 57% | reports/extended_compat/hyperon-pln/metta/synthesis/experiments |
| 27 | 19 | 5 | 52% | reports/extended_compat/hyperon-pln/metta/synthesis |
| 3 | 0 | 100% | reports/extended_compat/hyperon-pln/metta/sumo/orientation | |
| 3 | 0 | 100% | reports/extended_compat/hyperon-pln/metta/sumo/located | |
| 5 | 0 | 100% | reports/extended_compat/hyperon-pln/metta/sumo/john-carry-flower | |
| 11 | 0 | 100% | reports/extended_compat/hyperon-pln/metta/sumo | |
| 13 | 2 | 86% | reports/extended_compat/hyperon-pln/metta/polyward-chaining | |
| 4 | 4 | 2 | 40% | reports/extended_compat/hyperon-pln/metta/pln/dependent-types |
| 4 | 4 | 9 | 23% | reports/extended_compat/hyperon-pln/metta/pln |
| 3 | 0 | 100% | reports/extended_compat/hyperon-pln/metta/match | |
| 58 | 17 | 77% | reports/extended_compat/hyperon-pln/metta/iterative-chaining | |
| 40 | 5 | 2 | 85% | reports/extended_compat/hyperon-pln/metta/inference-control |
| 16 | 5 | 4 | 64% | reports/extended_compat/hyperon-pln/metta/hol |
| 25 | 6 | 80% | reports/extended_compat/hyperon-pln/metta/forward-chaining | |
| 37 | 10 | 78% | reports/extended_compat/hyperon-pln/metta/forward-chainer | |
| 6 | 0 | 1 | 85% | reports/extended_compat/hyperon-pln/metta/entail |
| 3 | 1 | 3 | 42% | reports/extended_compat/hyperon-pln/metta/dependent-types |
| 8 | 0 | 100% | reports/extended_compat/hyperon-pln/metta/curried-chaining | |
| 13 | 0 | 100% | reports/extended_compat/hyperon-pln/metta/common/truthvalue | |
| 55 | 3 | 1 | 93% | reports/extended_compat/hyperon-pln/metta/common |
| 40 | 5 | 88% | reports/extended_compat/hyperon-pln/metta/backward-chaining | |
| 40 | 5 | 88% | reports/extended_compat/hyperon-pln/metta/backward-chainer | |
| 386 | 84 | 27 | 77% | reports/extended_compat/hyperon-pln/metta |
| 386 | 84 | 27 | 77% | reports/extended_compat/hyperon-pln |
| 20 | 2 | 3 | 80% | reports/extended_compat/hyperon-miner/dependent-types |
| 20 | 2 | 6 | 71% | reports/extended_compat/hyperon-miner |
| 1 | 1 | 50% | reports/extended_compat/bio-atomspace/query | |
| 3 | 0 | 1 | 75% | reports/extended_compat/bio-atomspace/pln |
| 4 | 1 | 1 | 66% | reports/extended_compat/bio-atomspace |
| 524 | 145 | 51 | 72% | reports/extended_compat |
| 89 | 0 | 100% | reports/baseline_compat/metta-morph_tests | |
| 32 | 1 | 96% | reports/baseline_compat/hyperon-mettalog_sanity | |
| 183 | 16 | 1 | 91% | reports/baseline_compat/hyperon-experimental_scripts |
| 304 | 17 | 1 | 94% | reports/baseline_compat |
| 946 | 239 | 106 | 73% | reports/ |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports// | |||
| 1 | 0 | 100% | settings.metta |
| -1 | -1 | 0% | autoexec.metta |
| 1 | 1 | 50% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/flybase/ | |||
| 0 | 1 | 0% | flybase-loader-size-estimates.metta |
| -1 | -1 | 0% | flybase-deduced-connections.metta |
| 0 | 2 | 0% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/baseline_compat/hyperon-experimental_scripts/ | |||
| 5 | 0 | 100% | b0_chaining_prelim.metta |
| 6 | 0 | 100% | b1_equal_chain.metta |
| 11 | 0 | 100% | b4_nondeterm.metta |
| 3 | 3 | 50% | e3_match_states.metta |
| 2 | 0 | 100% | e1_kb_write.metta |
| 5 | 0 | 100% | b2_backchain.metta |
| 15 | 3 | 83% | d4_type_prop.metta |
| 5 | 0 | 100% | c2_spaces.metta |
| 10 | 4 | 71% | d1_gadt.metta |
| 3 | 0 | 100% | b3_direct.metta |
| -1 | -1 | 0% | d5_auto_types.metta |
| 26 | 1 | 96% | d2_higherfunc.metta |
| 20 | 1 | 95% | b5_types_prelim.metta |
| 1 | 0 | 100% | a2_opencoggy.metta |
| 7 | 0 | 100% | a1_symbols.metta |
| 21 | 0 | 100% | c1_grounded_basic.metta |
| 8 | 2 | 80% | e2_states.metta |
| 4 | 0 | 100% | a3_twoside.metta |
| 17 | 2 | 89% | f1_imports.metta |
| 2 | 0 | 100% | f1_moduleA.metta |
| 7 | 0 | 100% | d3_deptypes.metta |
| 5 | 0 | 100% | c3_pln_stv.metta |
| 183 | 17 | 91% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/baseline_compat/hyperon-mettalog_sanity/ | |||
| 17 | 1 | 94% | 00_lang_case.metta |
| 1 | 0 | 100% | structure-tests.metta |
| 6 | 0 | 100% | 06_match_in_space.metta |
| 5 | 0 | 100% | 03-soring-via-insert.metta |
| 2 | 0 | 100% | 01_lang_inc.metta |
| 1 | 0 | 100% | 02-curried-plus.metta |
| 32 | 1 | 96% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/baseline_compat/metta-morph_tests/ | |||
| 10 | 0 | 100% | hyperpose.metta |
| 2 | 0 | 100% | let_superpose_if_case.metta |
| 7 | 0 | 100% | tests0.metta |
| 11 | 0 | 100% | match_void.metta |
| 1 | 0 | 100% | minnars.metta |
| 1 | 0 | 100% | add_atom_match.metta |
| 6 | 0 | 100% | states_spaces.metta |
| 1 | 0 | 100% | multifunction.metta |
| 1 | 0 | 100% | match_feval.metta |
| 5 | 0 | 100% | types2.metta |
| 1 | 0 | 100% | collapse.metta |
| 1 | 0 | 100% | nested_parameters.metta |
| 1 | 0 | 100% | nalifier.metta |
| 1 | 0 | 100% | factorial.metta |
| 5 | 0 | 100% | match_superposed_spaces.metta |
| 2 | 0 | 100% | zeroargs.metta |
| 1 | 0 | 100% | letlet.metta |
| 1 | 0 | 100% | peano.metta |
| 1 | 0 | 100% | and_or.metta |
| 7 | 0 | 100% | supercollapse.metta |
| 12 | 0 | 100% | sequential_nested.metta |
| 1 | 0 | 100% | types3.metta |
| 1 | 0 | 100% | types.metta |
| 1 | 0 | 100% | if.metta |
| 2 | 0 | 100% | let_superpose_list.metta |
| 1 | 0 | 100% | identity.metta |
| 4 | 0 | 100% | superpose_nested.metta |
| 1 | 0 | 100% | let_superpose_list2.metta |
| 89 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/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: ./reports/features/debugging/ | |||
| 1 | 2 | 33% | hyperon_experimental_issue_481.metta |
| -1 | -1 | 0% | hyperon_experimental_issue_514.metta |
| -1 | -1 | 0% | hyperon_experimental_issue_530.metta |
| 0 | 1 | 0% | hyperon_experimental_issue_516.metta |
| 2 | 0 | 100% | hyperon_experimental_issue_516_redduced.metta |
| -1 | -1 | 0% | hyperon_experimental_issue_500.metta |
| 1 | 0 | 100% | hyperon_experimental_issue_492.metta |
| 4 | 6 | 40% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/features/distributed-processing/ | |||
| 0 | 2 | 0% | use-two-servers.metta |
| -1 | -1 | 0% | use-one-server.metta |
| 1 | 3 | 25% | create-server.metta |
| 1 | 6 | 14% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/features/possibly_wrong/ | |||
| 3 | 0 | 100% | too_eager_math.metta |
| 3 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/flybase/extra/ | |||
| -1 | -1 | 0% | proofexample.metta |
| 1 | 0 | 100% | pmquery.metta |
| 1 | 1 | 50% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/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: ./reports/performance/basic/ | |||
| -1 | -1 | 0% | pathfinding-hard-f.metta |
| 10 | 0 | 100% | cml-unshared.metta |
| 10 | 0 | 100% | hyperposing-shared.metta |
| -1 | -1 | 0% | hanoi-peg-space.metta |
| -1 | -1 | 0% | fibonacci.metta |
| -1 | -1 | 0% | coins.metta |
| -1 | -1 | 0% | fibo.metta |
| -1 | -1 | 0% | pathfinding-easy.metta |
| 10 | 0 | 100% | hyperposing-unshared.metta |
| -1 | -1 | 0% | pathfinding-hard.metta |
| 10 | 0 | 100% | hyperposing.metta |
| -1 | -1 | 0% | fibo-as-pred.metta |
| -1 | -1 | 0% | factorial.metta |
| 17 | 6 | 73% | state_types.metta |
| -1 | -1 | 0% | fwgc1.metta |
| 0 | 12 | 0% | test_infer_function_application_type.metta |
| -1 | -1 | 0% | pathfinding-med-f.metta |
| -1 | -1 | 0% | pathfinding-edge.metta |
| 13 | 0 | 100% | key-lookups-many.metta |
| -1 | -1 | 0% | pathfinding-easy-f.metta |
| -1 | -1 | 0% | hanoi-one-space.metta |
| 1 | 0 | 100% | test_list_concatenation.metta |
| 71 | 32 | 68% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/performance/comparisons/ | |||
| -1 | -1 | 0% | nils_if_control_test_6.metta |
| -1 | -1 | 0% | naive-fib.metta |
| -1 | -1 | 0% | fibo_arg1c.metta |
| -1 | -1 | 0% | nils_if_control_test_5.metta |
| -1 | -1 | 0% | nils_if_control_test_3.metta |
| -1 | -1 | 0% | fibo_Arg1i.metta |
| 3 | 0 | 100% | nils_if_control_test_2.metta |
| 1 | 1 | 50% | inf-ctl-month-xp-short_5.metta |
| -1 | -1 | 0% | nils_if_control_test_10.metta |
| 1 | 1 | 50% | inf-ctl-month-xp-short_1.metta |
| 0 | 14 | 0% | inf-ctl-month-xp-short.metta |
| 1 | 1 | 50% | inf-ctl-month-xp-short_6.metta |
| 9 | 1 | 90% | add-atom-naive-fib.metta |
| -1 | -1 | 0% | nils_if_control_test_4.metta |
| 0 | 14 | 0% | inf-ctl-month-xp-short_3.metta |
| -1 | -1 | 0% | inf-ctl-month-xp-long.metta |
| 15 | 41 | 26% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/python_compat/extend/ | |||
| 1 | 0 | 100% | example2.metta |
| 1 | 0 | 100% | example5.metta |
| 1 | 0 | 100% | example3.metta |
| 1 | 0 | 100% | example4.metta |
| 1 | 0 | 100% | example1.metta |
| 1 | 0 | 100% | example6.metta |
| 6 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/python_compat/janus/ | |||
| 0 | 1 | 0% | metta_calls_python_in_janus.metta |
| -1 | -1 | 0% | janus_api.metta |
| 0 | 2 | 0% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/bio-atomspace/pln/ | |||
| -1 | -1 | 0% | curried-chainer.metta |
| 3 | 0 | 100% | gene-pln-xp.metta |
| 3 | 1 | 75% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/bio-atomspace/query/ | |||
| 1 | 1 | 50% | gene-query.metta |
| 1 | 1 | 50% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/hyperon-miner/dependent-types/ | |||
| 0 | 1 | 0% | MinerCurriedDTLTest.metta |
| -1 | -1 | 0% | MinerDTL2Test.metta |
| -1 | -1 | 0% | MinerDTL1Test.metta |
| 11 | 0 | 100% | MinerCurriedDTL.metta |
| 3 | 1 | 75% | SupportRuleExp.metta |
| 6 | 0 | 100% | MinerDTLTest.metta |
| -1 | -1 | 0% | MinerDTL3Test.metta |
| 20 | 5 | 80% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/metta-examples/edges-to-edges/ | |||
| 1 | 3 | 25% | nte.metta |
| 1 | 3 | 25% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/metta-examples/fizzbuzz/ | |||
| 1 | 0 | 100% | simple.metta |
| 1 | 0 | 100% | classical.metta |
| -1 | -1 | 0% | constructive.metta |
| 2 | 1 | 66% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/metta-examples/logic/ | |||
| 1 | 0 | 100% | memb.metta |
| 2 | 0 | 100% | all_any.metta |
| 3 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/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: ./reports/extended_compat/metta-examples/SICP_book/ | |||
| -1 | -1 | 0% | chapter_1_2.metta |
| 22 | 0 | 100% | chapter_1_1.metta |
| -1 | -1 | 0% | chapter_1_3.metta |
| 22 | 2 | 91% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/metta-examples/stack-based/ | |||
| 0 | 1 | 0% | interpreter.metta |
| 2 | 1 | 66% | rewrites.metta |
| 2 | 2 | 50% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/metta-examples/traverser/ | |||
| 0 | 3 | 0% | creation.metta |
| 1 | 11 | 8% | basic.metta |
| 1 | 14 | 6% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/nars/current/ | |||
| 6 | 2 | 75% | tests0.metta |
| -1 | -1 | 0% | tests2.metta |
| 4 | 3 | 57% | tests3.metta |
| -1 | -1 | 0% | tests1.metta |
| 4 | 1 | 80% | tests4.metta |
| -1 | -1 | 0% | tests5.metta |
| 14 | 9 | 60% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/nars/nars_extras/ | |||
| -1 | -1 | 0% | RUN_minnars.metta |
| 1 | 0 | 100% | RUN_minnars_trimmed.metta |
| -1 | -1 | 0% | TestNARS_listing.metta |
| 1 | 1 | 50% | NARS_BuildTupleCounts.metta |
| 2 | 3 | 40% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/nars/nars_v0/ | |||
| 5 | 2 | 71% | tests0.metta |
| -1 | -1 | 0% | tests2.metta |
| 4 | 3 | 57% | tests3.metta |
| -1 | -1 | 0% | tests1.metta |
| 4 | 1 | 80% | tests4.metta |
| 6 | 2 | 75% | tests5.metta |
| 19 | 10 | 65% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/nars/new/ | |||
| 5 | 2 | 71% | tests0.metta |
| -1 | -1 | 0% | tests2.metta |
| 4 | 3 | 57% | tests3.metta |
| -1 | -1 | 0% | tests1.metta |
| 4 | 1 | 80% | tests4.metta |
| -1 | -1 | 0% | tests5.metta |
| 13 | 9 | 59% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/nars/prev/ | |||
| 7 | 0 | 100% | tests0.metta |
| -1 | -1 | 0% | tests2.metta |
| 4 | 3 | 57% | tests3.metta |
| -1 | -1 | 0% | tests1.metta |
| 4 | 1 | 80% | tests4.metta |
| -1 | -1 | 0% | tests5.metta |
| 15 | 7 | 68% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/features/host_language/compiler/ | |||
| 4 | 2 | 66% | define_if_like.metta |
| -1 | -1 | 0% | 00a_lang_compiled_case.metta |
| 4 | 3 | 57% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/hyperon-pln/metta/backward-chainer/ | |||
| 40 | 5 | 88% | backward-chainer-xp.metta |
| 40 | 5 | 88% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/hyperon-pln/metta/backward-chaining/ | |||
| 40 | 5 | 88% | bc-xp.metta |
| 40 | 5 | 88% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/hyperon-pln/metta/common/ | |||
| 1 | 0 | 100% | EqualityTypeTest.metta |
| 7 | 3 | 70% | NumTest.metta |
| 1 | 0 | 100% | InTest.metta |
| 19 | 0 | 100% | ListTest.metta |
| 3 | 0 | 100% | MaybeTest.metta |
| 11 | 0 | 100% | OrderedSetTest.metta |
| 42 | 3 | 93% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/hyperon-pln/metta/curried-chaining/ | |||
| 8 | 0 | 100% | curried-chainer.metta |
| 8 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/hyperon-pln/metta/dependent-types/ | |||
| -1 | -1 | 0% | ImplicationDirectIntroductionDTLTest.metta |
| -1 | -1 | 0% | DeductionImplicationDirectIntroductionDTLTest.metta |
| 3 | 1 | 75% | DeductionDTLTest.metta |
| -1 | -1 | 0% | ModusPonensDTLTest.metta |
| 3 | 4 | 42% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/hyperon-pln/metta/entail/ | |||
| 6 | 0 | 100% | ImplicationDirectIntroductionEntailTest.metta |
| -1 | -1 | 0% | DeductionEntailTest.metta |
| 6 | 1 | 85% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/hyperon-pln/metta/equal/ | |||
| -1 | -1 | 0% | ImplicationDirectIntroductionEqualTest.metta |
| 0 | 2 | 0% | DeductionEqualTest.metta |
| 0 | 3 | 0% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/hyperon-pln/metta/forward-chainer/ | |||
| 12 | 4 | 75% | forward-chainer-test.metta |
| 25 | 6 | 80% | forward-chainer-xp.metta |
| 37 | 10 | 78% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/hyperon-pln/metta/forward-chaining/ | |||
| 25 | 6 | 80% | fc-xp.metta |
| 25 | 6 | 80% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/hyperon-pln/metta/hol/ | |||
| 1 | 0 | 100% | NatTest~OLD.metta |
| 11 | 4 | 73% | NatStandaloneTest.metta |
| 3 | 1 | 75% | NatDTLTest.metta |
| -1 | -1 | 0% | NatTest.metta |
| -1 | -1 | 0% | NatSimpleTest.metta |
| 1 | 0 | 100% | ListTest.metta |
| -1 | -1 | 0% | NatSimpleTest~OLD.metta |
| -1 | -1 | 0% | NatParityTest.metta |
| 16 | 9 | 64% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/hyperon-pln/metta/inference-control/ | |||
| -1 | -1 | 0% | inf-ctl-month-bc-xp.metta |
| 16 | 2 | 88% | inf-ctl-xp.metta |
| -1 | -1 | 0% | inf-ctl-month-xp.metta |
| 24 | 3 | 88% | inf-ctl-month-bc-cont-xp.metta |
| 40 | 7 | 85% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/hyperon-pln/metta/iterative-chaining/ | |||
| 22 | 11 | 66% | ibc-xp.metta |
| 36 | 6 | 85% | ifc-xp.metta |
| 58 | 17 | 77% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/hyperon-pln/metta/match/ | |||
| 1 | 0 | 100% | ImplicationDirectIntroductionMatchTest.metta |
| 1 | 0 | 100% | DeductionImplicationDirectIntroductionMatchTest.metta |
| 1 | 0 | 100% | DeductionMatchTest.metta |
| 3 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/hyperon-pln/metta/polyward-chaining/ | |||
| 13 | 2 | 86% | pc-xp.metta |
| 13 | 2 | 86% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/hyperon-pln/metta/synthesis/ | |||
| -1 | -1 | 0% | SynthesizeTest.metta |
| 0 | 3 | 0% | UnifyTest.metta |
| 0 | 4 | 0% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/python_compat/hyperon-experimental_python/sandbox/neurospace/ | |||
| 1 | 0 | 100% | test_assist.metta |
| -1 | -1 | 0% | test_nspace.metta |
| 1 | 1 | 50% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/python_compat/hyperon-experimental_python/sandbox/resolve/ | |||
| 6 | 7 | 46% | r.metta |
| 6 | 7 | 46% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/python_compat/hyperon-experimental_python/sandbox/sql_space/ | |||
| 1 | 2 | 33% | sql_space_test.metta |
| 1 | 2 | 33% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/hyperon-pln/metta/common/truthvalue/ | |||
| 4 | 0 | 100% | EvidentialTruthValueTest.metta |
| 9 | 0 | 100% | TruthValueTest.metta |
| 13 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/hyperon-pln/metta/pln/dependent-types/ | |||
| -1 | -1 | 0% | ImplicationDirectIntroductionDTLTest.metta |
| -1 | -1 | 0% | DeductionImplicationDirectIntroductionDTLTest.metta |
| 3 | 1 | 75% | DeductionDTLTest.metta |
| 1 | 3 | 25% | ModusPonensDTLTest.metta |
| 4 | 6 | 40% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/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: ./reports/extended_compat/hyperon-pln/metta/sumo/located/ | |||
| 3 | 0 | 100% | located-test.metta |
| 3 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/hyperon-pln/metta/sumo/orientation/ | |||
| 3 | 0 | 100% | orientation-test.metta |
| 3 | 0 | 100% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/hyperon-pln/metta/synthesis/experiments/ | |||
| 4 | 0 | 100% | synthesize-via-superpose.metta |
| 0 | 11 | 0% | synthesize-via-unify-test.metta |
| 13 | 0 | 100% | synthesize-via-type-checking.metta |
| 7 | 0 | 100% | unify-via-let.metta |
| -1 | -1 | 0% | synthesize-via-unify-test-longer.metta |
| 1 | 5 | 16% | unify-via-case.metta |
| -1 | -1 | 0% | self-contained-synthesize.metta |
| -1 | -1 | 0% | synthesize-via-let-test.metta |
| -1 | -1 | 0% | synthesize-via-case-test.metta |
| 2 | 0 | 100% | non-determinism.metta |
| 27 | 20 | 57% | Total |
| Pass | Fail | Percent | File/Directory Information |
|---|---|---|---|
| Directory: ./reports/extended_compat/metta-examples/recursion-schemes/src/examples/ | |||
| 0 | 1 | 0% | benchmark.metta |
| 2 | 4 | 33% | expression.metta |
| 2 | 5 | 28% | Total |