Reports Matrix
|
|
|
|
junit
|
|
|
| MODULE-SYSTEM |
|
| 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
|
| F1-MODULEA.01 |
Passed
|
ok
|
| WHOLE-TESTS |
|
| module-system.c2_spaces |
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.c1_grounded_basic |
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 |
Passed
|
ok
|
| 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.f1_imports |
Passed
|
ok
|
| hyperon-experimental_scripts.f1_moduleA |
Passed
|
ok
|
| hyperon-experimental_scripts.g1_docs |
Passed
|
ok
|
| hyperon-mettalog_sanity.00_lang_case |
Passed
|
ok
|
| hyperon-mettalog_sanity.01_lang_inc |
Passed
|
ok
|
| hyperon-mettalog_sanity.02-curried-plus |
Passed
|
ok
|
| hyperon-mettalog_sanity.03-soring-via-insert |
Passed
|
ok
|
| hyperon-mettalog_sanity.06_match_in_space |
Passed
|
ok
|
| hyperon-mettalog_sanity.alpha_equivalence_assertions_he_744 |
Passed
|
ok
|
| hyperon-mettalog_sanity.arity_tests_mw |
Passed
|
ok
|
| hyperon-mettalog_sanity.auto_coerce_mw |
Passed
|
ok
|
| hyperon-mettalog_sanity.base_test_repr_parse_intersection |
Passed
|
ok
|
| hyperon-mettalog_sanity.call_cleanup_tests_mw |
Passed
|
ok
|
| hyperon-mettalog_sanity.call_tests_mw |
Passed
|
ok
|
| hyperon-mettalog_sanity.car_atom_bug_he_621 |
Passed
|
ok
|
| hyperon-mettalog_sanity.coerce_tests |
Passed
|
ok
|
| hyperon-mettalog_sanity.compile_tests_mw |
Failed
|
f
|
| hyperon-mettalog_sanity.delay_reduction_additional_tests_he_659 |
Passed
|
ok
|
| hyperon-mettalog_sanity.delay_reduction_second_test_he_659 |
Passed
|
ok
|
| hyperon-mettalog_sanity.delay_reduction_until_bindings_ready_he_659 |
Passed
|
ok
|
| hyperon-mettalog_sanity.differen_arities_are_fine_he_603 |
Passed
|
ok
|
| hyperon-mettalog_sanity.dont_mess_with_colons_225 |
Passed
|
ok
|
| hyperon-mettalog_sanity.duplication_semantics_he_798 |
Passed
|
ok
|
| hyperon-mettalog_sanity.eval_for_tests_mw |
Passed
|
ok
|
| hyperon-mettalog_sanity.evaluation_caching_he_553 |
Failed
|
f
|
| hyperon-mettalog_sanity.find_all_tests_mw |
Passed
|
ok
|
| hyperon-mettalog_sanity.first_answer_long |
Passed
|
ok
|
| hyperon-mettalog_sanity.first_answer |
Passed
|
ok
|
| hyperon-mettalog_sanity.flip_test |
Passed
|
ok
|
| hyperon-mettalog_sanity.functional_programming_tests |
Passed
|
ok
|
| hyperon-mettalog_sanity.hyperpose_tests |
Passed
|
ok
|
| hyperon-mettalog_sanity.idiomatic_negation_and_set_difference_he_805 |
Passed
|
ok
|
| hyperon-mettalog_sanity.index_min_functions_extra_1 |
Passed
|
ok
|
| hyperon-mettalog_sanity.index_min_functions_extra_2 |
Passed
|
ok
|
| hyperon-mettalog_sanity.index_min_functions_extra_3 |
Passed
|
ok
|
| hyperon-mettalog_sanity.inherit_or_not_tests |
Passed
|
ok
|
| hyperon-mettalog_sanity.intersection_tests |
Passed
|
ok
|
| hyperon-mettalog_sanity.is_space |
Passed
|
ok
|
| hyperon-mettalog_sanity.lambda_abstraction_bc_he_556 |
Passed
|
ok
|
| hyperon-mettalog_sanity.limit_tests |
Passed
|
ok
|
| hyperon-mettalog_sanity.math_hyphen_functions |
Passed
|
ok
|
| hyperon-mettalog_sanity.max_time_tests |
Passed
|
ok
|
| hyperon-mettalog_sanity.method_selection_tests |
Passed
|
ok
|
| hyperon-mettalog_sanity.metta_the_function |
Passed
|
ok
|
| hyperon-mettalog_sanity.minimal_metta_tests |
Passed
|
ok
|
| hyperon-mettalog_sanity.non_deterministic_functions_he_744 |
Passed
|
ok
|
| hyperon-mettalog_sanity.old_void_or_empty |
Passed
|
ok
|
| hyperon-mettalog_sanity.or_test |
Passed
|
ok
|
| hyperon-mettalog_sanity.output_load_tests |
Passed
|
ok
|
| hyperon-mettalog_sanity.partitioning_atomspaces_and_performance_he_774 |
Passed
|
ok
|
| hyperon-mettalog_sanity.quoting_scoping_he_579 |
Failed
|
f
|
| hyperon-mettalog_sanity.recursive_tuple_list_benchmark_he_394 |
Failed
|
f
|
| hyperon-mettalog_sanity.recursive_tuple_list_perf_he_394 |
Passed
|
ok
|
| hyperon-mettalog_sanity.represent_and_parse_tests |
Passed
|
ok
|
| hyperon-mettalog_sanity.rule_macros_mw |
Passed
|
ok
|
| hyperon-mettalog_sanity.rust_tests_mw |
Passed
|
ok
|
| hyperon-mettalog_sanity.sealed_test |
Passed
|
ok
|
| hyperon-mettalog_sanity.sequential_tests |
Passed
|
ok
|
| hyperon-mettalog_sanity.single_sided_matching_he_674 |
Failed
|
f
|
| hyperon-mettalog_sanity.sorting_tests |
Passed
|
ok
|
| hyperon-mettalog_sanity.sorting_tests_nats_mw |
Passed
|
ok
|
| hyperon-mettalog_sanity.space_intersection_tests |
Passed
|
ok
|
| hyperon-mettalog_sanity.space_subtraction_tests |
Passed
|
ok
|
| hyperon-mettalog_sanity.space_tests |
Passed
|
ok
|
| hyperon-mettalog_sanity.string-tests |
Passed
|
ok
|
| hyperon-mettalog_sanity.structure-tests |
Passed
|
ok
|
| hyperon-mettalog_sanity.subtraction_test |
Passed
|
ok
|
| synth_buffer.synthesize |
Passed
|
ok
|
| synth_buffer.time_synthesize_long |
Failed
|
f
|
| synth_buffer.time_synthesize |
Failed
|
f
|
| synth_buffer.time_synthesize_short |
Passed
|
ok
|
| hyperon-mettalog_sanity.tuple_type_checking_he_669 |
Failed
|
f
|
| hyperon-mettalog_sanity.type_check_basic_tests |
Passed
|
ok
|
| hyperon-mettalog_sanity.type_checking_symbol_he_673 |
Passed
|
ok
|
| hyperon-mettalog_sanity.type_filtering_tests |
Passed
|
ok
|
| hyperon-mettalog_sanity.unbounded_free_variables_he_787 |
Failed
|
f
|
| hyperon-mettalog_sanity.unify_true_false |
Passed
|
ok
|
| hyperon-mettalog_sanity.unique_test |
Passed
|
ok
|
| hyperon-mettalog_sanity.what_evals_or_not |
Passed
|
ok
|
| hyperon-mettalog_sanity.xor_test |
Passed
|
ok
|
| metta-morph_tests.and_or |
Passed
|
ok
|
| metta-morph_tests.collapse |
Passed
|
ok
|
| metta-morph_tests.factorial |
Passed
|
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_empty |
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 |
Passed
|
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 |
Passed
|
ok
|
| metta-morph_tests.superpose_nested |
Passed
|
ok
|
| metta-morph_tests.tests0 |
Failed
|
f
|
| metta-morph_tests.types2 |
Passed
|
ok
|
| metta-morph_tests.types3 |
Passed
|
ok
|
| metta-morph_tests.types |
Passed
|
ok
|
| metta-morph_tests.zeroargs |
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
|
| C1-GROUNDED-BASIC.01 |
Passed
|
ok
|
| C1-GROUNDED-BASIC.02 |
Passed
|
ok
|
| C1-GROUNDED-BASIC.03 |
Passed
|
ok
|
| C1-GROUNDED-BASIC.04 |
Passed
|
ok
|
| C1-GROUNDED-BASIC.05 |
Passed
|
ok
|
| C1-GROUNDED-BASIC.06 |
Passed
|
ok
|
| C1-GROUNDED-BASIC.07 |
Passed
|
ok
|
| C1-GROUNDED-BASIC.08 |
Passed
|
ok
|
| C1-GROUNDED-BASIC.09 |
Passed
|
ok
|
| C1-GROUNDED-BASIC.10 |
Passed
|
ok
|
| C1-GROUNDED-BASIC.11 |
Passed
|
ok
|
| C1-GROUNDED-BASIC.12 |
Passed
|
ok
|
| C1-GROUNDED-BASIC.13 |
Passed
|
ok
|
| C1-GROUNDED-BASIC.14 |
Failed
|
f
|
| C1-GROUNDED-BASIC.15 |
Failed
|
f
|
| C1-GROUNDED-BASIC.16 |
Passed
|
ok
|
| C1-GROUNDED-BASIC.17 |
Passed
|
ok
|
| C1-GROUNDED-BASIC.18 |
Passed
|
ok
|
| C1-GROUNDED-BASIC.19 |
Passed
|
ok
|
| C1-GROUNDED-BASIC.20 |
Passed
|
ok
|
| C1-GROUNDED-BASIC.21 |
Passed
|
ok
|
| C1-GROUNDED-BASIC.22 |
Passed
|
ok
|
| C1-GROUNDED-BASIC.23 |
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 |
Passed
|
ok
|
| 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 |
Passed
|
ok
|
| D2-HIGHERFUNC.22 |
Passed
|
ok
|
| 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 |
Passed
|
ok
|
| D4-TYPE-PROP.05 |
Passed
|
ok
|
| D4-TYPE-PROP.06 |
Passed
|
ok
|
| D4-TYPE-PROP.07 |
Passed
|
ok
|
| D4-TYPE-PROP.08 |
Passed
|
ok
|
| D4-TYPE-PROP.09 |
Passed
|
ok
|
| D4-TYPE-PROP.10 |
Passed
|
ok
|
| D4-TYPE-PROP.11 |
Passed
|
ok
|
| D4-TYPE-PROP.12 |
Passed
|
ok
|
| D4-TYPE-PROP.13 |
Passed
|
ok
|
| 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
|
| D4-TYPE-PROP.19 |
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 |
Passed
|
ok
|
| 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
|
| F1-IMPORTS.01 |
Passed
|
ok
|
| F1-IMPORTS.02 |
Passed
|
ok
|
| 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
|
| G1-DOCS.01 |
Failed
|
f
|
| G1-DOCS.02 |
Failed
|
f
|
| G1-DOCS.03 |
Failed
|
f
|
| G1-DOCS.04 |
Failed
|
f
|
| G1-DOCS.05 |
Failed
|
f
|
| HYPERON-METTALOG-SANITY |
|
| 00-LANG-CASE.01 |
Passed
|
ok
|
| 00-LANG-CASE.02 |
Passed
|
ok
|
| 00-LANG-CASE.03 |
Passed
|
ok
|
| 00-LANG-CASE.04 |
Passed
|
ok
|
| 00-LANG-CASE.05 |
Passed
|
ok
|
| 00-LANG-CASE.06 |
Passed
|
ok
|
| 00-LANG-CASE.07 |
Passed
|
ok
|
| 00-LANG-CASE.08 |
Passed
|
ok
|
| 00-LANG-CASE.09 |
Passed
|
ok
|
| 00-LANG-CASE.10 |
Passed
|
ok
|
| 00-LANG-CASE.11 |
Passed
|
ok
|
| 00-LANG-CASE.12 |
Passed
|
ok
|
| 00-LANG-CASE.13 |
Passed
|
ok
|
| 00-LANG-CASE.14 |
Passed
|
ok
|
| 00-LANG-CASE.15 |
Passed
|
ok
|
| 00-LANG-CASE.16 |
Passed
|
ok
|
| 00-LANG-CASE.17 |
Passed
|
ok
|
| 00-LANG-CASE.18 |
Passed
|
ok
|
| 01-LANG-INC.01 |
Passed
|
ok
|
| 01-LANG-INC.02 |
Passed
|
ok
|
| 02-CURRIED-PLUS.01 |
Passed
|
ok
|
| 03-SORING-VIA-INSERT.01 |
Passed
|
ok
|
| 03-SORING-VIA-INSERT.02 |
Passed
|
ok
|
| 03-SORING-VIA-INSERT.03 |
Passed
|
ok
|
| 03-SORING-VIA-INSERT.04 |
Passed
|
ok
|
| 03-SORING-VIA-INSERT.05 |
Passed
|
ok
|
| 03-SORING-VIA-INSERT.06 |
Passed
|
ok
|
| 06-MATCH-IN-SPACE.01 |
Passed
|
ok
|
| 06-MATCH-IN-SPACE.02 |
Passed
|
ok
|
| 06-MATCH-IN-SPACE.03 |
Passed
|
ok
|
| 06-MATCH-IN-SPACE.04 |
Passed
|
ok
|
| ALPHA-EQUIVALENCE-ASSERTIONS-HE-744.01 |
Passed
|
ok
|
| ARITY-TESTS.01 |
Failed
|
f
|
| ARITY-TESTS.02 |
Failed
|
f
|
| ARITY-TESTS.03 |
Failed
|
f
|
| ARITY-TESTS.04 |
Failed
|
f
|
| ARITY-TESTS.05 |
Failed
|
f
|
| ARITY-TESTS.06 |
Failed
|
f
|
| ARITY-TESTS.07 |
Failed
|
f
|
| ARITY-TESTS.08 |
Failed
|
f
|
| ARITY-TESTS.09 |
Failed
|
f
|
| ARITY-TESTS.10 |
Failed
|
f
|
| ARITY-TESTS.11 |
Failed
|
f
|
| ARITY-TESTS.12 |
Failed
|
f
|
| AUTO-COERCE.01 |
Passed
|
ok
|
| AUTO-COERCE.02 |
Passed
|
ok
|
| AUTO-COERCE.03 |
Passed
|
ok
|
| AUTO-COERCE.04 |
Passed
|
ok
|
| AUTO-COERCE.05 |
Passed
|
ok
|
| AUTO-COERCE.06 |
Passed
|
ok
|
| AUTO-COERCE.07 |
Passed
|
ok
|
| AUTO-COERCE.08 |
Passed
|
ok
|
| AUTO-COERCE.09 |
Passed
|
ok
|
| AUTO-COERCE.10 |
Passed
|
ok
|
| AUTO-COERCE.11 |
Passed
|
ok
|
| AUTO-COERCE.12 |
Passed
|
ok
|
| AUTO-COERCE.13 |
Passed
|
ok
|
| AUTO-COERCE.14 |
Passed
|
ok
|
| AUTO-COERCE.15 |
Passed
|
ok
|
| AUTO-COERCE.16 |
Passed
|
ok
|
| AUTO-COERCE.17 |
Passed
|
ok
|
| AUTO-COERCE.18 |
Passed
|
ok
|
| AUTO-COERCE.19 |
Passed
|
ok
|
| AUTO-COERCE.20 |
Passed
|
ok
|
| AUTO-COERCE.21 |
Passed
|
ok
|
| AUTO-COERCE.22 |
Passed
|
ok
|
| AUTO-COERCE.23 |
Passed
|
ok
|
| AUTO-COERCE.24 |
Failed
|
f
|
| AUTO-COERCE.25 |
Passed
|
ok
|
| AUTO-COERCE.26 |
Passed
|
ok
|
| AUTO-COERCE.27 |
Passed
|
ok
|
| AUTO-COERCE.28 |
Passed
|
ok
|
| AUTO-COERCE.29 |
Passed
|
ok
|
| AUTO-COERCE.30 |
Failed
|
f
|
| AUTO-COERCE.31 |
Passed
|
ok
|
| AUTO-COERCE.32 |
Passed
|
ok
|
| AUTO-COERCE.33 |
Passed
|
ok
|
| AUTO-COERCE.34 |
Failed
|
f
|
| AUTO-COERCE.35 |
Passed
|
ok
|
| AUTO-COERCE.36 |
Failed
|
f
|
| AUTO-COERCE.37 |
Passed
|
ok
|
| AUTO-COERCE.38 |
Failed
|
f
|
| AUTO-COERCE.39 |
Passed
|
ok
|
| AUTO-COERCE.40 |
Passed
|
ok
|
| AUTO-COERCE.41 |
Failed
|
f
|
| AUTO-COERCE.42 |
Passed
|
ok
|
| AUTO-COERCE.43 |
Passed
|
ok
|
| AUTO-COERCE.44 |
Failed
|
f
|
| AUTO-COERCE.45 |
Passed
|
ok
|
| AUTO-COERCE.46 |
Failed
|
f
|
| AUTO-COERCE.47 |
Failed
|
f
|
| AUTO-COERCE.48 |
Failed
|
f
|
| AUTO-COERCE.49 |
Passed
|
ok
|
| BASE-TEST-REPR-PARSE-INTERSECTION.01 |
Passed
|
ok
|
| BASE-TEST-REPR-PARSE-INTERSECTION.02 |
Passed
|
ok
|
| BASE-TEST-REPR-PARSE-INTERSECTION.03 |
Passed
|
ok
|
| BASE-TEST-REPR-PARSE-INTERSECTION.04 |
Passed
|
ok
|
| CALL-CLEANUP-TESTS.01 |
Passed
|
ok
|
| CALL-CLEANUP-TESTS.02 |
Passed
|
ok
|
| CALL-CLEANUP-TESTS.03 |
Passed
|
ok
|
| CALL-CLEANUP-TESTS.04 |
Failed
|
f
|
| CALL-CLEANUP-TESTS.05 |
Passed
|
ok
|
| CALL-CLEANUP-TESTS.06 |
Failed
|
f
|
| CALL-CLEANUP-TESTS.07 |
Passed
|
ok
|
| CALL-CLEANUP-TESTS.08 |
Passed
|
ok
|
| CALL-CLEANUP-TESTS.09 |
Passed
|
ok
|
| CALL-TESTS.01 |
Passed
|
ok
|
| CALL-TESTS.02 |
Passed
|
ok
|
| CALL-TESTS.03 |
Passed
|
ok
|
| CALL-TESTS.04 |
Passed
|
ok
|
| CALL-TESTS.05 |
Passed
|
ok
|
| CALL-TESTS.06 |
Passed
|
ok
|
| CALL-TESTS.07 |
Passed
|
ok
|
| CALL-TESTS.08 |
Passed
|
ok
|
| CALL-TESTS.09 |
Passed
|
ok
|
| CALL-TESTS.10 |
Passed
|
ok
|
| CALL-TESTS.11 |
Passed
|
ok
|
| CALL-TESTS.12 |
Passed
|
ok
|
| CALL-TESTS.13 |
Passed
|
ok
|
| CAR-ATOM-BUG-HE-621.01 |
Passed
|
ok
|
| CAR-ATOM-BUG-HE-621.02 |
Passed
|
ok
|
| CAR-ATOM-BUG-HE-621.03 |
Passed
|
ok
|
| CAR-ATOM-BUG-HE-621.04 |
Passed
|
ok
|
| COERCE-TESTS.01 |
Passed
|
ok
|
| COERCE-TESTS.02 |
Passed
|
ok
|
| COERCE-TESTS.03 |
Passed
|
ok
|
| COERCE-TESTS.04 |
Passed
|
ok
|
| COERCE-TESTS.05 |
Passed
|
ok
|
| COERCE-TESTS.06 |
Passed
|
ok
|
| COERCE-TESTS.07 |
Passed
|
ok
|
| COERCE-TESTS.08 |
Passed
|
ok
|
| COERCE-TESTS.09 |
Passed
|
ok
|
| COERCE-TESTS.10 |
Passed
|
ok
|
| COERCE-TESTS.11 |
Passed
|
ok
|
| COERCE-TESTS.12 |
Passed
|
ok
|
| COERCE-TESTS.13 |
Passed
|
ok
|
| COERCE-TESTS.14 |
Passed
|
ok
|
| COERCE-TESTS.15 |
Passed
|
ok
|
| COERCE-TESTS.16 |
Passed
|
ok
|
| COERCE-TESTS.17 |
Passed
|
ok
|
| COERCE-TESTS.18 |
Passed
|
ok
|
| COERCE-TESTS.19 |
Passed
|
ok
|
| COERCE-TESTS.20 |
Passed
|
ok
|
| COERCE-TESTS.21 |
Passed
|
ok
|
| COERCE-TESTS.22 |
Passed
|
ok
|
| COERCE-TESTS.23 |
Passed
|
ok
|
| COMPILE-TESTS.01 |
Passed
|
ok
|
| COMPILE-TESTS.02 |
Passed
|
ok
|
| COMPILE-TESTS.03 |
Failed
|
f
|
| DELAY-REDUCTION-ADDITIONAL-TESTS-HE-659.01 |
Failed
|
f
|
| DELAY-REDUCTION-ADDITIONAL-TESTS-HE-659.02 |
Failed
|
f
|
| DELAY-REDUCTION-ADDITIONAL-TESTS-HE-659.03 |
Failed
|
f
|
| DELAY-REDUCTION-SECOND-TEST-HE-659.01 |
Failed
|
f
|
| DELAY-REDUCTION-UNTIL-BINDINGS-READY-HE-659.01 |
Failed
|
f
|
| DELAY-REDUCTION-UNTIL-BINDINGS-READY-HE-659.02 |
Passed
|
ok
|
| DELAY-REDUCTION-UNTIL-BINDINGS-READY-HE-659.03 |
Passed
|
ok
|
| DELAY-REDUCTION-UNTIL-BINDINGS-READY-HE-659.04 |
Failed
|
f
|
| DIFFEREN-ARITIES-ARE-FINE-HE-603.01 |
Passed
|
ok
|
| DIFFEREN-ARITIES-ARE-FINE-HE-603.02 |
Passed
|
ok
|
| DIFFEREN-ARITIES-ARE-FINE-HE-603.03 |
Passed
|
ok
|
| DIFFEREN-ARITIES-ARE-FINE-HE-603.04 |
Passed
|
ok
|
| DIFFEREN-ARITIES-ARE-FINE-HE-603.05 |
Passed
|
ok
|
| DIFFEREN-ARITIES-ARE-FINE-HE-603.06 |
Passed
|
ok
|
| DIFFEREN-ARITIES-ARE-FINE-HE-603.07 |
Passed
|
ok
|
| DONT-MESS-WITH-COLONS-225.01 |
Failed
|
f
|
| DUPLICATION-SEMANTICS-HE-798.01 |
Passed
|
ok
|
| DUPLICATION-SEMANTICS-HE-798.02 |
Passed
|
ok
|
| DUPLICATION-SEMANTICS-HE-798.03 |
Passed
|
ok
|
| DUPLICATION-SEMANTICS-HE-798.04 |
Passed
|
ok
|
| DUPLICATION-SEMANTICS-HE-798.05 |
Passed
|
ok
|
| EVAL-FOR-TESTS.01 |
Failed
|
f
|
| EVAL-FOR-TESTS.02 |
Failed
|
f
|
| EVAL-FOR-TESTS.03 |
Passed
|
ok
|
| EVAL-FOR-TESTS.04 |
Failed
|
f
|
| EVAL-FOR-TESTS.05 |
Failed
|
f
|
| EVAL-FOR-TESTS.06 |
Passed
|
ok
|
| EVAL-FOR-TESTS.07 |
Passed
|
ok
|
| EVAL-FOR-TESTS.08 |
Passed
|
ok
|
| EVAL-FOR-TESTS.09 |
Passed
|
ok
|
| EVAL-FOR-TESTS.10 |
Passed
|
ok
|
| EVAL-FOR-TESTS.11 |
Passed
|
ok
|
| EVAL-FOR-TESTS.12 |
Failed
|
f
|
| EVAL-FOR-TESTS.13 |
Failed
|
f
|
| EVAL-FOR-TESTS.14 |
Failed
|
f
|
| EVAL-FOR-TESTS.15 |
Failed
|
f
|
| EVALUATION-CACHING-HE-553.01 |
Failed
|
f
|
| FIND-ALL-TESTS.01 |
Passed
|
ok
|
| FIND-ALL-TESTS.02 |
Passed
|
ok
|
| FIND-ALL-TESTS.03 |
Passed
|
ok
|
| FIND-ALL-TESTS.04 |
Passed
|
ok
|
| FIND-ALL-TESTS.05 |
Passed
|
ok
|
| FIND-ALL-TESTS.06 |
Passed
|
ok
|
| FIND-ALL-TESTS.07 |
Passed
|
ok
|
| FIRST-ANSWER.01 |
Failed
|
f
|
| FIRST-ANSWER.02 |
Failed
|
f
|
| FLIP-TEST.01 |
Passed
|
ok
|
| FLIP-TEST.02 |
Passed
|
ok
|
| FUNCTIONAL-PROGRAMMING-TESTS.01 |
Passed
|
ok
|
| FUNCTIONAL-PROGRAMMING-TESTS.02 |
Passed
|
ok
|
| FUNCTIONAL-PROGRAMMING-TESTS.03 |
Passed
|
ok
|
| FUNCTIONAL-PROGRAMMING-TESTS.04 |
Passed
|
ok
|
| FUNCTIONAL-PROGRAMMING-TESTS.05 |
Passed
|
ok
|
| FUNCTIONAL-PROGRAMMING-TESTS.06 |
Failed
|
f
|
| FUNCTIONAL-PROGRAMMING-TESTS.07 |
Passed
|
ok
|
| FUNCTIONAL-PROGRAMMING-TESTS.08 |
Failed
|
f
|
| FUNCTIONAL-PROGRAMMING-TESTS.09 |
Passed
|
ok
|
| HYPERPOSE-TESTS.01 |
Passed
|
ok
|
| HYPERPOSE-TESTS.02 |
Passed
|
ok
|
| HYPERPOSE-TESTS.03 |
Passed
|
ok
|
| IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.01 |
Failed
|
f
|
| IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.02 |
Failed
|
f
|
| IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.03 |
Failed
|
f
|
| IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.04 |
Failed
|
f
|
| IDIOMATIC-NEGATION-AND-SET-DIFFERENCE-HE-805.05 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.01 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.02 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.03 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.08 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.09 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.10 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.11 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.12 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.13 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.18 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.19 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.30 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.32 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.33 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.35 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.36 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.37 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.39 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.40 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.41 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.42 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.43 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.44 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.45 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.46 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.47 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.48 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.49 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.50 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.51 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.52 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.53 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.55 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.56 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.57 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.58 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.59 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-1.60 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.01 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.02 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.03 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.04 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.05 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.06 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.07 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.08 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.09 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.10 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.11 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.12 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.13 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.14 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.15 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.16 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.17 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.18 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.19 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.20 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.21 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.22 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.23 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.24 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.25 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.26 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.27 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.28 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.29 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.30 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.31 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.32 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.33 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.34 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.35 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.36 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.37 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.38 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.39 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.40 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.41 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.42 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-2.43 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.01 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.02 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.03 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.04 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.05 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.06 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.07 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.08 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.09 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.10 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.11 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.12 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.13 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.14 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.15 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.16 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.17 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.18 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.19 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.20 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.21 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.22 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.23 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.24 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.25 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.26 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.27 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.28 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.29 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.30 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.31 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.32 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.33 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.34 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.35 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.36 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.37 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.38 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.39 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.40 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.41 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.42 |
Passed
|
ok
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.43 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.44 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.45 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.46 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.47 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.48 |
Failed
|
f
|
| INDEX-MIN-FUNCTIONS-EXTRA-3.49 |
Failed
|
f
|
| INHERIT-OR-NOT-TESTS.01 |
Passed
|
ok
|
| INHERIT-OR-NOT-TESTS.02 |
Failed
|
f
|
| INHERIT-OR-NOT-TESTS.03 |
Passed
|
ok
|
| INHERIT-OR-NOT-TESTS.04 |
Passed
|
ok
|
| INHERIT-OR-NOT-TESTS.05 |
Failed
|
f
|
| INHERIT-OR-NOT-TESTS.06 |
Failed
|
f
|
| INHERIT-OR-NOT-TESTS.07 |
Passed
|
ok
|
| INHERIT-OR-NOT-TESTS.08 |
Passed
|
ok
|
| INTERSECTION-TESTS.01 |
Passed
|
ok
|
| INTERSECTION-TESTS.02 |
Passed
|
ok
|
| INTERSECTION-TESTS.03 |
Passed
|
ok
|
| INTERSECTION-TESTS.04 |
Passed
|
ok
|
| INTERSECTION-TESTS.05 |
Passed
|
ok
|
| INTERSECTION-TESTS.06 |
Passed
|
ok
|
| INTERSECTION-TESTS.07 |
Passed
|
ok
|
| INTERSECTION-TESTS.08 |
Passed
|
ok
|
| INTERSECTION-TESTS.09 |
Passed
|
ok
|
| INTERSECTION-TESTS.10 |
Passed
|
ok
|
| INTERSECTION-TESTS.11 |
Passed
|
ok
|
| INTERSECTION-TESTS.12 |
Passed
|
ok
|
| INTERSECTION-TESTS.13 |
Passed
|
ok
|
| INTERSECTION-TESTS.14 |
Passed
|
ok
|
| INTERSECTION-TESTS.15 |
Passed
|
ok
|
| INTERSECTION-TESTS.16 |
Passed
|
ok
|
| INTERSECTION-TESTS.17 |
Passed
|
ok
|
| INTERSECTION-TESTS.18 |
Passed
|
ok
|
| INTERSECTION-TESTS.19 |
Passed
|
ok
|
| INTERSECTION-TESTS.20 |
Passed
|
ok
|
| INTERSECTION-TESTS.21 |
Passed
|
ok
|
| INTERSECTION-TESTS.22 |
Passed
|
ok
|
| INTERSECTION-TESTS.24 |
Passed
|
ok
|
| INTERSECTION-TESTS.25 |
Passed
|
ok
|
| INTERSECTION-TESTS.26 |
Failed
|
f
|
| INTERSECTION-TESTS.27 |
Failed
|
f
|
| INTERSECTION-TESTS.28 |
Failed
|
f
|
| INTERSECTION-TESTS.29 |
Failed
|
f
|
| INTERSECTION-TESTS.30 |
Passed
|
ok
|
| INTERSECTION-TESTS.31 |
Failed
|
f
|
| INTERSECTION-TESTS.32 |
Passed
|
ok
|
| IS-SPACE.01 |
Passed
|
ok
|
| IS-SPACE.02 |
Passed
|
ok
|
| IS-SPACE.03 |
Passed
|
ok
|
| LAMBDA-ABSTRACTION-BC-HE-556.01 |
Failed
|
f
|
| LAMBDA-ABSTRACTION-BC-HE-556.02 |
Failed
|
f
|
| LIMIT-TESTS.01 |
Passed
|
ok
|
| LIMIT-TESTS.02 |
Passed
|
ok
|
| LIMIT-TESTS.03 |
Passed
|
ok
|
| LIMIT-TESTS.04 |
Passed
|
ok
|
| LIMIT-TESTS.05 |
Passed
|
ok
|
| LIMIT-TESTS.06 |
Passed
|
ok
|
| LIMIT-TESTS.07 |
Passed
|
ok
|
| LIMIT-TESTS.08 |
Passed
|
ok
|
| LIMIT-TESTS.09 |
Passed
|
ok
|
| LIMIT-TESTS.10 |
Passed
|
ok
|
| LIMIT-TESTS.11 |
Passed
|
ok
|
| LIMIT-TESTS.12 |
Failed
|
f
|
| LIMIT-TESTS.13 |
Passed
|
ok
|
| LIMIT-TESTS.14 |
Passed
|
ok
|
| LIMIT-TESTS.15 |
Passed
|
ok
|
| LIMIT-TESTS.16 |
Passed
|
ok
|
| LIMIT-TESTS.17 |
Passed
|
ok
|
| LIMIT-TESTS.18 |
Passed
|
ok
|
| MATH-HYPHEN-FUNCTIONS.01 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.02 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.03 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.04 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.05 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.06 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.07 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.08 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.09 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.10 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.11 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.12 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.13 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.14 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.15 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.16 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.17 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.18 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.19 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.20 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.21 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.22 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.23 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.24 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.25 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.26 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.27 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.28 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.29 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.30 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.31 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.32 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.33 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.34 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.35 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.36 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.37 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.38 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.39 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.40 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.41 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.42 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.43 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.44 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.45 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.46 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.47 |
Failed
|
f
|
| MATH-HYPHEN-FUNCTIONS.48 |
Failed
|
f
|
| MAX-TIME-TESTS.01 |
Passed
|
ok
|
| MAX-TIME-TESTS.02 |
Passed
|
ok
|
| MAX-TIME-TESTS.03 |
Passed
|
ok
|
| MAX-TIME-TESTS.04 |
Passed
|
ok
|
| MAX-TIME-TESTS.05 |
Passed
|
ok
|
| METHOD-SELECTION-TESTS.01 |
Passed
|
ok
|
| METHOD-SELECTION-TESTS.02 |
Failed
|
f
|
| METHOD-SELECTION-TESTS.03 |
Failed
|
f
|
| METHOD-SELECTION-TESTS.04 |
Failed
|
f
|
| METHOD-SELECTION-TESTS.05 |
Failed
|
f
|
| METHOD-SELECTION-TESTS.06 |
Failed
|
f
|
| METHOD-SELECTION-TESTS.07 |
Failed
|
f
|
| METHOD-SELECTION-TESTS.08 |
Failed
|
f
|
| METHOD-SELECTION-TESTS.09 |
Failed
|
f
|
| METHOD-SELECTION-TESTS.10 |
Passed
|
ok
|
| METHOD-SELECTION-TESTS.11 |
Passed
|
ok
|
| METHOD-SELECTION-TESTS.12 |
Passed
|
ok
|
| METHOD-SELECTION-TESTS.13 |
Passed
|
ok
|
| METHOD-SELECTION-TESTS.14 |
Passed
|
ok
|
| METHOD-SELECTION-TESTS.15 |
Passed
|
ok
|
| METHOD-SELECTION-TESTS.16 |
Failed
|
f
|
| METHOD-SELECTION-TESTS.17 |
Failed
|
f
|
| METHOD-SELECTION-TESTS.18 |
Failed
|
f
|
| METHOD-SELECTION-TESTS.19 |
Failed
|
f
|
| METHOD-SELECTION-TESTS.20 |
Failed
|
f
|
| METHOD-SELECTION-TESTS.21 |
Failed
|
f
|
| METHOD-SELECTION-TESTS.22 |
Failed
|
f
|
| METHOD-SELECTION-TESTS.23 |
Failed
|
f
|
| METTA-THE-FUNCTION.01 |
Passed
|
ok
|
| METTA-THE-FUNCTION.02 |
Passed
|
ok
|
| MINIMAL-METTA-TESTS.01 |
Passed
|
ok
|
| MINIMAL-METTA-TESTS.02 |
Failed
|
f
|
| MINIMAL-METTA-TESTS.03 |
Passed
|
ok
|
| MINIMAL-METTA-TESTS.04 |
Passed
|
ok
|
| MINIMAL-METTA-TESTS.05 |
Failed
|
f
|
| MINIMAL-METTA-TESTS.06 |
Passed
|
ok
|
| MINIMAL-METTA-TESTS.07 |
Failed
|
f
|
| MINIMAL-METTA-TESTS.08 |
Failed
|
f
|
| MINIMAL-METTA-TESTS.09 |
Passed
|
ok
|
| MINIMAL-METTA-TESTS.10 |
Failed
|
f
|
| MINIMAL-METTA-TESTS.11 |
Passed
|
ok
|
| MINIMAL-METTA-TESTS.12 |
Passed
|
ok
|
| MINIMAL-METTA-TESTS.13 |
Failed
|
f
|
| MINIMAL-METTA-TESTS.14 |
Passed
|
ok
|
| MINIMAL-METTA-TESTS.15 |
Passed
|
ok
|
| MINIMAL-METTA-TESTS.16 |
Failed
|
f
|
| MINIMAL-METTA-TESTS.17 |
Failed
|
f
|
| MINIMAL-METTA-TESTS.18 |
Failed
|
f
|
| MINIMAL-METTA-TESTS.19 |
Failed
|
f
|
| MINIMAL-METTA-TESTS.20 |
Failed
|
f
|
| MINIMAL-METTA-TESTS.21 |
Failed
|
f
|
| MINIMAL-METTA-TESTS.22 |
Failed
|
f
|
| MINIMAL-METTA-TESTS.23 |
Passed
|
ok
|
| MINIMAL-METTA-TESTS.24 |
Failed
|
f
|
| MINIMAL-METTA-TESTS.31 |
Failed
|
f
|
| MINIMAL-METTA-TESTS.32 |
Failed
|
f
|
| MINIMAL-METTA-TESTS.33 |
Failed
|
f
|
| MINIMAL-METTA-TESTS.34 |
Passed
|
ok
|
| MINIMAL-METTA-TESTS.35 |
Passed
|
ok
|
| MINIMAL-METTA-TESTS.38 |
Passed
|
ok
|
| MINIMAL-METTA-TESTS.39 |
Passed
|
ok
|
| MINIMAL-METTA-TESTS.42 |
Failed
|
f
|
| MINIMAL-METTA-TESTS.43 |
Failed
|
f
|
| MINIMAL-METTA-TESTS.44 |
Passed
|
ok
|
| MINIMAL-METTA-TESTS.45 |
Passed
|
ok
|
| MINIMAL-METTA-TESTS.46 |
Passed
|
ok
|
| MINIMAL-METTA-TESTS.47 |
Passed
|
ok
|
| MINIMAL-METTA-TESTS.48 |
Passed
|
ok
|
| MINIMAL-METTA-TESTS.49 |
Failed
|
f
|
| NON-DETERMINISTIC-FUNCTIONS-HE-744.01 |
Passed
|
ok
|
| NON-DETERMINISTIC-FUNCTIONS-HE-744.02 |
Passed
|
ok
|
| NON-DETERMINISTIC-FUNCTIONS-HE-744.03 |
Failed
|
f
|
| OLD-VOID-OR-EMPTY.01 |
Failed
|
f
|
| OLD-VOID-OR-EMPTY.02 |
Passed
|
ok
|
| OLD-VOID-OR-EMPTY.03 |
Failed
|
f
|
| OLD-VOID-OR-EMPTY.04 |
Passed
|
ok
|
| OLD-VOID-OR-EMPTY.05 |
Passed
|
ok
|
| OLD-VOID-OR-EMPTY.06 |
Failed
|
f
|
| OR-TEST.01 |
Passed
|
ok
|
| OR-TEST.02 |
Failed
|
f
|
| OR-TEST.03 |
Passed
|
ok
|
| OR-TEST.04 |
Passed
|
ok
|
| OR-TEST.05 |
Passed
|
ok
|
| OR-TEST.06 |
Passed
|
ok
|
| OR-TEST.07 |
Passed
|
ok
|
| OR-TEST.08 |
Passed
|
ok
|
| OR-TEST.09 |
Passed
|
ok
|
| OR-TEST.10 |
Passed
|
ok
|
| OR-TEST.11 |
Passed
|
ok
|
| OR-TEST.12 |
Passed
|
ok
|
| OR-TEST.13 |
Passed
|
ok
|
| OR-TEST.14 |
Passed
|
ok
|
| OR-TEST.15 |
Passed
|
ok
|
| OR-TEST.16 |
Passed
|
ok
|
| OR-TEST.17 |
Passed
|
ok
|
| OR-TEST.18 |
Passed
|
ok
|
| OR-TEST.19 |
Passed
|
ok
|
| OR-TEST.20 |
Failed
|
f
|
| OUTPUT-LOAD-TESTS.01 |
Passed
|
ok
|
| OUTPUT-LOAD-TESTS.02 |
Passed
|
ok
|
| OUTPUT-LOAD-TESTS.03 |
Passed
|
ok
|
| OUTPUT-LOAD-TESTS.04 |
Passed
|
ok
|
| OUTPUT-LOAD-TESTS.05 |
Passed
|
ok
|
| OUTPUT-LOAD-TESTS.06 |
Passed
|
ok
|
| OUTPUT-LOAD-TESTS.07 |
Passed
|
ok
|
| OUTPUT-LOAD-TESTS.08 |
Passed
|
ok
|
| OUTPUT-LOAD-TESTS.09 |
Passed
|
ok
|
| OUTPUT-LOAD-TESTS.10 |
Passed
|
ok
|
| OUTPUT-LOAD-TESTS.11 |
Failed
|
f
|
| OUTPUT-LOAD-TESTS.12 |
Failed
|
f
|
| OUTPUT-LOAD-TESTS.13 |
Passed
|
ok
|
| OUTPUT-LOAD-TESTS.14 |
Passed
|
ok
|
| OUTPUT-LOAD-TESTS.15 |
Failed
|
f
|
| OUTPUT-LOAD-TESTS.16 |
Passed
|
ok
|
| OUTPUT-LOAD-TESTS.17 |
Failed
|
f
|
| OUTPUT-LOAD-TESTS.19 |
Passed
|
ok
|
| OUTPUT-LOAD-TESTS.20 |
Failed
|
f
|
| OUTPUT-LOAD-TESTS.21 |
Failed
|
f
|
| PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.01 |
Passed
|
ok
|
| PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.02 |
Passed
|
ok
|
| PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.03 |
Passed
|
ok
|
| PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.04 |
Passed
|
ok
|
| PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.05 |
Passed
|
ok
|
| PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.06 |
Failed
|
f
|
| PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.07 |
Failed
|
f
|
| PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.08 |
Passed
|
ok
|
| PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.09 |
Failed
|
f
|
| PARTITIONING-ATOMSPACES-AND-PERFORMANCE-HE-774.10 |
Failed
|
f
|
| PY-TYPES-2.01 |
Passed
|
ok
|
| PY-TYPES.01 |
Passed
|
ok
|
| QUOTING-SCOPING-HE-579.01 |
Passed
|
ok
|
| QUOTING-SCOPING-HE-579.02 |
Passed
|
ok
|
| RECURSIVE-TUPLE-LIST-BENCHMARK-HE-394.01 |
Failed
|
f
|
| RECURSIVE-TUPLE-LIST-PERF-HE-394.01 |
Passed
|
ok
|
| REPRESENT-AND-PARSE-TESTS.01 |
Failed
|
f
|
| REPRESENT-AND-PARSE-TESTS.02 |
Passed
|
ok
|
| RULE-MACROS.01 |
Passed
|
ok
|
| RUST-TESTS.01 |
Failed
|
f
|
| RUST-TESTS.02 |
Failed
|
f
|
| RUST-TESTS.03 |
Passed
|
ok
|
| RUST-TESTS.04 |
Passed
|
ok
|
| RUST-TESTS.05 |
Passed
|
ok
|
| RUST-TESTS.06 |
Passed
|
ok
|
| RUST-TESTS.07 |
Passed
|
ok
|
| RUST-TESTS.08 |
Failed
|
f
|
| RUST-TESTS.09 |
Failed
|
f
|
| RUST-TESTS.10 |
Passed
|
ok
|
| SEALED-TEST.01 |
Passed
|
ok
|
| SEALED-TEST.02 |
Passed
|
ok
|
| SEALED-TEST.03 |
Passed
|
ok
|
| SEALED-TEST.04 |
Passed
|
ok
|
| SEALED-TEST.05 |
Passed
|
ok
|
| SEALED-TEST.06 |
Passed
|
ok
|
| SEALED-TEST.07 |
Passed
|
ok
|
| SEALED-TEST.08 |
Passed
|
ok
|
| SEALED-TEST.09 |
Passed
|
ok
|
| SEALED-TEST.10 |
Passed
|
ok
|
| SEQUENTIAL-TESTS.01 |
Passed
|
ok
|
| SEQUENTIAL-TESTS.02 |
Passed
|
ok
|
| SINGLE-SIDED-MATCHING-HE-674.01 |
Passed
|
ok
|
| SINGLE-SIDED-MATCHING-HE-674.02 |
Failed
|
f
|
| SORTING-TESTS.01 |
Passed
|
ok
|
| SORTING-TESTS.02 |
Passed
|
ok
|
| SORTING-TESTS.03 |
Passed
|
ok
|
| SORTING-TESTS.04 |
Passed
|
ok
|
| SORTING-TESTS.05 |
Passed
|
ok
|
| SORTING-TESTS.06 |
Passed
|
ok
|
| SORTING-TESTS.07 |
Passed
|
ok
|
| SORTING-TESTS.08 |
Passed
|
ok
|
| SORTING-TESTS.09 |
Passed
|
ok
|
| SORTING-TESTS.10 |
Passed
|
ok
|
| SORTING-TESTS.11 |
Passed
|
ok
|
| SORTING-TESTS.12 |
Passed
|
ok
|
| SORTING-TESTS.13 |
Passed
|
ok
|
| SORTING-TESTS.14 |
Passed
|
ok
|
| SORTING-TESTS.15 |
Passed
|
ok
|
| SORTING-TESTS.16 |
Passed
|
ok
|
| SORTING-TESTS.17 |
Passed
|
ok
|
| SORTING-TESTS.18 |
Passed
|
ok
|
| SORTING-TESTS.19 |
Passed
|
ok
|
| SORTING-TESTS-NATS.14 |
Failed
|
f
|
| SORTING-TESTS-NATS.15 |
Failed
|
f
|
| SORTING-TESTS-NATS.16 |
Failed
|
f
|
| SORTING-TESTS-NATS.17 |
Failed
|
f
|
| SORTING-TESTS-NATS.18 |
Failed
|
f
|
| SORTING-TESTS-NATS.19 |
Failed
|
f
|
| SORTING-TESTS-NATS.20 |
Failed
|
f
|
| SORTING-TESTS-NATS.21 |
Failed
|
f
|
| SORTING-TESTS-NATS.22 |
Failed
|
f
|
| SORTING-TESTS-NATS.23 |
Failed
|
f
|
| SORTING-TESTS-NATS.24 |
Failed
|
f
|
| SORTING-TESTS-NATS.25 |
Failed
|
f
|
| SORTING-TESTS-NATS.26 |
Failed
|
f
|
| SORTING-TESTS-NATS.27 |
Failed
|
f
|
| SORTING-TESTS-NATS.28 |
Passed
|
ok
|
| SORTING-TESTS-NATS.29 |
Failed
|
f
|
| SORTING-TESTS-NATS.30 |
Failed
|
f
|
| SORTING-TESTS-NATS.31 |
Passed
|
ok
|
| SORTING-TESTS-NATS.32 |
Failed
|
f
|
| SORTING-TESTS-NATS.33 |
Failed
|
f
|
| SORTING-TESTS-NATS.34 |
Passed
|
ok
|
| SORTING-TESTS-NATS.35 |
Passed
|
ok
|
| SORTING-TESTS-NATS.36 |
Passed
|
ok
|
| SORTING-TESTS-NATS.37 |
Passed
|
ok
|
| SORTING-TESTS-NATS.38 |
Failed
|
f
|
| SORTING-TESTS-NATS.39 |
Failed
|
f
|
| SORTING-TESTS-NATS.40 |
Failed
|
f
|
| SPACE-INTERSECTION-TESTS.01 |
Passed
|
ok
|
| SPACE-INTERSECTION-TESTS.02 |
Passed
|
ok
|
| SPACE-INTERSECTION-TESTS.03 |
Passed
|
ok
|
| SPACE-INTERSECTION-TESTS.04 |
Passed
|
ok
|
| SPACE-INTERSECTION-TESTS.05 |
Failed
|
f
|
| SPACE-INTERSECTION-TESTS.06 |
Failed
|
f
|
| SPACE-INTERSECTION-TESTS.07 |
Failed
|
f
|
| SPACE-SUBTRACTION-TESTS.01 |
Passed
|
ok
|
| SPACE-SUBTRACTION-TESTS.02 |
Passed
|
ok
|
| SPACE-SUBTRACTION-TESTS.03 |
Passed
|
ok
|
| SPACE-SUBTRACTION-TESTS.04 |
Passed
|
ok
|
| SPACE-SUBTRACTION-TESTS.05 |
Passed
|
ok
|
| SPACE-SUBTRACTION-TESTS.06 |
Passed
|
ok
|
| SPACE-SUBTRACTION-TESTS.07 |
Passed
|
ok
|
| SPACE-SUBTRACTION-TESTS.08 |
Passed
|
ok
|
| SPACE-TESTS.01 |
Passed
|
ok
|
| SPACE-TESTS.02 |
Passed
|
ok
|
| SPACE-TESTS.03 |
Passed
|
ok
|
| SPACE-TESTS.04 |
Passed
|
ok
|
| SPACE-TESTS.05 |
Passed
|
ok
|
| SPACE-TESTS.06 |
Passed
|
ok
|
| SPACE-TESTS.07 |
Passed
|
ok
|
| SPACE-TESTS.08 |
Passed
|
ok
|
| SPACE-TESTS.09 |
Passed
|
ok
|
| SPACE-TESTS.10 |
Passed
|
ok
|
| SPACE-TESTS.11 |
Passed
|
ok
|
| SPACE-TESTS.12 |
Passed
|
ok
|
| SPACE-TESTS.13 |
Passed
|
ok
|
| SPACE-TESTS.14 |
Failed
|
f
|
| STRING-TESTS.01 |
Passed
|
ok
|
| STRING-TESTS.02 |
Passed
|
ok
|
| STRING-TESTS.03 |
Passed
|
ok
|
| STRING-TESTS.04 |
Passed
|
ok
|
| STRING-TESTS.05 |
Passed
|
ok
|
| STRING-TESTS.06 |
Passed
|
ok
|
| STRING-TESTS.07 |
Passed
|
ok
|
| STRING-TESTS.08 |
Passed
|
ok
|
| STRING-TESTS.09 |
Passed
|
ok
|
| STRING-TESTS.10 |
Passed
|
ok
|
| STRING-TESTS.11 |
Passed
|
ok
|
| STRING-TESTS.12 |
Passed
|
ok
|
| STRING-TESTS.13 |
Passed
|
ok
|
| STRING-TESTS.14 |
Passed
|
ok
|
| STRING-TESTS.15 |
Passed
|
ok
|
| STRING-TESTS.16 |
Passed
|
ok
|
| STRING-TESTS.17 |
Passed
|
ok
|
| STRING-TESTS.18 |
Passed
|
ok
|
| STRING-TESTS.19 |
Passed
|
ok
|
| STRING-TESTS.20 |
Passed
|
ok
|
| STRING-TESTS.21 |
Passed
|
ok
|
| STRUCTURE-TESTS.01 |
Passed
|
ok
|
| SUBTRACTION-TEST.01 |
Passed
|
ok
|
| SUBTRACTION-TEST.02 |
Passed
|
ok
|
| SUBTRACTION-TEST.03 |
Passed
|
ok
|
| SUBTRACTION-TEST.04 |
Passed
|
ok
|
| SUBTRACTION-TEST.05 |
Passed
|
ok
|
| SUBTRACTION-TEST.06 |
Passed
|
ok
|
| SUBTRACTION-TEST.07 |
Passed
|
ok
|
| SUBTRACTION-TEST.08 |
Passed
|
ok
|
| SUBTRACTION-TEST.09 |
Passed
|
ok
|
| SUBTRACTION-TEST.10 |
Passed
|
ok
|
| TUPLE-TYPE-CHECKING-HE-669.01 |
Failed
|
f
|
| TUPLE-TYPE-CHECKING-HE-669.02 |
Failed
|
f
|
| TUPLE-TYPE-CHECKING-HE-669.03 |
Failed
|
f
|
| TYPE-CHECK-BASIC-TESTS.01 |
Passed
|
ok
|
| TYPE-CHECK-BASIC-TESTS.02 |
Passed
|
ok
|
| TYPE-CHECK-BASIC-TESTS.03 |
Failed
|
f
|
| TYPE-CHECK-BASIC-TESTS.04 |
Passed
|
ok
|
| TYPE-CHECK-BASIC-TESTS.05 |
Failed
|
f
|
| TYPE-CHECK-BASIC-TESTS.06 |
Passed
|
ok
|
| TYPE-CHECK-BASIC-TESTS.07 |
Passed
|
ok
|
| TYPE-CHECK-BASIC-TESTS.08 |
Passed
|
ok
|
| TYPE-CHECK-BASIC-TESTS.09 |
Passed
|
ok
|
| TYPE-CHECK-BASIC-TESTS.10 |
Passed
|
ok
|
| TYPE-CHECK-BASIC-TESTS.11 |
Passed
|
ok
|
| TYPE-CHECK-BASIC-TESTS.12 |
Passed
|
ok
|
| TYPE-CHECK-BASIC-TESTS.13 |
Passed
|
ok
|
| TYPE-CHECK-BASIC-TESTS.14 |
Passed
|
ok
|
| TYPE-CHECK-BASIC-TESTS.15 |
Passed
|
ok
|
| TYPE-CHECKING-SYMBOL-HE-673.01 |
Passed
|
ok
|
| TYPE-CHECKING-SYMBOL-HE-673.02 |
Failed
|
f
|
| TYPE-CHECKING-SYMBOL-HE-673.03 |
Failed
|
f
|
| TYPE-CHECKING-SYMBOL-HE-673.04 |
Passed
|
ok
|
| TYPE-CHECKING-SYMBOL-HE-673.05 |
Failed
|
f
|
| TYPE-CHECKING-SYMBOL-HE-673.06 |
Failed
|
f
|
| TYPE-CHECKING-SYMBOL-HE-673.07 |
Failed
|
f
|
| TYPE-CHECKING-SYMBOL-HE-673.08 |
Failed
|
f
|
| TYPE-CHECKING-SYMBOL-HE-673.09 |
Failed
|
f
|
| TYPE-CHECKING-SYMBOL-HE-673.10 |
Failed
|
f
|
| TYPE-CHECKING-SYMBOL-HE-673.11 |
Failed
|
f
|
| TYPE-CHECKING-SYMBOL-HE-673.12 |
Failed
|
f
|
| TYPE-FILTERING-TESTS.01 |
Passed
|
ok
|
| TYPE-FILTERING-TESTS.02 |
Passed
|
ok
|
| TYPE-FILTERING-TESTS.03 |
Passed
|
ok
|
| TYPE-FILTERING-TESTS.04 |
Passed
|
ok
|
| TYPE-FILTERING-TESTS.05 |
Passed
|
ok
|
| TYPE-FILTERING-TESTS.06 |
Passed
|
ok
|
| TYPE-FILTERING-TESTS.07 |
Passed
|
ok
|
| TYPE-FILTERING-TESTS.08 |
Passed
|
ok
|
| TYPE-FILTERING-TESTS.09 |
Passed
|
ok
|
| TYPE-FILTERING-TESTS.10 |
Passed
|
ok
|
| TYPE-FILTERING-TESTS.11 |
Passed
|
ok
|
| TYPE-FILTERING-TESTS.12 |
Passed
|
ok
|
| TYPE-FILTERING-TESTS.13 |
Passed
|
ok
|
| TYPE-FILTERING-TESTS.14 |
Passed
|
ok
|
| TYPE-FILTERING-TESTS.15 |
Passed
|
ok
|
| TYPE-FILTERING-TESTS.16 |
Passed
|
ok
|
| TYPE-FILTERING-TESTS.17 |
Passed
|
ok
|
| TYPE-FILTERING-TESTS.18 |
Passed
|
ok
|
| TYPE-FILTERING-TESTS.19 |
Passed
|
ok
|
| TYPE-FILTERING-TESTS.20 |
Passed
|
ok
|
| TYPE-FILTERING-TESTS.21 |
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 |
Failed
|
f
|
| UNIFY-TRUE-FALSE.07 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.08 |
Failed
|
f
|
| UNIFY-TRUE-FALSE.09 |
Passed
|
ok
|
| UNIFY-TRUE-FALSE.10 |
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
|
| UNIQUE-TEST.01 |
Passed
|
ok
|
| UNIQUE-TEST.02 |
Passed
|
ok
|
| UNIQUE-TEST.03 |
Passed
|
ok
|
| UNIQUE-TEST.04 |
Passed
|
ok
|
| UNIQUE-TEST.05 |
Passed
|
ok
|
| UNIQUE-TEST.06 |
Passed
|
ok
|
| UNIQUE-TEST.07 |
Passed
|
ok
|
| UNIQUE-TEST.08 |
Passed
|
ok
|
| UNIQUE-TEST.09 |
Passed
|
ok
|
| UNIQUE-TEST.10 |
Passed
|
ok
|
| UNIQUE-TEST.11 |
Passed
|
ok
|
| UNIQUE-TEST.12 |
Passed
|
ok
|
| UNIQUE-TEST.13 |
Passed
|
ok
|
| UNIQUE-TEST.14 |
Passed
|
ok
|
| WHAT-EVALS-OR-NOT.01 |
Failed
|
f
|
| WHAT-EVALS-OR-NOT.02 |
Failed
|
f
|
| WHAT-EVALS-OR-NOT.03 |
Passed
|
ok
|
| WHAT-EVALS-OR-NOT.04 |
Passed
|
ok
|
| WHAT-EVALS-OR-NOT.05 |
Passed
|
ok
|
| WHAT-EVALS-OR-NOT.06 |
Passed
|
ok
|
| WHAT-EVALS-OR-NOT.07 |
Failed
|
f
|
| WHAT-EVALS-OR-NOT.08 |
Failed
|
f
|
| WHAT-EVALS-OR-NOT.09 |
Failed
|
f
|
| XOR-TEST.01 |
Passed
|
ok
|
| XOR-TEST.02 |
Passed
|
ok
|
| XOR-TEST.03 |
Passed
|
ok
|
| XOR-TEST.04 |
Passed
|
ok
|
| XOR-TEST.05 |
Passed
|
ok
|
| XOR-TEST.06 |
Passed
|
ok
|
| XOR-TEST.07 |
Passed
|
ok
|
| XOR-TEST.08 |
Passed
|
ok
|
| XOR-TEST.09 |
Passed
|
ok
|
| XOR-TEST.10 |
Passed
|
ok
|
| XOR-TEST.11 |
Passed
|
ok
|
| SYNTH-BUFFER |
|
| SYNTHESIZE.01 |
Failed
|
f
|
| TIME-SYNTHESIZE-LONG.01 |
Passed
|
ok
|
| TIME-SYNTHESIZE-LONG.02 |
Failed
|
f
|
| TIME-SYNTHESIZE-LONG.03 |
Failed
|
f
|
| TIME-SYNTHESIZE.01 |
Passed
|
ok
|
| TIME-SYNTHESIZE.02 |
Failed
|
f
|
| TIME-SYNTHESIZE-SHORT.01 |
Passed
|
ok
|
| TIME-SYNTHESIZE-SHORT.02 |
Failed
|
f
|
| TIME-SYNTHESIZE-SHORT.03 |
Failed
|
f
|
| METTA-MORPH-TESTS |
|
| AND-OR.01 |
Passed
|
ok
|
| COLLAPSE.01 |
Passed
|
ok
|
| FACTORIAL.01 |
Passed
|
ok
|
| FACTORIAL.02 |
Passed
|
ok
|
| HYPERPOSE.01 |
Passed
|
ok
|
| HYPERPOSE.02 |
Passed
|
ok
|
| HYPERPOSE.03 |
Passed
|
ok
|
| HYPERPOSE.04 |
Passed
|
ok
|
| HYPERPOSE.05 |
Passed
|
ok
|
| HYPERPOSE.06 |
Passed
|
ok
|
| HYPERPOSE.07 |
Passed
|
ok
|
| HYPERPOSE.08 |
Passed
|
ok
|
| 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-EMPTY.01 |
Passed
|
ok
|
| MATCH-EMPTY.02 |
Passed
|
ok
|
| MATCH-EMPTY.03 |
Passed
|
ok
|
| MATCH-EMPTY.04 |
Passed
|
ok
|
| MATCH-EMPTY.05 |
Passed
|
ok
|
| MATCH-EMPTY.06 |
Passed
|
ok
|
| MATCH-EMPTY.07 |
Passed
|
ok
|
| MATCH-EMPTY.08 |
Passed
|
ok
|
| MATCH-EMPTY.09 |
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
|
| MINNARS.01 |
Passed
|
ok
|
| MULTIFUNCTION.01 |
Passed
|
ok
|
| NALIFIER.01 |
Passed
|
ok
|
| 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
|
| SUPERCOLLAPSE.04 |
Passed
|
ok
|
| SUPERCOLLAPSE.05 |
Passed
|
ok
|
| SUPERCOLLAPSE.06 |
Passed
|
ok
|
| SUPERCOLLAPSE.07 |
Passed
|
ok
|
| SUPERCOLLAPSE.08 |
Passed
|
ok
|
| SUPERPOSE-NESTED.01 |
Passed
|
ok
|
| SUPERPOSE-NESTED.02 |
Passed
|
ok
|
| SUPERPOSE-NESTED.03 |
Passed
|
ok
|
| SUPERPOSE-NESTED.04 |
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
|