Reports Matrix

Passed 473
Failed 40
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 Failed f
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.d4_type_prop_x2 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_moduleA Passed ok
hyperon-experimental_scripts.g1_docs Passed ok
metta-morph_tests.add_atom_match Passed ok
metta-morph_tests.and_or Passed ok
metta-morph_tests.boolean_twice 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_empty_or_var Passed ok
metta-morph_tests.match_empty_same 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 Failed f
metta-morph_tests.multifunction Failed f
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
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.equalsign_t Passed ok
issues.and_or_xor_backtracking_254 Passed ok
issues.bug_206_several_unifies Passed ok
issues.bug_254_and_or_xor_backtracking_254 Passed ok
metta-wam-issue-116.test_spo_1000 Passed ok
metta-wam-issue-116.test_spo_100 Passed ok
metta-wam-issue-116.test_spo_116378 Failed f
metta-wam-issue-116.test_spo_5000 Passed ok
metta-wam-issue-145.print_graph Passed ok
metta-wam-issue-199.bug_capture_199 Passed ok
anti-regression.mettalogTestCurried2 Failed f
anti-regression.mettalogTestCurried Failed f
ordering.ordering_factorial_if2_if Passed ok
ordering.ordering_if2_if_factorial Failed f
ordering.ordering_if_if2_factorial Failed f
anti-regression.system_proofTestCurried Failed f
anti-regression.test_if_closed Passed ok
anti-regression.tmpMatch1 Passed ok
anti-regression.tmpMatch2 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 Passed ok
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
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 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-X2.01 Passed ok
D4-TYPE-PROP-X2.02 Passed ok
D4-TYPE-PROP-X2.03 Passed ok
D4-TYPE-PROP-X2.04 Passed ok
D4-TYPE-PROP-X2.05 Passed ok
D4-TYPE-PROP-X2.06 Passed ok
D4-TYPE-PROP-X2.07 Passed ok
D4-TYPE-PROP-X2.08 Passed ok
D4-TYPE-PROP-X2.09 Passed ok
D4-TYPE-PROP-X2.10 Passed ok
D4-TYPE-PROP-X2.11 Passed ok
D4-TYPE-PROP-X2.12 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
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-MODULEA.01 Passed ok
F1-MODULEA.02 Passed ok
G1-DOCS.01 Passed ok
G1-DOCS.02 Passed ok
G1-DOCS.03 Passed ok
G1-DOCS.04 Passed ok
G1-DOCS.05 Failed f
METTA-MORPH-TESTS
ADD-ATOM-MATCH.01 Passed ok
AND-OR.01 Passed ok
BOOLEAN-TWICE.01 Passed ok
BOOLEAN-TWICE.02 Passed ok
BOOLEAN-TWICE.03 Passed ok
BOOLEAN-TWICE.04 Passed ok
BOOLEAN-TWICE.05 Passed ok
BOOLEAN-TWICE.06 Passed ok
BOOLEAN-TWICE.07 Passed ok
BOOLEAN-TWICE.08 Passed ok
BOOLEAN-TWICE.09 Passed ok
BOOLEAN-TWICE.10 Passed ok
BOOLEAN-TWICE.11 Passed ok
BOOLEAN-TWICE.12 Passed ok
BOOLEAN-TWICE.13 Passed ok
BOOLEAN-TWICE.14 Passed ok
BOOLEAN-TWICE.15 Passed ok
BOOLEAN-TWICE.16 Passed ok
BOOLEAN-TWICE.17 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-EMPTY-OR-VAR.01 Passed ok
MATCH-EMPTY-OR-VAR.02 Passed ok
MATCH-EMPTY-OR-VAR.03 Passed ok
MATCH-EMPTY-OR-VAR.04 Passed ok
MATCH-EMPTY-OR-VAR.05 Passed ok
MATCH-EMPTY-OR-VAR.06 Passed ok
MATCH-EMPTY-OR-VAR.07 Passed ok
MATCH-EMPTY-OR-VAR.08 Passed ok
MATCH-EMPTY-OR-VAR.09 Passed ok
MATCH-EMPTY-SAME.01 Passed ok
MATCH-EMPTY-SAME.02 Passed ok
MATCH-EMPTY-SAME.03 Passed ok
MATCH-EMPTY-SAME.04 Passed ok
MATCH-EMPTY-SAME.05 Passed ok
MATCH-EMPTY-SAME.06 Passed ok
MATCH-EMPTY-SAME.07 Passed ok
MATCH-EMPTY-SAME.08 Passed ok
MATCH-EMPTY-SAME.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 Failed f
MATCH-VOID.04 Failed f
MATCH-VOID.05 Passed ok
MATCH-VOID.06 Passed ok
MATCH-VOID.07 Passed ok
MATCH-VOID.08 Passed ok
MATCH-VOID.09 Failed f
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
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 Passed ok
BCHAIN.02 Passed ok
BCHAIN.03 Passed ok
COMMA-IS-NOT-SPECIAL.01 Passed ok
EQUALSIGN-T.01 Passed ok
EQUALSIGN-T.02 Passed ok
EQUALSIGN-T.03 Passed ok
EQUALSIGN-T.04 Passed ok
EQUALSIGN-T.05 Passed ok
EQUALSIGN-T.06 Passed ok
METTALOGTESTCURRIED2.01 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
TMPMATCH1.01 Passed ok
TMPMATCH2.01 Passed ok
ISSUES
AND-OR-XOR-BACKTRACKING-254.01 Passed ok
AND-OR-XOR-BACKTRACKING-254.02 Passed ok
AND-OR-XOR-BACKTRACKING-254.03 Passed ok
AND-OR-XOR-BACKTRACKING-254.04 Passed ok
AND-OR-XOR-BACKTRACKING-254.05 Passed ok
AND-OR-XOR-BACKTRACKING-254.06 Passed ok
AND-OR-XOR-BACKTRACKING-254.07 Passed ok
AND-OR-XOR-BACKTRACKING-254.08 Passed ok
AND-OR-XOR-BACKTRACKING-254.09 Passed ok
AND-OR-XOR-BACKTRACKING-254.10 Passed ok
AND-OR-XOR-BACKTRACKING-254.11 Passed ok
AND-OR-XOR-BACKTRACKING-254.12 Passed ok
AND-OR-XOR-BACKTRACKING-254.13 Passed ok
AND-OR-XOR-BACKTRACKING-254.14 Passed ok
AND-OR-XOR-BACKTRACKING-254.15 Passed ok
AND-OR-XOR-BACKTRACKING-254.16 Passed ok
AND-OR-XOR-BACKTRACKING-254.17 Passed ok
AND-OR-XOR-BACKTRACKING-254.18 Passed ok
AND-OR-XOR-BACKTRACKING-254.19 Passed ok
BUG-206-SEVERAL-UNIFIES.01 Passed ok
BUG-206-SEVERAL-UNIFIES.02 Passed ok
BUG-206-SEVERAL-UNIFIES.03 Passed ok
BUG-206-SEVERAL-UNIFIES.04 Passed ok
BUG-206-SEVERAL-UNIFIES.06 Passed ok
BUG-206-SEVERAL-UNIFIES.07 Passed ok
BUG-206-SEVERAL-UNIFIES.08 Passed ok
BUG-254-AND-OR-XOR-BACKTRACKING-254.01 Passed ok
BUG-254-AND-OR-XOR-BACKTRACKING-254.02 Passed ok
BUG-254-AND-OR-XOR-BACKTRACKING-254.03 Passed ok
BUG-254-AND-OR-XOR-BACKTRACKING-254.04 Passed ok
BUG-254-AND-OR-XOR-BACKTRACKING-254.05 Passed ok
BUG-254-AND-OR-XOR-BACKTRACKING-254.06 Passed ok
BUG-254-AND-OR-XOR-BACKTRACKING-254.07 Passed ok
BUG-254-AND-OR-XOR-BACKTRACKING-254.08 Passed ok
BUG-254-AND-OR-XOR-BACKTRACKING-254.09 Passed ok
BUG-254-AND-OR-XOR-BACKTRACKING-254.10 Passed ok
BUG-254-AND-OR-XOR-BACKTRACKING-254.11 Passed ok
BUG-254-AND-OR-XOR-BACKTRACKING-254.12 Passed ok
BUG-254-AND-OR-XOR-BACKTRACKING-254.13 Passed ok
BUG-254-AND-OR-XOR-BACKTRACKING-254.14 Passed ok
BUG-254-AND-OR-XOR-BACKTRACKING-254.15 Passed ok
BUG-254-AND-OR-XOR-BACKTRACKING-254.16 Passed ok
BUG-254-AND-OR-XOR-BACKTRACKING-254.17 Passed ok
BUG-254-AND-OR-XOR-BACKTRACKING-254.18 Passed ok
BUG-254-AND-OR-XOR-BACKTRACKING-254.19 Passed ok
METTA-WAM-ISSUE-116
TEST-SPO-1000.01 Passed ok
TEST-SPO-100.01 Passed ok
TEST-SPO-5000.01 Passed ok
METTA-WAM-ISSUE-145
PRINT-GRAPH.01 Passed ok
METTA-WAM-ISSUE-199
BUG-CAPTURE-199.01 Failed f
ORDERING
ORDERING-FACTORIAL-IF2-IF.01 Passed ok
ORDERING-IF2-IF-FACTORIAL.01 Passed ok
ORDERING-IF2-IF-FACTORIAL.02 Passed ok
ORDERING-IF2-IF-FACTORIAL.03 Passed ok
ORDERING-IF2-IF-FACTORIAL.04 Passed ok
ORDERING-IF2-IF-FACTORIAL.05 Passed ok
ORDERING-IF2-IF-FACTORIAL.06 Passed ok
ORDERING-IF2-IF-FACTORIAL.07 Passed ok
ORDERING-IF2-IF-FACTORIAL.08 Passed ok
ORDERING-IF2-IF-FACTORIAL.09 Passed ok
ORDERING-IF2-IF-FACTORIAL.10 Passed ok
ORDERING-IF2-IF-FACTORIAL.11 Passed ok
ORDERING-IF2-IF-FACTORIAL.12 Passed ok
ORDERING-IF2-IF-FACTORIAL.13 Passed ok
ORDERING-IF-IF2-FACTORIAL.01 Passed ok
ORDERING-IF-IF2-FACTORIAL.02 Passed ok
ORDERING-IF-IF2-FACTORIAL.03 Passed ok
ORDERING-IF-IF2-FACTORIAL.04 Passed ok
ORDERING-IF-IF2-FACTORIAL.05 Passed ok
ORDERING-IF-IF2-FACTORIAL.06 Passed ok
ORDERING-IF-IF2-FACTORIAL.07 Passed ok
ORDERING-IF-IF2-FACTORIAL.08 Passed ok
ORDERING-IF-IF2-FACTORIAL.09 Passed ok
ORDERING-IF-IF2-FACTORIAL.10 Passed ok
ORDERING-IF-IF2-FACTORIAL.11 Passed ok

Generated by junit2html