Reports Matrix
|
|
|
|
junit
|
|
|
| METTA-MORPH-TESTS |
|
| AND-OR.01 |
Passed
|
ok
|
| COLLAPSE.01 |
Passed
|
ok
|
| HYPERPOSE.01 |
Passed
|
ok
|
| HYPERPOSE.02 |
Failed
|
f
|
| HYPERPOSE.03 |
Passed
|
ok
|
| HYPERPOSE.04 |
Passed
|
ok
|
| HYPERPOSE.05 |
Passed
|
ok
|
| HYPERPOSE.06 |
Failed
|
f
|
| HYPERPOSE.07 |
Failed
|
f
|
| HYPERPOSE.08 |
Failed
|
f
|
| HYPERPOSE.09 |
Passed
|
ok
|
| HYPERPOSE.10 |
Passed
|
ok
|
| IDENTITY.01 |
Passed
|
ok
|
| IF.01 |
Passed
|
ok
|
| LETLET.01 |
Passed
|
ok
|
| LET-SUPERPOSE-IF-CASE.01 |
Passed
|
ok
|
| LET-SUPERPOSE-IF-CASE.02 |
Passed
|
ok
|
| LET-SUPERPOSE-LIST2.01 |
Passed
|
ok
|
| LET-SUPERPOSE-LIST.01 |
Passed
|
ok
|
| LET-SUPERPOSE-LIST.02 |
Passed
|
ok
|
| MATCH-FEVAL.01 |
Passed
|
ok
|
| MATCH-SUPERPOSED-SPACES.01 |
Passed
|
ok
|
| MATCH-SUPERPOSED-SPACES.02 |
Passed
|
ok
|
| MATCH-SUPERPOSED-SPACES.03 |
Passed
|
ok
|
| MATCH-VOID.01 |
Passed
|
ok
|
| MATCH-VOID.02 |
Passed
|
ok
|
| MATCH-VOID.03 |
Passed
|
ok
|
| MATCH-VOID.04 |
Passed
|
ok
|
| MATCH-VOID.05 |
Passed
|
ok
|
| MATCH-VOID.06 |
Passed
|
ok
|
| MATCH-VOID.07 |
Passed
|
ok
|
| MATCH-VOID.08 |
Passed
|
ok
|
| MATCH-VOID.09 |
Passed
|
ok
|
| MULTIFUNCTION.01 |
Passed
|
ok
|
| MULTIFUNCTION.02 |
Passed
|
ok
|
| MULTIFUNCTION.03 |
Passed
|
ok
|
| NALIFIER.01 |
Failed
|
f
|
| NESTED-PARAMETERS.01 |
Passed
|
ok
|
| PEANO.01 |
Passed
|
ok
|
| SEQUENTIAL-NESTED.01 |
Passed
|
ok
|
| SEQUENTIAL-NESTED.02 |
Passed
|
ok
|
| SEQUENTIAL-NESTED.03 |
Passed
|
ok
|
| SEQUENTIAL-NESTED.04 |
Passed
|
ok
|
| SEQUENTIAL-NESTED.05 |
Passed
|
ok
|
| SEQUENTIAL-NESTED.06 |
Passed
|
ok
|
| SEQUENTIAL-NESTED.07 |
Passed
|
ok
|
| SEQUENTIAL-NESTED.08 |
Passed
|
ok
|
| SEQUENTIAL-NESTED.09 |
Passed
|
ok
|
| SEQUENTIAL-NESTED.10 |
Passed
|
ok
|
| SEQUENTIAL-NESTED.11 |
Passed
|
ok
|
| SEQUENTIAL-NESTED.12 |
Passed
|
ok
|
| STATES-SPACES.01 |
Passed
|
ok
|
| STATES-SPACES.02 |
Passed
|
ok
|
| STATES-SPACES.03 |
Passed
|
ok
|
| SUPERCOLLAPSE.01 |
Passed
|
ok
|
| SUPERCOLLAPSE.02 |
Passed
|
ok
|
| SUPERCOLLAPSE.03 |
Passed
|
ok
|
| SUPERPOSE-NESTED.01 |
Passed
|
ok
|
| SUPERPOSE-NESTED.02 |
Passed
|
ok
|
| SUPERPOSE-NESTED.03 |
Passed
|
ok
|
| SUPERPOSE-NESTED.04 |
Passed
|
ok
|
| TESTS0.01 |
Passed
|
ok
|
| TESTS0.02 |
Passed
|
ok
|
| TESTS0.03 |
Passed
|
ok
|
| TESTS0.04 |
Passed
|
ok
|
| TESTS0.05 |
Passed
|
ok
|
| TESTS0.06 |
Passed
|
ok
|
| TESTS0.07 |
Passed
|
ok
|
| TYPES2.01 |
Passed
|
ok
|
| TYPES2.02 |
Passed
|
ok
|
| TYPES2.03 |
Passed
|
ok
|
| TYPES2.04 |
Passed
|
ok
|
| TYPES2.05 |
Passed
|
ok
|
| TYPES3.01 |
Passed
|
ok
|
| TYPES.01 |
Passed
|
ok
|
| ZEROARGS.01 |
Passed
|
ok
|
| ZEROARGS.02 |
Passed
|
ok
|
| WHOLE-TESTS |
|
| metta-morph_tests.and_or |
Passed
|
ok
|
| metta-morph_tests.collapse |
Passed
|
ok
|
| metta-morph_tests.factorial |
Partial Failure
|
ok
|
| metta-morph_tests.hyperpose |
Passed
|
ok
|
| metta-morph_tests.identity |
Passed
|
ok
|
| metta-morph_tests.if |
Passed
|
ok
|
| metta-morph_tests.letlet |
Passed
|
ok
|
| metta-morph_tests.let_superpose_if_case |
Passed
|
ok
|
| metta-morph_tests.let_superpose_list2 |
Passed
|
ok
|
| metta-morph_tests.let_superpose_list |
Passed
|
ok
|
| metta-morph_tests.match_feval |
Passed
|
ok
|
| metta-morph_tests.match_superposed_spaces |
Passed
|
ok
|
| metta-morph_tests.match_void |
Passed
|
ok
|
| metta-morph_tests.minnars |
Partial Failure
|
ok
|
| metta-morph_tests.multifunction |
Passed
|
ok
|
| metta-morph_tests.nalifier |
Passed
|
ok
|
| metta-morph_tests.nested_parameters |
Passed
|
ok
|
| metta-morph_tests.peano |
Passed
|
ok
|
| metta-morph_tests.sequential_nested |
Passed
|
ok
|
| metta-morph_tests.states_spaces |
Passed
|
ok
|
| metta-morph_tests.supercollapse |
Partial Failure
|
ok
|
| metta-morph_tests.superpose_nested |
Passed
|
ok
|
| metta-morph_tests.tests0 |
Passed
|
ok
|
| metta-morph_tests.types2 |
Passed
|
ok
|
| metta-morph_tests.types3 |
Passed
|
ok
|
| metta-morph_tests.types |
Passed
|
ok
|
| metta-morph_tests.zeroargs |
Passed
|
ok
|
| module-system.f1_imports |
Passed
|
ok
|
| module-system.f1_moduleA |
Passed
|
ok
|
| hyperon-experimental_scripts.a1_symbols |
Passed
|
ok
|
| hyperon-experimental_scripts.a2_opencoggy |
Passed
|
ok
|
| hyperon-experimental_scripts.a3_twoside |
Passed
|
ok
|
| hyperon-experimental_scripts.b0_chaining_prelim |
Passed
|
ok
|
| hyperon-experimental_scripts.b1_equal_chain |
Passed
|
ok
|
| hyperon-experimental_scripts.b2_backchain |
Passed
|
ok
|
| hyperon-experimental_scripts.b3_direct |
Passed
|
ok
|
| hyperon-experimental_scripts.b4_nondeterm |
Passed
|
ok
|
| hyperon-experimental_scripts.b5_types_prelim |
Passed
|
ok
|
| hyperon-experimental_scripts.c2_spaces |
Passed
|
ok
|
| hyperon-experimental_scripts.c3_pln_stv |
Passed
|
ok
|
| hyperon-experimental_scripts.d1_gadt |
Passed
|
ok
|
| hyperon-experimental_scripts.d2_higherfunc |
Passed
|
ok
|
| hyperon-experimental_scripts.d3_deptypes |
Passed
|
ok
|
| hyperon-experimental_scripts.d4_type_prop |
Failed
|
f
|
| hyperon-experimental_scripts.d5_auto_types |
Passed
|
ok
|
| hyperon-experimental_scripts.e1_kb_write |
Passed
|
ok
|
| hyperon-experimental_scripts.e2_states |
Passed
|
ok
|
| hyperon-experimental_scripts.e3_match_states |
Passed
|
ok
|
| hyperon-experimental_scripts.f1_imports |
Passed
|
ok
|
| hyperon-experimental_scripts.f1_moduleA |
Passed
|
ok
|
| main-branch.minnars_Prev |
Partial Failure
|
ok
|
| main-branch.nalifier_Prev |
Passed
|
ok
|
| main-branch.prereqs |
Passed
|
ok
|
| main-branch.tests0 |
Passed
|
ok
|
| main-branch.tests1 |
Passed
|
ok
|
| main-branch.tests1_pre |
Passed
|
ok
|
| main-branch.tests2 |
Passed
|
ok
|
| main-branch.tests3 |
Passed
|
ok
|
| main-branch.tests4 |
Passed
|
ok
|
| main-branch.tests5 |
Passed
|
ok
|
| important.bc_comp |
Passed
|
ok
|
| important.fish_riddle_1_no_states |
Passed
|
ok
|
| important.puzzle_less_function_guessing |
Passed
|
ok
|
| important.puzzle |
Passed
|
ok
|
| important.task1_whole_atoms_kb0 |
Passed
|
ok
|
| important.task1_whole_bug_compiler |
Passed
|
ok
|
| important.task1_whole_if |
Passed
|
ok
|
| important.task1_whole_kb |
Passed
|
ok
|
| important.task1_whole_kb_noprint |
Passed
|
ok
|
| important.task1_whole |
Passed
|
ok
|
| easy.efail |
Passed
|
ok
|
| easy.format_args |
Passed
|
ok
|
| easy.nth |
Passed
|
ok
|
| easy.nthx |
Passed
|
ok
|
| easy.test_a |
Passed
|
ok
|
| easy.test_char |
Passed
|
ok
|
| easy.test_n2 |
Passed
|
ok
|
| types.inherit_types_from_if |
Passed
|
ok
|
| sanity.let_eval |
Passed
|
ok
|
| More-important.ibc-xp |
Passed
|
ok
|
| More-important.inf-ctl-month-bc-cont-xp |
Partial Failure
|
ok
|
| More-important.inf-ctl-month-bc-xp |
Failed
|
f
|
| More-important.inf-ctl-xp |
Passed
|
ok
|
| issues.alpha_equals_tests |
Passed
|
ok
|
| issues.bug_231_curried_nested_call_test |
Passed
|
ok
|
| issues.bug_238_test_get_type |
Passed
|
ok
|
| issues.bug_239_bound_string_method |
Passed
|
ok
|
| issues.bug_252_var_in_first_place |
Passed
|
ok
|
| issues.match_alpha_coroutining_test |
Passed
|
ok
|
| issues.python_quick |
Passed
|
ok
|
| issues.roman_init_kb |
Passed
|
ok
|
| issues.slow_map_atom_from_roman |
Passed
|
ok
|
| issues.slows_down |
Passed
|
ok
|
| issues.unify_true_false |
Passed
|
ok
|
| sane_speed_chars.sane_speed_chars_2 |
Passed
|
ok
|
| ytranspiler_sanity.dont_recompile_stdlib_dependancies |
Passed
|
ok
|
| ztranspiler_sanity.00_basic_evaluation |
Passed
|
ok
|
| ztranspiler_sanity.01_basic_function |
Passed
|
ok
|
| ztranspiler_sanity.02_fibonacci |
Passed
|
ok
|
| ztranspiler_sanity.03_factorial |
Passed
|
ok
|
| ztranspiler_sanity.04_append |
Passed
|
ok
|
| ztranspiler_sanity.05_factorial_lazyif_recompile |
Partial Failure
|
ok
|
| ztranspiler_sanity.07_function_variable |
Passed
|
ok
|
| ztranspiler_sanity.10_nqueens |
Partial Failure
|
ok
|
| anti-regression.bc_comp |
Passed
|
ok
|
| anti-regression.bchain_comp |
Passed
|
ok
|
| anti-regression.bchain |
Passed
|
ok
|
| anti-regression.comma_is_not_special |
Passed
|
ok
|
| anti-regression.debug_mettalogTestCurried |
Failed
|
f
|
| anti-regression.mettalogTestCurried2 |
Passed
|
ok
|
| anti-regression.mettalogTestCurried |
Failed
|
f
|
| anti-regression.system_proofTestCurried |
Failed
|
f
|
| anti-regression.test_if_closed |
Passed
|
ok
|
| anti-regression.tmpMatch2 |
Passed
|
ok
|
| METTA-MORPH-TESTS-COMP |
|
| HYPERPOSE-COMP.01 |
Failed
|
f
|
| HYPERPOSE-COMP.02 |
Passed
|
ok
|
| HYPERPOSE-COMP.03 |
Passed
|
ok
|
| HYPERPOSE-COMP.04 |
Failed
|
f
|
| HYPERPOSE-COMP.05 |
Passed
|
ok
|
| HYPERPOSE-COMP.06 |
Passed
|
ok
|
| HYPERPOSE-COMP.07 |
Passed
|
ok
|
| HYPERPOSE-COMP.08 |
Passed
|
ok
|
| HYPERPOSE-COMP.09 |
Failed
|
f
|
| HYPERPOSE-COMP.10 |
Failed
|
f
|
| LET-SUPERPOSE-IF-CASE-COMP.01 |
Passed
|
ok
|
| LET-SUPERPOSE-LIST2-COMP.01 |
Passed
|
ok
|
| LET-SUPERPOSE-LIST-COMP.01 |
Passed
|
ok
|
| MATCH-SUPERPOSED-SPACES-COMP.01 |
Passed
|
ok
|
| MATCH-SUPERPOSED-SPACES-COMP.02 |
Passed
|
ok
|
| MATCH-SUPERPOSED-SPACES-COMP.03 |
Passed
|
ok
|
| MATCH-VOID-COMP.01 |
Passed
|
ok
|
| MATCH-VOID-COMP.02 |
Failed
|
f
|
| MATCH-VOID-COMP.03 |
Failed
|
f
|
| MATCH-VOID-COMP.04 |
Passed
|
ok
|
| MATCH-VOID-COMP.05 |
Failed
|
f
|
| MULTIFUNCTION-COMP.01 |
Passed
|
ok
|
| MULTIFUNCTION-COMP.02 |
Passed
|
ok
|
| STATES-SPACES-COMP.01 |
Passed
|
ok
|
| TESTS0-COMP.01 |
Passed
|
ok
|
| TESTS0-COMP.02 |
Failed
|
f
|
| TESTS0-COMP.03 |
Failed
|
f
|
| TESTS0-COMP.04 |
Failed
|
f
|
| TESTS0-COMP.05 |
Failed
|
f
|
| TESTS0-COMP.06 |
Failed
|
f
|
| TESTS0-COMP.07 |
Failed
|
f
|
| MODULE-SYSTEM |
|
| F1-IMPORTS.01 |
Failed
|
f
|
| F1-IMPORTS.02 |
Passed
|
ok
|
| F1-MODULEA.03 |
Passed
|
ok
|
| F1-IMPORTS.04 |
Failed
|
f
|
| F1-IMPORTS.05 |
Passed
|
ok
|
| F1-MODULEA.06 |
Passed
|
ok
|
| F1-IMPORTS.07 |
Passed
|
ok
|
| F1-IMPORTS.08 |
Passed
|
ok
|
| F1-IMPORTS.09 |
Failed
|
f
|
| F1-IMPORTS.10 |
Passed
|
ok
|
| F1-IMPORTS.11 |
Passed
|
ok
|
| F1-IMPORTS.12 |
Passed
|
ok
|
| F1-IMPORTS.13 |
Passed
|
ok
|
| F1-IMPORTS.14 |
Passed
|
ok
|
| F1-IMPORTS.15 |
Passed
|
ok
|
| F1-IMPORTS.16 |
Passed
|
ok
|
| F1-MODULEA.01 |
Passed
|
ok
|
| MODULE-SYSTEM-COMP |
|
| F1-IMPORTS-COMP.02 |
Passed
|
ok
|
| F1-MODULEA-COMP.03 |
Passed
|
ok
|
| F1-IMPORTS-COMP.04 |
Failed
|
f
|
| F1-IMPORTS-COMP.05 |
Failed
|
f
|
| F1-MODULEA-COMP.06 |
Passed
|
ok
|
| F1-IMPORTS-COMP.07 |
Passed
|
ok
|
| F1-IMPORTS-COMP.08 |
Passed
|
ok
|
| F1-IMPORTS-COMP.09 |
Failed
|
f
|
| F1-IMPORTS-COMP.10 |
Passed
|
ok
|
| F1-IMPORTS-COMP.11 |
Passed
|
ok
|
| F1-IMPORTS-COMP.12 |
Passed
|
ok
|
| F1-IMPORTS-COMP.13 |
Passed
|
ok
|
| F1-IMPORTS-COMP.14 |
Passed
|
ok
|
| F1-IMPORTS-COMP.15 |
Passed
|
ok
|
| F1-IMPORTS-COMP.16 |
Passed
|
ok
|
| F1-MODULEA-COMP.01 |
Passed
|
ok
|
| HYPERON-EXPERIMENTAL-SCRIPTS |
|
| A1-SYMBOLS.01 |
Passed
|
ok
|
| A1-SYMBOLS.02 |
Passed
|
ok
|
| A1-SYMBOLS.03 |
Passed
|
ok
|
| A1-SYMBOLS.04 |
Passed
|
ok
|
| A1-SYMBOLS.05 |
Passed
|
ok
|
| A1-SYMBOLS.06 |
Passed
|
ok
|
| A1-SYMBOLS.07 |
Passed
|
ok
|
| A2-OPENCOGGY.01 |
Passed
|
ok
|
| A3-TWOSIDE.01 |
Passed
|
ok
|
| A3-TWOSIDE.02 |
Passed
|
ok
|
| A3-TWOSIDE.03 |
Passed
|
ok
|
| A3-TWOSIDE.04 |
Passed
|
ok
|
| B0-CHAINING-PRELIM.01 |
Passed
|
ok
|
| B0-CHAINING-PRELIM.02 |
Passed
|
ok
|
| B0-CHAINING-PRELIM.03 |
Passed
|
ok
|
| B0-CHAINING-PRELIM.04 |
Passed
|
ok
|
| B0-CHAINING-PRELIM.05 |
Passed
|
ok
|
| B1-EQUAL-CHAIN.01 |
Passed
|
ok
|
| B1-EQUAL-CHAIN.02 |
Passed
|
ok
|
| B1-EQUAL-CHAIN.03 |
Passed
|
ok
|
| B1-EQUAL-CHAIN.04 |
Passed
|
ok
|
| B1-EQUAL-CHAIN.05 |
Passed
|
ok
|
| B1-EQUAL-CHAIN.06 |
Passed
|
ok
|
| B2-BACKCHAIN.01 |
Passed
|
ok
|
| B2-BACKCHAIN.02 |
Passed
|
ok
|
| B2-BACKCHAIN.03 |
Passed
|
ok
|
| B2-BACKCHAIN.04 |
Passed
|
ok
|
| B2-BACKCHAIN.05 |
Passed
|
ok
|
| B3-DIRECT.01 |
Passed
|
ok
|
| B3-DIRECT.02 |
Passed
|
ok
|
| B3-DIRECT.03 |
Passed
|
ok
|
| B4-NONDETERM.01 |
Passed
|
ok
|
| B4-NONDETERM.02 |
Passed
|
ok
|
| B4-NONDETERM.03 |
Passed
|
ok
|
| B4-NONDETERM.04 |
Passed
|
ok
|
| B4-NONDETERM.05 |
Passed
|
ok
|
| B4-NONDETERM.06 |
Passed
|
ok
|
| B4-NONDETERM.07 |
Passed
|
ok
|
| B4-NONDETERM.08 |
Passed
|
ok
|
| B4-NONDETERM.09 |
Passed
|
ok
|
| B4-NONDETERM.10 |
Passed
|
ok
|
| B4-NONDETERM.11 |
Passed
|
ok
|
| B5-TYPES-PRELIM.01 |
Passed
|
ok
|
| B5-TYPES-PRELIM.02 |
Failed
|
f
|
| B5-TYPES-PRELIM.03 |
Passed
|
ok
|
| B5-TYPES-PRELIM.04 |
Passed
|
ok
|
| B5-TYPES-PRELIM.05 |
Passed
|
ok
|
| B5-TYPES-PRELIM.06 |
Passed
|
ok
|
| B5-TYPES-PRELIM.07 |
Passed
|
ok
|
| B5-TYPES-PRELIM.08 |
Failed
|
f
|
| B5-TYPES-PRELIM.09 |
Passed
|
ok
|
| B5-TYPES-PRELIM.10 |
Passed
|
ok
|
| B5-TYPES-PRELIM.11 |
Failed
|
f
|
| B5-TYPES-PRELIM.12 |
Passed
|
ok
|
| B5-TYPES-PRELIM.13 |
Passed
|
ok
|
| B5-TYPES-PRELIM.14 |
Failed
|
f
|
| B5-TYPES-PRELIM.15 |
Failed
|
f
|
| B5-TYPES-PRELIM.16 |
Passed
|
ok
|
| B5-TYPES-PRELIM.17 |
Passed
|
ok
|
| B5-TYPES-PRELIM.18 |
Passed
|
ok
|
| B5-TYPES-PRELIM.19 |
Passed
|
ok
|
| B5-TYPES-PRELIM.20 |
Passed
|
ok
|
| B5-TYPES-PRELIM.21 |
Passed
|
ok
|
| B5-TYPES-PRELIM.22 |
Passed
|
ok
|
| B5-TYPES-PRELIM.23 |
Passed
|
ok
|
| B5-TYPES-PRELIM.24 |
Failed
|
f
|
| B5-TYPES-PRELIM.25 |
Passed
|
ok
|
| B5-TYPES-PRELIM.26 |
Passed
|
ok
|
| C2-SPACES.01 |
Passed
|
ok
|
| C2-SPACES.02 |
Passed
|
ok
|
| C2-SPACES.03 |
Passed
|
ok
|
| C2-SPACES.04 |
Passed
|
ok
|
| C2-SPACES.05 |
Passed
|
ok
|
| C3-PLN-STV.01 |
Passed
|
ok
|
| C3-PLN-STV.02 |
Passed
|
ok
|
| C3-PLN-STV.03 |
Passed
|
ok
|
| C3-PLN-STV.04 |
Passed
|
ok
|
| C3-PLN-STV.05 |
Passed
|
ok
|
| D1-GADT.01 |
Passed
|
ok
|
| D1-GADT.02 |
Passed
|
ok
|
| D1-GADT.03 |
Passed
|
ok
|
| D1-GADT.04 |
Passed
|
ok
|
| D1-GADT.05 |
Failed
|
f
|
| D1-GADT.06 |
Passed
|
ok
|
| D1-GADT.07 |
Passed
|
ok
|
| D1-GADT.08 |
Passed
|
ok
|
| D1-GADT.09 |
Passed
|
ok
|
| D1-GADT.10 |
Passed
|
ok
|
| D1-GADT.11 |
Passed
|
ok
|
| D1-GADT.12 |
Passed
|
ok
|
| D1-GADT.13 |
Passed
|
ok
|
| D1-GADT.14 |
Passed
|
ok
|
| D2-HIGHERFUNC.01 |
Passed
|
ok
|
| D2-HIGHERFUNC.02 |
Passed
|
ok
|
| D2-HIGHERFUNC.03 |
Passed
|
ok
|
| D2-HIGHERFUNC.04 |
Passed
|
ok
|
| D2-HIGHERFUNC.05 |
Passed
|
ok
|
| D2-HIGHERFUNC.06 |
Passed
|
ok
|
| D2-HIGHERFUNC.07 |
Failed
|
f
|
| D2-HIGHERFUNC.08 |
Passed
|
ok
|
| D2-HIGHERFUNC.09 |
Passed
|
ok
|
| D2-HIGHERFUNC.10 |
Passed
|
ok
|
| D2-HIGHERFUNC.11 |
Passed
|
ok
|
| D2-HIGHERFUNC.12 |
Passed
|
ok
|
| D2-HIGHERFUNC.13 |
Passed
|
ok
|
| D2-HIGHERFUNC.14 |
Passed
|
ok
|
| D2-HIGHERFUNC.15 |
Passed
|
ok
|
| D2-HIGHERFUNC.16 |
Passed
|
ok
|
| D2-HIGHERFUNC.17 |
Passed
|
ok
|
| D2-HIGHERFUNC.18 |
Passed
|
ok
|
| D2-HIGHERFUNC.19 |
Passed
|
ok
|
| D2-HIGHERFUNC.20 |
Passed
|
ok
|
| D2-HIGHERFUNC.21 |
Failed
|
f
|
| D2-HIGHERFUNC.22 |
Failed
|
f
|
| D2-HIGHERFUNC.23 |
Passed
|
ok
|
| D2-HIGHERFUNC.24 |
Passed
|
ok
|
| D2-HIGHERFUNC.25 |
Passed
|
ok
|
| D2-HIGHERFUNC.26 |
Passed
|
ok
|
| D2-HIGHERFUNC.27 |
Passed
|
ok
|
| D3-DEPTYPES.01 |
Passed
|
ok
|
| D3-DEPTYPES.02 |
Passed
|
ok
|
| D3-DEPTYPES.03 |
Passed
|
ok
|
| D3-DEPTYPES.04 |
Passed
|
ok
|
| D3-DEPTYPES.05 |
Passed
|
ok
|
| D3-DEPTYPES.06 |
Passed
|
ok
|
| D3-DEPTYPES.07 |
Passed
|
ok
|
| D4-TYPE-PROP.01 |
Passed
|
ok
|
| D4-TYPE-PROP.02 |
Passed
|
ok
|
| D4-TYPE-PROP.03 |
Passed
|
ok
|
| D4-TYPE-PROP.04 |
Failed
|
f
|
| D4-TYPE-PROP.05 |
Failed
|
f
|
| D4-TYPE-PROP.06 |
Passed
|
ok
|
| D4-TYPE-PROP.07 |
Failed
|
f
|
| D4-TYPE-PROP.08 |
Passed
|
ok
|
| D4-TYPE-PROP.09 |
Failed
|
f
|
| D4-TYPE-PROP.10 |
Passed
|
ok
|
| D4-TYPE-PROP.11 |
Failed
|
f
|
| D4-TYPE-PROP.12 |
Passed
|
ok
|
| D4-TYPE-PROP.13 |
Failed
|
f
|
| D4-TYPE-PROP.14 |
Passed
|
ok
|
| D4-TYPE-PROP.15 |
Passed
|
ok
|
| D4-TYPE-PROP.16 |
Passed
|
ok
|
| D4-TYPE-PROP.17 |
Passed
|
ok
|
| D4-TYPE-PROP.18 |
Passed
|
ok
|
| D5-AUTO-TYPES.01 |
Failed
|
f
|
| D5-AUTO-TYPES.02 |
Failed
|
f
|
| D5-AUTO-TYPES.03 |
Failed
|
f
|
| D5-AUTO-TYPES.04 |
Failed
|
f
|
| D5-AUTO-TYPES.05 |
Failed
|
f
|
| D5-AUTO-TYPES.06 |
Failed
|
f
|
| D5-AUTO-TYPES.07 |
Failed
|
f
|
| E1-KB-WRITE.01 |
Passed
|
ok
|
| E1-KB-WRITE.02 |
Passed
|
ok
|
| E2-STATES.01 |
Passed
|
ok
|
| E2-STATES.02 |
Passed
|
ok
|
| E2-STATES.03 |
Passed
|
ok
|
| E2-STATES.04 |
Passed
|
ok
|
| E2-STATES.05 |
Passed
|
ok
|
| E2-STATES.06 |
Passed
|
ok
|
| E2-STATES.07 |
Failed
|
f
|
| E2-STATES.08 |
Failed
|
f
|
| E2-STATES.09 |
Passed
|
ok
|
| E2-STATES.10 |
Passed
|
ok
|
| E2-STATES.11 |
Passed
|
ok
|
| E2-STATES.12 |
Passed
|
ok
|
| E3-MATCH-STATES.01 |
Passed
|
ok
|
| E3-MATCH-STATES.02 |
Passed
|
ok
|
| E3-MATCH-STATES.03 |
Failed
|
f
|
| E3-MATCH-STATES.04 |
Passed
|
ok
|
| E3-MATCH-STATES.05 |
Failed
|
f
|
| E3-MATCH-STATES.06 |
Failed
|
f
|
| F1-IMPORTS.01 |
Passed
|
ok
|
| F1-IMPORTS.02 |
Failed
|
f
|
| F1-IMPORTS.03 |
Passed
|
ok
|
| F1-MODULEA.04 |
Passed
|
ok
|
| F1-MODULEA.05 |
Passed
|
ok
|
| F1-IMPORTS.06 |
Passed
|
ok
|
| F1-MODULEA.07 |
Passed
|
ok
|
| F1-MODULEA.08 |
Passed
|
ok
|
| F1-IMPORTS.09 |
Passed
|
ok
|
| F1-IMPORTS.10 |
Passed
|
ok
|
| F1-IMPORTS.11 |
Failed
|
f
|
| F1-IMPORTS.12 |
Passed
|
ok
|
| F1-IMPORTS.13 |
Passed
|
ok
|
| F1-IMPORTS.14 |
Passed
|
ok
|
| F1-IMPORTS.15 |
Passed
|
ok
|
| F1-IMPORTS.16 |
Passed
|
ok
|
| F1-IMPORTS.17 |
Passed
|
ok
|
| F1-IMPORTS.18 |
Passed
|
ok
|
| F1-IMPORTS.19 |
Passed
|
ok
|
| F1-MODULEA.01 |
Passed
|
ok
|
| F1-MODULEA.02 |
Passed
|
ok
|
| HYPERON-EXPERIMENTAL-SCRIPTS-COMP |
|
| A1-SYMBOLS-COMP.01 |
Passed
|
ok
|
| A1-SYMBOLS-COMP.02 |
Passed
|
ok
|
| A1-SYMBOLS-COMP.03 |
Passed
|
ok
|
| A1-SYMBOLS-COMP.04 |
Passed
|
ok
|
| A1-SYMBOLS-COMP.05 |
Passed
|
ok
|
| A1-SYMBOLS-COMP.06 |
Passed
|
ok
|
| A1-SYMBOLS-COMP.07 |
Passed
|
ok
|
| A2-OPENCOGGY-COMP.01 |
Passed
|
ok
|
| A3-TWOSIDE-COMP.01 |
Passed
|
ok
|
| A3-TWOSIDE-COMP.02 |
Passed
|
ok
|
| A3-TWOSIDE-COMP.03 |
Failed
|
f
|
| A3-TWOSIDE-COMP.04 |
Passed
|
ok
|
| B0-CHAINING-PRELIM-COMP.01 |
Passed
|
ok
|
| B0-CHAINING-PRELIM-COMP.02 |
Passed
|
ok
|
| B0-CHAINING-PRELIM-COMP.03 |
Passed
|
ok
|
| B0-CHAINING-PRELIM-COMP.04 |
Passed
|
ok
|
| B0-CHAINING-PRELIM-COMP.05 |
Passed
|
ok
|
| B1-EQUAL-CHAIN-COMP.01 |
Passed
|
ok
|
| B1-EQUAL-CHAIN-COMP.02 |
Passed
|
ok
|
| B1-EQUAL-CHAIN-COMP.03 |
Passed
|
ok
|
| B1-EQUAL-CHAIN-COMP.04 |
Passed
|
ok
|
| B1-EQUAL-CHAIN-COMP.05 |
Passed
|
ok
|
| B1-EQUAL-CHAIN-COMP.06 |
Failed
|
f
|
| B2-BACKCHAIN-COMP.01 |
Passed
|
ok
|
| B2-BACKCHAIN-COMP.02 |
Passed
|
ok
|
| B2-BACKCHAIN-COMP.03 |
Passed
|
ok
|
| B2-BACKCHAIN-COMP.04 |
Passed
|
ok
|
| B2-BACKCHAIN-COMP.05 |
Passed
|
ok
|
| B3-DIRECT-COMP.01 |
Passed
|
ok
|
| B3-DIRECT-COMP.02 |
Passed
|
ok
|
| B3-DIRECT-COMP.03 |
Passed
|
ok
|
| B4-NONDETERM-COMP.01 |
Passed
|
ok
|
| B4-NONDETERM-COMP.02 |
Passed
|
ok
|
| B4-NONDETERM-COMP.03 |
Passed
|
ok
|
| B4-NONDETERM-COMP.04 |
Passed
|
ok
|
| B4-NONDETERM-COMP.05 |
Passed
|
ok
|
| B4-NONDETERM-COMP.06 |
Passed
|
ok
|
| B4-NONDETERM-COMP.07 |
Passed
|
ok
|
| B4-NONDETERM-COMP.08 |
Passed
|
ok
|
| B4-NONDETERM-COMP.09 |
Passed
|
ok
|
| B4-NONDETERM-COMP.10 |
Passed
|
ok
|
| B4-NONDETERM-COMP.11 |
Passed
|
ok
|
| B5-TYPES-PRELIM-COMP.01 |
Passed
|
ok
|
| B5-TYPES-PRELIM-COMP.02 |
Failed
|
f
|
| B5-TYPES-PRELIM-COMP.03 |
Passed
|
ok
|
| B5-TYPES-PRELIM-COMP.04 |
Passed
|
ok
|
| B5-TYPES-PRELIM-COMP.05 |
Passed
|
ok
|
| B5-TYPES-PRELIM-COMP.06 |
Failed
|
f
|
| B5-TYPES-PRELIM-COMP.07 |
Passed
|
ok
|
| B5-TYPES-PRELIM-COMP.08 |
Failed
|
f
|
| B5-TYPES-PRELIM-COMP.09 |
Passed
|
ok
|
| B5-TYPES-PRELIM-COMP.10 |
Failed
|
f
|
| B5-TYPES-PRELIM-COMP.11 |
Failed
|
f
|
| B5-TYPES-PRELIM-COMP.12 |
Passed
|
ok
|
| B5-TYPES-PRELIM-COMP.13 |
Passed
|
ok
|
| B5-TYPES-PRELIM-COMP.14 |
Failed
|
f
|
| B5-TYPES-PRELIM-COMP.15 |
Failed
|
f
|
| B5-TYPES-PRELIM-COMP.16 |
Passed
|
ok
|
| B5-TYPES-PRELIM-COMP.17 |
Passed
|
ok
|
| B5-TYPES-PRELIM-COMP.18 |
Passed
|
ok
|
| B5-TYPES-PRELIM-COMP.19 |
Passed
|
ok
|
| B5-TYPES-PRELIM-COMP.20 |
Failed
|
f
|
| B5-TYPES-PRELIM-COMP.21 |
Passed
|
ok
|
| B5-TYPES-PRELIM-COMP.22 |
Passed
|
ok
|
| B5-TYPES-PRELIM-COMP.23 |
Passed
|
ok
|
| B5-TYPES-PRELIM-COMP.24 |
Failed
|
f
|
| B5-TYPES-PRELIM-COMP.25 |
Passed
|
ok
|
| B5-TYPES-PRELIM-COMP.26 |
Passed
|
ok
|
| C2-SPACES-COMP.01 |
Passed
|
ok
|
| C2-SPACES-COMP.02 |
Passed
|
ok
|
| C2-SPACES-COMP.03 |
Passed
|
ok
|
| C2-SPACES-COMP.04 |
Passed
|
ok
|
| C2-SPACES-COMP.05 |
Passed
|
ok
|
| C3-PLN-STV-COMP.01 |
Passed
|
ok
|
| C3-PLN-STV-COMP.02 |
Passed
|
ok
|
| C3-PLN-STV-COMP.03 |
Passed
|
ok
|
| C3-PLN-STV-COMP.04 |
Passed
|
ok
|
| C3-PLN-STV-COMP.05 |
Passed
|
ok
|
| D1-GADT-COMP.01 |
Passed
|
ok
|
| D1-GADT-COMP.02 |
Passed
|
ok
|
| D1-GADT-COMP.03 |
Passed
|
ok
|
| D1-GADT-COMP.04 |
Failed
|
f
|
| D1-GADT-COMP.05 |
Failed
|
f
|
| D1-GADT-COMP.06 |
Passed
|
ok
|
| D1-GADT-COMP.07 |
Passed
|
ok
|
| D1-GADT-COMP.08 |
Passed
|
ok
|
| D1-GADT-COMP.09 |
Failed
|
f
|
| D1-GADT-COMP.10 |
Passed
|
ok
|
| D1-GADT-COMP.11 |
Passed
|
ok
|
| D1-GADT-COMP.12 |
Passed
|
ok
|
| D1-GADT-COMP.13 |
Failed
|
f
|
| D1-GADT-COMP.14 |
Passed
|
ok
|
| D2-HIGHERFUNC-COMP.01 |
Passed
|
ok
|
| D2-HIGHERFUNC-COMP.02 |
Passed
|
ok
|
| D2-HIGHERFUNC-COMP.03 |
Failed
|
f
|
| D2-HIGHERFUNC-COMP.04 |
Passed
|
ok
|
| D2-HIGHERFUNC-COMP.05 |
Passed
|
ok
|
| D2-HIGHERFUNC-COMP.06 |
Passed
|
ok
|
| D2-HIGHERFUNC-COMP.07 |
Failed
|
f
|
| D2-HIGHERFUNC-COMP.08 |
Passed
|
ok
|
| D2-HIGHERFUNC-COMP.09 |
Failed
|
f
|
| D2-HIGHERFUNC-COMP.10 |
Passed
|
ok
|
| D2-HIGHERFUNC-COMP.11 |
Failed
|
f
|
| D2-HIGHERFUNC-COMP.12 |
Failed
|
f
|
| D2-HIGHERFUNC-COMP.13 |
Failed
|
f
|
| D2-HIGHERFUNC-COMP.14 |
Failed
|
f
|
| D2-HIGHERFUNC-COMP.15 |
Failed
|
f
|
| D2-HIGHERFUNC-COMP.16 |
Passed
|
ok
|
| D2-HIGHERFUNC-COMP.17 |
Passed
|
ok
|
| D2-HIGHERFUNC-COMP.18 |
Failed
|
f
|
| D2-HIGHERFUNC-COMP.19 |
Failed
|
f
|
| D2-HIGHERFUNC-COMP.20 |
Failed
|
f
|
| D2-HIGHERFUNC-COMP.21 |
Failed
|
f
|
| D2-HIGHERFUNC-COMP.22 |
Failed
|
f
|
| D2-HIGHERFUNC-COMP.23 |
Failed
|
f
|
| D2-HIGHERFUNC-COMP.24 |
Failed
|
f
|
| D2-HIGHERFUNC-COMP.25 |
Failed
|
f
|
| D2-HIGHERFUNC-COMP.26 |
Passed
|
ok
|
| D2-HIGHERFUNC-COMP.27 |
Passed
|
ok
|
| D3-DEPTYPES-COMP.01 |
Passed
|
ok
|
| D3-DEPTYPES-COMP.02 |
Passed
|
ok
|
| D3-DEPTYPES-COMP.03 |
Passed
|
ok
|
| D3-DEPTYPES-COMP.04 |
Failed
|
f
|
| D3-DEPTYPES-COMP.05 |
Failed
|
f
|
| D3-DEPTYPES-COMP.06 |
Failed
|
f
|
| D3-DEPTYPES-COMP.07 |
Failed
|
f
|
| D4-TYPE-PROP-COMP.01 |
Passed
|
ok
|
| D4-TYPE-PROP-COMP.02 |
Passed
|
ok
|
| D4-TYPE-PROP-COMP.03 |
Failed
|
f
|
| D4-TYPE-PROP-COMP.04 |
Passed
|
ok
|
| D4-TYPE-PROP-COMP.05 |
Passed
|
ok
|
| D4-TYPE-PROP-COMP.06 |
Failed
|
f
|
| D4-TYPE-PROP-COMP.07 |
Failed
|
f
|
| D4-TYPE-PROP-COMP.08 |
Failed
|
f
|
| D4-TYPE-PROP-COMP.09 |
Passed
|
ok
|
| D4-TYPE-PROP-COMP.10 |
Passed
|
ok
|
| D4-TYPE-PROP-COMP.11 |
Passed
|
ok
|
| D4-TYPE-PROP-COMP.12 |
Passed
|
ok
|
| D5-AUTO-TYPES-COMP.01 |
Failed
|
f
|
| D5-AUTO-TYPES-COMP.02 |
Failed
|
f
|
| D5-AUTO-TYPES-COMP.03 |
Failed
|
f
|
| D5-AUTO-TYPES-COMP.04 |
Failed
|
f
|
| D5-AUTO-TYPES-COMP.05 |
Failed
|
f
|
| D5-AUTO-TYPES-COMP.06 |
Failed
|
f
|
| E1-KB-WRITE-COMP.01 |
Passed
|
ok
|
| E1-KB-WRITE-COMP.02 |
Passed
|
ok
|
| E2-STATES-COMP.01 |
Failed
|
f
|
| E2-STATES-COMP.02 |
Passed
|
ok
|
| E2-STATES-COMP.03 |
Passed
|
ok
|
| E2-STATES-COMP.04 |
Passed
|
ok
|
| E2-STATES-COMP.05 |
Passed
|
ok
|
| E2-STATES-COMP.06 |
Failed
|
f
|
| E2-STATES-COMP.07 |
Failed
|
f
|
| E2-STATES-COMP.08 |
Failed
|
f
|
| E2-STATES-COMP.09 |
Failed
|
f
|
| E2-STATES-COMP.10 |
Failed
|
f
|
| E2-STATES-COMP.11 |
Passed
|
ok
|
| E3-MATCH-STATES-COMP.01 |
Failed
|
f
|
| E3-MATCH-STATES-COMP.02 |
Failed
|
f
|
| E3-MATCH-STATES-COMP.03 |
Failed
|
f
|
| E3-MATCH-STATES-COMP.04 |
Failed
|
f
|
| F1-IMPORTS-COMP.02 |
Passed
|
ok
|
| F1-MODULEA-COMP.03 |
Passed
|
ok
|
| F1-MODULEA-COMP.04 |
Passed
|
ok
|
| F1-IMPORTS-COMP.05 |
Failed
|
f
|
| F1-MODULEA-COMP.06 |
Passed
|
ok
|
| F1-MODULEA-COMP.07 |
Passed
|
ok
|
| F1-IMPORTS-COMP.08 |
Passed
|
ok
|
| F1-IMPORTS-COMP.09 |
Passed
|
ok
|
| F1-IMPORTS-COMP.10 |
Failed
|
f
|
| F1-IMPORTS-COMP.11 |
Passed
|
ok
|
| F1-IMPORTS-COMP.12 |
Passed
|
ok
|
| F1-IMPORTS-COMP.13 |
Passed
|
ok
|
| F1-IMPORTS-COMP.14 |
Passed
|
ok
|
| F1-IMPORTS-COMP.15 |
Passed
|
ok
|
| F1-IMPORTS-COMP.16 |
Passed
|
ok
|
| F1-IMPORTS-COMP.17 |
Passed
|
ok
|
| F1-IMPORTS-COMP.18 |
Passed
|
ok
|
| F1-MODULEA-COMP.01 |
Passed
|
ok
|
| F1-MODULEA-COMP.02 |
Passed
|
ok
|
| MAIN-BRANCH-COMP |
|
| TESTS4-COMP.01 |
Failed
|
f
|
| TESTS4-COMP.02 |
Failed
|
f
|
| TESTS4-COMP.03 |
Failed
|
f
|
| TESTS5-COMP.01 |
Failed
|
f
|
| TESTS5-COMP.02 |
Failed
|
f
|
| TESTS5-COMP.03 |
Failed
|
f
|
| IMPORTANT |
|
| BC-COMP.01 |
Passed
|
ok
|
| BC-COMP.02 |
Passed
|
ok
|
| BC-COMP.03 |
Passed
|
ok
|
| FISH-RIDDLE-1-NO-STATES.01 |
Passed
|
ok
|
| FISH-RIDDLE-1-NO-STATES.02 |
Passed
|
ok
|
| FISH-RIDDLE-1-NO-STATES.03 |
Passed
|
ok
|
| PUZZLE-LESS-FUNCTION-GUESSING.01 |
Passed
|
ok
|
| PUZZLE.01 |
Failed
|
f
|
| TASK1-WHOLE-ATOMS-KB0.01 |
Passed
|
ok
|
| TASK1-WHOLE-BUG-COMPILER.01 |
Passed
|
ok
|
| TASK1-WHOLE-IF.01 |
Passed
|
ok
|
| TASK1-WHOLE-KB.01 |
Passed
|
ok
|
| TASK1-WHOLE-KB-NOPRINT.01 |
Passed
|
ok
|
| TASK1-WHOLE.01 |
Passed
|
ok
|
| IMPORTANT-COMP |
|
| FISH-RIDDLE-1-NO-STATES-COMP.01 |
Passed
|
ok
|
| FISH-RIDDLE-1-NO-STATES-COMP.02 |
Passed
|
ok
|
| FISH-RIDDLE-1-NO-STATES-COMP.03 |
Passed
|
ok
|
| PUZZLE-LESS-FUNCTION-GUESSING-COMP.01 |
Passed
|
ok
|
| PUZZLE-COMP.01 |
Failed
|
f
|
| TASK1-WHOLE-ATOMS-KB0-COMP.01 |
Failed
|
f
|
| TASK1-WHOLE-BUG-COMPILER-COMP.01 |
Failed
|
f
|
| TASK1-WHOLE-IF-COMP.01 |
Failed
|
f
|
| TASK1-WHOLE-KB-COMP.01 |
Passed
|
ok
|
| TASK1-WHOLE-KB-NOPRINT-COMP.01 |
Failed
|
f
|
| TASK1-WHOLE-COMP.01 |
Passed
|
ok
|
| EASY |
|
| EFAIL.01 |
Passed
|
ok
|
| NTH.01 |
Passed
|
ok
|
| NTH.02 |
Passed
|
ok
|
| NTHX.01 |
Passed
|
ok
|
| NTHX.02 |
Passed
|
ok
|
| TEST-N2.01 |
Failed
|
f
|
| TYPES |
|
| INHERIT-TYPES-FROM-IF.01 |
Passed
|
ok
|
| INHERIT-TYPES-FROM-IF.02 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF.03 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF.04 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF.05 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF.06 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF.07 |
Passed
|
ok
|
| INHERIT-TYPES-FROM-IF.08 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF.09 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF.10 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF.11 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF.12 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF.13 |
Passed
|
ok
|
| INHERIT-TYPES-FROM-IF.14 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF.15 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF.16 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF.17 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF.18 |
Failed
|
f
|
| TYPES-COMP |
|
| INHERIT-TYPES-FROM-IF-COMP.01 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF-COMP.02 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF-COMP.03 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF-COMP.04 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF-COMP.05 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF-COMP.06 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF-COMP.07 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF-COMP.08 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF-COMP.09 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF-COMP.10 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF-COMP.11 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF-COMP.12 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF-COMP.13 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF-COMP.14 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF-COMP.15 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF-COMP.16 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF-COMP.17 |
Failed
|
f
|
| INHERIT-TYPES-FROM-IF-COMP.18 |
Failed
|
f
|
| SANITY |
|
| LET-EVAL.01 |
Failed
|
f
|
| LET-EVAL.02 |
Passed
|
ok
|
| MORE-IMPORTANT |
|
| IBC-XP.01 |
Failed
|
f
|
| IBC-XP.02 |
Passed
|
ok
|
| IBC-XP.03 |
Passed
|
ok
|
| IBC-XP.04 |
Passed
|
ok
|
| IBC-XP.05 |
Passed
|
ok
|
| IBC-XP.06 |
Passed
|
ok
|
| IBC-XP.07 |
Passed
|
ok
|
| IBC-XP.08 |
Passed
|
ok
|
| IBC-XP.09 |
Passed
|
ok
|
| IBC-XP.10 |
Failed
|
f
|
| IBC-XP.11 |
Passed
|
ok
|
| IBC-XP.12 |
Passed
|
ok
|
| IBC-XP.13 |
Failed
|
f
|
| IBC-XP.14 |
Passed
|
ok
|
| IBC-XP.15 |
Passed
|
ok
|
| IBC-XP.16 |
Passed
|
ok
|
| IBC-XP.17 |
Passed
|
ok
|
| IBC-XP.18 |
Passed
|
ok
|
| IBC-XP.19 |
Passed
|
ok
|
| IBC-XP.20 |
Passed
|
ok
|
| IBC-XP.21 |
Failed
|
f
|
| INF-CTL-MONTH-BC-CONT-XP.01 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP.02 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP.03 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP.04 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP.05 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP.06 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP.07 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP.08 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP.09 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP.10 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP.11 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP.12 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP.13 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP.14 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP.15 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP.16 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP.17 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP.18 |
Passed
|
ok
|
| INF-CTL-XP.01 |
Passed
|
ok
|
| INF-CTL-XP.02 |
Passed
|
ok
|
| INF-CTL-XP.03 |
Passed
|
ok
|
| INF-CTL-XP.04 |
Passed
|
ok
|
| INF-CTL-XP.05 |
Passed
|
ok
|
| INF-CTL-XP.06 |
Passed
|
ok
|
| INF-CTL-XP.07 |
Passed
|
ok
|
| INF-CTL-XP.08 |
Passed
|
ok
|
| INF-CTL-XP.09 |
Passed
|
ok
|
| INF-CTL-XP.10 |
Passed
|
ok
|
| INF-CTL-XP.11 |
Passed
|
ok
|
| INF-CTL-XP.12 |
Passed
|
ok
|
| INF-CTL-XP.13 |
Passed
|
ok
|
| INF-CTL-XP.14 |
Passed
|
ok
|
| INF-CTL-XP.15 |
Passed
|
ok
|
| INF-CTL-XP.16 |
Passed
|
ok
|
| INF-CTL-XP.17 |
Passed
|
ok
|
| INF-CTL-XP.18 |
Passed
|
ok
|
| MORE-IMPORTANT-COMP |
|
| IBC-XP-COMP.01 |
Passed
|
ok
|
| IBC-XP-COMP.02 |
Passed
|
ok
|
| IBC-XP-COMP.03 |
Passed
|
ok
|
| IBC-XP-COMP.04 |
Passed
|
ok
|
| IBC-XP-COMP.05 |
Passed
|
ok
|
| IBC-XP-COMP.06 |
Passed
|
ok
|
| IBC-XP-COMP.07 |
Passed
|
ok
|
| IBC-XP-COMP.08 |
Passed
|
ok
|
| IBC-XP-COMP.09 |
Passed
|
ok
|
| IBC-XP-COMP.10 |
Passed
|
ok
|
| IBC-XP-COMP.11 |
Passed
|
ok
|
| IBC-XP-COMP.13 |
Passed
|
ok
|
| IBC-XP-COMP.15 |
Passed
|
ok
|
| IBC-XP-COMP.17 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP-COMP.01 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP-COMP.02 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP-COMP.03 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP-COMP.04 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP-COMP.05 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP-COMP.06 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP-COMP.07 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP-COMP.08 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP-COMP.09 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP-COMP.10 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP-COMP.11 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP-COMP.12 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP-COMP.13 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP-COMP.14 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP-COMP.15 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP-COMP.16 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP-COMP.17 |
Passed
|
ok
|
| INF-CTL-MONTH-BC-CONT-XP-COMP.18 |
Passed
|
ok
|
| INF-CTL-XP-COMP.01 |
Passed
|
ok
|
| INF-CTL-XP-COMP.02 |
Passed
|
ok
|
| INF-CTL-XP-COMP.03 |
Passed
|
ok
|
| INF-CTL-XP-COMP.04 |
Passed
|
ok
|
| INF-CTL-XP-COMP.05 |
Passed
|
ok
|
| INF-CTL-XP-COMP.06 |
Passed
|
ok
|
| INF-CTL-XP-COMP.07 |
Passed
|
ok
|
| INF-CTL-XP-COMP.08 |
Passed
|
ok
|
| INF-CTL-XP-COMP.09 |
Passed
|
ok
|
| INF-CTL-XP-COMP.10 |
Passed
|
ok
|
| INF-CTL-XP-COMP.11 |
Passed
|
ok
|
| INF-CTL-XP-COMP.12 |
Passed
|
ok
|
| INF-CTL-XP-COMP.13 |
Passed
|
ok
|
| INF-CTL-XP-COMP.14 |
Passed
|
ok
|
| INF-CTL-XP-COMP.15 |
Passed
|
ok
|
| INF-CTL-XP-COMP.16 |
Passed
|
ok
|
| INF-CTL-XP-COMP.17 |
Passed
|
ok
|
| INF-CTL-XP-COMP.18 |
Passed
|
ok
|
| ISSUES |
|
| ALPHA-EQUALS-TESTS.01 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS.02 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS.03 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS.04 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS.05 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS.06 |
Failed
|
f
|
| ALPHA-EQUALS-TESTS.07 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS.08 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS.09 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS.10 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS.11 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS.12 |
Failed
|
f
|
| ALPHA-EQUALS-TESTS.13 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS.14 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS.15 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS.16 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS.17 |
Passed
|
ok
|
| BUG-231-CURRIED-NESTED-CALL-TEST.01 |
Passed
|
ok
|
| BUG-231-CURRIED-NESTED-CALL-TEST.02 |
Passed
|
ok
|
| BUG-231-CURRIED-NESTED-CALL-TEST.03 |
Passed
|
ok
|
| BUG-238-TEST-GET-TYPE.01 |
Passed
|
ok
|
| BUG-238-TEST-GET-TYPE.02 |
Passed
|
ok
|
| BUG-238-TEST-GET-TYPE.03 |
Passed
|
ok
|
| BUG-238-TEST-GET-TYPE.04 |
Passed
|
ok
|
| BUG-238-TEST-GET-TYPE.05 |
Passed
|
ok
|
| BUG-239-BOUND-STRING-METHOD.01 |
Passed
|
ok
|
| BUG-252-VAR-IN-FIRST-PLACE.01 |
Passed
|
ok
|
| BUG-252-VAR-IN-FIRST-PLACE.02 |
Passed
|
ok
|
| BUG-252-VAR-IN-FIRST-PLACE.03 |
Passed
|
ok
|
| MATCH-ALPHA-COROUTINING-TEST.01 |
Passed
|
ok
|
| MATCH-ALPHA-COROUTINING-TEST.02 |
Passed
|
ok
|
| MATCH-ALPHA-COROUTINING-TEST.03 |
Failed
|
f
|
| MATCH-ALPHA-COROUTINING-TEST.04 |
Failed
|
f
|
| MATCH-ALPHA-COROUTINING-TEST.05 |
Passed
|
ok
|
| MATCH-ALPHA-COROUTINING-TEST.06 |
Failed
|
f
|
| MATCH-ALPHA-COROUTINING-TEST.07 |
Failed
|
f
|
| MATCH-ALPHA-COROUTINING-TEST.08 |
Failed
|
f
|
| PYTHON-QUICK.01 |
Failed
|
f
|
| PYTHON-QUICK.02 |
Passed
|
ok
|
| PYTHON-QUICK.03 |
Failed
|
f
|
| PYTHON-QUICK.04 |
Failed
|
f
|
| PYTHON-QUICK.05 |
Failed
|
f
|
| PYTHON-QUICK.06 |
Failed
|
f
|
| PYTHON-QUICK.07 |
Failed
|
f
|
| PYTHON-QUICK.08 |
Failed
|
f
|
| PYTHON-QUICK.09 |
Failed
|
f
|
| PYTHON-QUICK.10 |
Failed
|
f
|
| PYTHON-QUICK.11 |
Failed
|
f
|
| PYTHON-QUICK.12 |
Failed
|
f
|
| ROMAN-INIT-KB.01 |
Failed
|
f
|
| ROMAN-INIT-KB.02 |
Failed
|
f
|
| ROMAN-INIT-KB.03 |
Passed
|
ok
|
| ROMAN-INIT-KB.04 |
Failed
|
f
|
| ROMAN-INIT-KB.05 |
Failed
|
f
|
| SLOW-MAP-ATOM-FROM-ROMAN.01 |
Passed
|
ok
|
| SLOW-MAP-ATOM-FROM-ROMAN.02 |
Passed
|
ok
|
| SLOW-MAP-ATOM-FROM-ROMAN.03 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.01 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.02 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.03 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.04 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.05 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.06 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.07 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.08 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.11 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.12 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.13 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.14 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.15 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.16 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.17 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.18 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.19 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.20 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.21 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.22 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.23 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.24 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.25 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.26 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.27 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.28 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.29 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.30 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.31 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.32 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.33 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.34 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.35 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.36 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.37 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.38 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.39 |
Passed
|
ok
|
| ISSUES-COMP |
|
| ALPHA-EQUALS-TESTS-COMP.01 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS-COMP.02 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS-COMP.03 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS-COMP.04 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS-COMP.05 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS-COMP.06 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS-COMP.07 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS-COMP.08 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS-COMP.09 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS-COMP.10 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS-COMP.11 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS-COMP.12 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS-COMP.13 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS-COMP.14 |
Passed
|
ok
|
| ALPHA-EQUALS-TESTS-COMP.15 |
Passed
|
ok
|
| BUG-231-CURRIED-NESTED-CALL-TEST-COMP.01 |
Passed
|
ok
|
| BUG-231-CURRIED-NESTED-CALL-TEST-COMP.02 |
Passed
|
ok
|
| BUG-231-CURRIED-NESTED-CALL-TEST-COMP.03 |
Passed
|
ok
|
| BUG-238-TEST-GET-TYPE-COMP.01 |
Passed
|
ok
|
| BUG-238-TEST-GET-TYPE-COMP.02 |
Passed
|
ok
|
| BUG-238-TEST-GET-TYPE-COMP.03 |
Passed
|
ok
|
| BUG-238-TEST-GET-TYPE-COMP.04 |
Passed
|
ok
|
| BUG-238-TEST-GET-TYPE-COMP.05 |
Passed
|
ok
|
| BUG-239-BOUND-STRING-METHOD-COMP.01 |
Failed
|
f
|
| BUG-252-VAR-IN-FIRST-PLACE-COMP.01 |
Passed
|
ok
|
| MATCH-ALPHA-COROUTINING-TEST-COMP.01 |
Passed
|
ok
|
| MATCH-ALPHA-COROUTINING-TEST-COMP.02 |
Passed
|
ok
|
| MATCH-ALPHA-COROUTINING-TEST-COMP.03 |
Failed
|
f
|
| MATCH-ALPHA-COROUTINING-TEST-COMP.04 |
Failed
|
f
|
| MATCH-ALPHA-COROUTINING-TEST-COMP.05 |
Passed
|
ok
|
| MATCH-ALPHA-COROUTINING-TEST-COMP.06 |
Failed
|
f
|
| MATCH-ALPHA-COROUTINING-TEST-COMP.07 |
Failed
|
f
|
| MATCH-ALPHA-COROUTINING-TEST-COMP.08 |
Failed
|
f
|
| ROMAN-INIT-KB-COMP.01 |
Passed
|
ok
|
| SLOW-MAP-ATOM-FROM-ROMAN-COMP.01 |
Passed
|
ok
|
| SLOW-MAP-ATOM-FROM-ROMAN-COMP.02 |
Failed
|
f
|
| SLOW-MAP-ATOM-FROM-ROMAN-COMP.03 |
Failed
|
f
|
| UNIFY-TRUE-FALSE-COMP.01 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.02 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.03 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.04 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.05 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.06 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.07 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.08 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.09 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.10 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.11 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.12 |
Failed
|
f
|
| UNIFY-TRUE-FALSE-COMP.13 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.14 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.15 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.16 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.17 |
Failed
|
f
|
| UNIFY-TRUE-FALSE-COMP.18 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.19 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.20 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.21 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.22 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.23 |
Failed
|
f
|
| UNIFY-TRUE-FALSE-COMP.24 |
Failed
|
f
|
| UNIFY-TRUE-FALSE-COMP.25 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.26 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.27 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.28 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.29 |
Failed
|
f
|
| UNIFY-TRUE-FALSE-COMP.30 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.31 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.32 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.33 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.34 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.35 |
Failed
|
f
|
| UNIFY-TRUE-FALSE-COMP.36 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.37 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.38 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.39 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE-COMP.40 |
Passed
|
ok
|
| ANTI-REGRESSION |
|
| BC-COMP.01 |
Passed
|
ok
|
| BC-COMP.02 |
Passed
|
ok
|
| BC-COMP.03 |
Passed
|
ok
|
| BCHAIN-COMP.01 |
Passed
|
ok
|
| BCHAIN-COMP.02 |
Passed
|
ok
|
| BCHAIN-COMP.03 |
Passed
|
ok
|
| BCHAIN.01 |
Failed
|
f
|
| BCHAIN.02 |
Failed
|
f
|
| BCHAIN.03 |
Failed
|
f
|
| COMMA-IS-NOT-SPECIAL.01 |
Passed
|
ok
|
| DEBUG-METTALOGTESTCURRIED.01 |
Passed
|
ok
|
| DEBUG-METTALOGTESTCURRIED.02 |
Passed
|
ok
|
| DEBUG-METTALOGTESTCURRIED.03 |
Passed
|
ok
|
| DEBUG-METTALOGTESTCURRIED.04 |
Passed
|
ok
|
| DEBUG-METTALOGTESTCURRIED.05 |
Failed
|
f
|
| METTALOGTESTCURRIED2.01 |
Passed
|
ok
|
| METTALOGTESTCURRIED2.02 |
Passed
|
ok
|
| TEST-IF-CLOSED.01 |
Passed
|
ok
|
| TEST-IF-CLOSED.02 |
Passed
|
ok
|
| TEST-IF-CLOSED.03 |
Passed
|
ok
|
| TEST-IF-CLOSED.04 |
Passed
|
ok
|
| TEST-IF-CLOSED.05 |
Passed
|
ok
|
| TEST-IF-CLOSED.06 |
Passed
|
ok
|
| TEST-IF-CLOSED.07 |
Passed
|
ok
|
| TEST-IF-CLOSED.08 |
Passed
|
ok
|
| TEST-IF-CLOSED.09 |
Passed
|
ok
|
| TEST-IF-CLOSED.10 |
Passed
|
ok
|
| TEST-IF-CLOSED.11 |
Passed
|
ok
|
| TMPMATCH2.01 |
Passed
|
ok
|