Skip to content
CI Job to Generate JUnit Reports with Diff and Allure Reports

Update README.md #21

Sign in to view logs

Update README.md

Update README.md #21

GitHub Actions / JUnit Results succeeded Aug 14, 2024 in 1s

416 passed, 23 failed and 0 skipped

Tests failed

❌ junit.xml

439 tests were completed in NaNms with 416 passed, 23 failed and 0 skipped.

Test suite Passed Failed Skipped Time
ANTI-REGRESSION 58✅ 1❌ NaNms
HYPERON-EXPERIMENTAL-SCRIPTS 200✅ 21❌ NaNms
HYPERON-METTALOG-SANITY 45✅ NaNms
METTA-MORPH-TESTS 91✅ NaNms
MODULE-SYSTEM 22✅ 1❌ NaNms

❌ ANTI-REGRESSION

✅ BC-COMP.01
✅ BC-COMP.02
✅ BC-COMP.03
✅ BC-COMP.04
✅ BC-COMP.05
✅ BC-COMP.06
✅ BCHAIN-COMP.01
✅ BCHAIN-COMP.02
✅ BCHAIN-COMP.03
✅ BCHAIN-COMP.04
✅ BCHAIN-COMP.05
✅ BCHAIN-COMP.06
✅ BCHAIN.01
✅ BCHAIN.02
✅ BCHAIN.03
✅ BCHAIN.04
✅ BCHAIN.05
✅ BCHAIN.06
✅ COMMA-IS-NOT-SPECIAL.01
✅ DEBUG-METTALOGTESTCURRIED.01
✅ DEBUG-METTALOGTESTCURRIED.02
✅ DEBUG-METTALOGTESTCURRIED.03
✅ DEBUG-METTALOGTESTCURRIED.04
✅ DEBUG-METTALOGTESTCURRIED.05
✅ DEBUG-METTALOGTESTCURRIED.06
✅ DEBUG-METTALOGTESTCURRIED.07
✅ DEBUG-METTALOGTESTCURRIED.08
❌ DEBUG-METTALOGTESTCURRIED.09
	<![CDATA[
✅ DEBUG-METTALOGTESTCURRIED.10
✅ DEBUG-METTALOGTESTCURRIED.11
✅ DEBUG-METTALOGTESTCURRIED.12
✅ METTALOGTESTCURRIED2.01
✅ METTALOGTESTCURRIED2.02
✅ METTALOGTESTCURRIED2.03
✅ METTALOGTESTCURRIED2.04
✅ METTALOGTESTCURRIED2.05
✅ METTALOGTESTCURRIED2.06
✅ METTALOGTESTCURRIED2.07
✅ TEST-IF-CLOSED.01
✅ TEST-IF-CLOSED.02
✅ TEST-IF-CLOSED.03
✅ TEST-IF-CLOSED.04
✅ TEST-IF-CLOSED.05
✅ TEST-IF-CLOSED.06
✅ TEST-IF-CLOSED.07
✅ TEST-IF-CLOSED.08
✅ TEST-IF-CLOSED.09
✅ TEST-IF-CLOSED.10
✅ TEST-IF-CLOSED.11
✅ TMPMATCH1.01
✅ TMPMATCH1.02
✅ TMPMATCH1.03
✅ TMPMATCH1.04
✅ TMPMATCH1.05
✅ TMPMATCH2.01
✅ TMPMATCH2.02
✅ TMPMATCH2.03
✅ TMPMATCH2.04
✅ TMPMATCH2.05

❌ HYPERON-EXPERIMENTAL-SCRIPTS

✅ A1-SYMBOLS.01
✅ A1-SYMBOLS.02
✅ A1-SYMBOLS.03
✅ A1-SYMBOLS.04
✅ A1-SYMBOLS.05
✅ A1-SYMBOLS.06
✅ A1-SYMBOLS.07
✅ A2-OPENCOGGY.01
✅ A3-TWOSIDE.01
✅ A3-TWOSIDE.02
✅ A3-TWOSIDE.03
✅ A3-TWOSIDE.04
✅ B0-CHAINING-PRELIM.01
✅ B0-CHAINING-PRELIM.02
✅ B0-CHAINING-PRELIM.03
✅ B0-CHAINING-PRELIM.04
✅ B0-CHAINING-PRELIM.05
✅ B1-EQUAL-CHAIN.01
✅ B1-EQUAL-CHAIN.02
✅ B1-EQUAL-CHAIN.03
✅ B1-EQUAL-CHAIN.04
✅ B1-EQUAL-CHAIN.05
✅ B1-EQUAL-CHAIN.06
✅ B2-BACKCHAIN.01
✅ B2-BACKCHAIN.02
✅ B2-BACKCHAIN.03
✅ B2-BACKCHAIN.04
✅ B2-BACKCHAIN.05
✅ B3-DIRECT.01
✅ B3-DIRECT.02
✅ B3-DIRECT.03
✅ B4-NONDETERM.01
✅ B4-NONDETERM.02
✅ B4-NONDETERM.03
✅ B4-NONDETERM.04
✅ B4-NONDETERM.05
✅ B4-NONDETERM.06
✅ B4-NONDETERM.07
✅ B4-NONDETERM.08
✅ B4-NONDETERM.09
✅ B4-NONDETERM.10
✅ B4-NONDETERM.11
✅ B5-TYPES-PRELIM.01
❌ B5-TYPES-PRELIM.02
	<![CDATA[
✅ B5-TYPES-PRELIM.03
✅ B5-TYPES-PRELIM.04
✅ B5-TYPES-PRELIM.05
✅ B5-TYPES-PRELIM.06
✅ B5-TYPES-PRELIM.07
❌ B5-TYPES-PRELIM.08
	<![CDATA[
✅ B5-TYPES-PRELIM.09
✅ B5-TYPES-PRELIM.10
❌ B5-TYPES-PRELIM.11
	<![CDATA[
✅ B5-TYPES-PRELIM.12
✅ B5-TYPES-PRELIM.13
❌ B5-TYPES-PRELIM.14
	<![CDATA[
❌ B5-TYPES-PRELIM.15
	<![CDATA[
✅ B5-TYPES-PRELIM.16
✅ B5-TYPES-PRELIM.17
✅ B5-TYPES-PRELIM.18
✅ B5-TYPES-PRELIM.19
✅ B5-TYPES-PRELIM.20
✅ B5-TYPES-PRELIM.21
✅ B5-TYPES-PRELIM.22
✅ B5-TYPES-PRELIM.23
❌ B5-TYPES-PRELIM.24
	<![CDATA[
✅ B5-TYPES-PRELIM.25
✅ B5-TYPES-PRELIM.26
✅ C1-GROUNDED-BASIC.01
✅ C1-GROUNDED-BASIC.02
✅ C1-GROUNDED-BASIC.03
✅ C1-GROUNDED-BASIC.04
✅ C1-GROUNDED-BASIC.05
✅ C1-GROUNDED-BASIC.06
✅ C1-GROUNDED-BASIC.07
✅ C1-GROUNDED-BASIC.08
✅ C1-GROUNDED-BASIC.09
✅ C1-GROUNDED-BASIC.10
✅ C1-GROUNDED-BASIC.11
✅ C1-GROUNDED-BASIC.12
✅ C1-GROUNDED-BASIC.13
❌ C1-GROUNDED-BASIC.14
	<![CDATA[
❌ C1-GROUNDED-BASIC.15
	<![CDATA[
✅ C1-GROUNDED-BASIC.16
✅ C1-GROUNDED-BASIC.17
✅ C1-GROUNDED-BASIC.18
✅ C1-GROUNDED-BASIC.19
✅ C1-GROUNDED-BASIC.20
✅ C1-GROUNDED-BASIC.21
✅ C1-GROUNDED-BASIC.22
✅ C1-GROUNDED-BASIC.23
✅ C2-SPACES.01
✅ C2-SPACES.02
✅ C2-SPACES.03
✅ C2-SPACES.04
✅ C2-SPACES.05
✅ C3-PLN-STV.01
✅ C3-PLN-STV.02
✅ C3-PLN-STV.03
✅ C3-PLN-STV.04
✅ C3-PLN-STV.05
✅ D1-GADT.01
✅ D1-GADT.02
✅ D1-GADT.03
✅ D1-GADT.04
✅ D1-GADT.05
✅ D1-GADT.06
✅ D1-GADT.07
✅ D1-GADT.08
✅ D1-GADT.09
✅ D1-GADT.10
✅ D1-GADT.11
✅ D1-GADT.12
✅ D1-GADT.13
✅ D1-GADT.14
✅ D2-HIGHERFUNC.01
✅ D2-HIGHERFUNC.02
✅ D2-HIGHERFUNC.03
✅ D2-HIGHERFUNC.04
✅ D2-HIGHERFUNC.05
✅ D2-HIGHERFUNC.06
❌ D2-HIGHERFUNC.07
	<![CDATA[
✅ D2-HIGHERFUNC.08
✅ D2-HIGHERFUNC.09
✅ D2-HIGHERFUNC.10
✅ D2-HIGHERFUNC.11
✅ D2-HIGHERFUNC.12
✅ D2-HIGHERFUNC.13
✅ D2-HIGHERFUNC.14
✅ D2-HIGHERFUNC.15
✅ D2-HIGHERFUNC.16
✅ D2-HIGHERFUNC.17
✅ D2-HIGHERFUNC.18
✅ D2-HIGHERFUNC.19
✅ D2-HIGHERFUNC.20
✅ D2-HIGHERFUNC.21
✅ D2-HIGHERFUNC.22
✅ D2-HIGHERFUNC.23
✅ D2-HIGHERFUNC.24
✅ D2-HIGHERFUNC.25
✅ D2-HIGHERFUNC.26
✅ D2-HIGHERFUNC.27
✅ D3-DEPTYPES.01
✅ D3-DEPTYPES.02
✅ D3-DEPTYPES.03
✅ D3-DEPTYPES.04
✅ D3-DEPTYPES.05
✅ D3-DEPTYPES.06
✅ D3-DEPTYPES.07
✅ D4-TYPE-PROP.01
✅ D4-TYPE-PROP.02
✅ D4-TYPE-PROP.03
✅ D4-TYPE-PROP.04
✅ D4-TYPE-PROP.05
✅ D4-TYPE-PROP.06
✅ D4-TYPE-PROP.07
✅ D4-TYPE-PROP.08
✅ D4-TYPE-PROP.09
✅ D4-TYPE-PROP.10
✅ D4-TYPE-PROP.11
✅ D4-TYPE-PROP.12
✅ D4-TYPE-PROP.13
✅ D4-TYPE-PROP.14
✅ D4-TYPE-PROP.15
✅ D4-TYPE-PROP.16
✅ D4-TYPE-PROP.17
✅ D4-TYPE-PROP.18
✅ D4-TYPE-PROP.19
✅ D4-TYPE-PROP.20
✅ D4-TYPE-PROP.21
✅ D4-TYPE-PROP.22
✅ D4-TYPE-PROP.23
❌ D5-AUTO-TYPES.01
	<![CDATA[
❌ D5-AUTO-TYPES.02
	<![CDATA[
❌ D5-AUTO-TYPES.03
	<![CDATA[
❌ D5-AUTO-TYPES.04
	<![CDATA[
❌ D5-AUTO-TYPES.05
	<![CDATA[
❌ D5-AUTO-TYPES.06
	<![CDATA[
✅ E1-KB-WRITE.01
✅ E1-KB-WRITE.02
✅ E2-STATES.01
✅ E2-STATES.02
✅ E2-STATES.03
✅ E2-STATES.04
✅ E2-STATES.05
✅ E2-STATES.06
❌ E2-STATES.07
	<![CDATA[
❌ E2-STATES.08
	<![CDATA[
✅ E2-STATES.09
✅ E2-STATES.10
✅ E2-STATES.11
✅ E2-STATES.12
✅ E3-MATCH-STATES.01
✅ E3-MATCH-STATES.02
❌ E3-MATCH-STATES.03
	<![CDATA[
✅ E3-MATCH-STATES.04
❌ E3-MATCH-STATES.05
	<![CDATA[
❌ E3-MATCH-STATES.06
	<![CDATA[
✅ F1-IMPORTS.01
✅ F1-IMPORTS.02
✅ F1-IMPORTS.03
✅ F1-MODULEA.04
✅ F1-MODULEA.05
✅ F1-IMPORTS.06
✅ F1-MODULEA.07
✅ F1-MODULEA.08
✅ F1-MODULEA.09
✅ F1-MODULEA.10
✅ F1-IMPORTS.11
✅ F1-IMPORTS.12
❌ F1-IMPORTS.13
	<![CDATA[
✅ F1-IMPORTS.14
✅ F1-IMPORTS.15
✅ F1-IMPORTS.16
✅ F1-IMPORTS.17
✅ F1-IMPORTS.18
✅ F1-IMPORTS.19
✅ F1-IMPORTS.20
✅ F1-IMPORTS.21
✅ F1-MODULEA.01
✅ F1-MODULEA.02

✅ HYPERON-METTALOG-SANITY

✅ 00-LANG-CASE.01
✅ 00-LANG-CASE.02
✅ 00-LANG-CASE.03
✅ 00-LANG-CASE.04
✅ 00-LANG-CASE.05
✅ 00-LANG-CASE.06
✅ 00-LANG-CASE.07
✅ 00-LANG-CASE.08
✅ 00-LANG-CASE.09
✅ 00-LANG-CASE.10
✅ 00-LANG-CASE.11
✅ 00-LANG-CASE.12
✅ 00-LANG-CASE.13
✅ 00-LANG-CASE.14
✅ 00-LANG-CASE.15
✅ 00-LANG-CASE.16
✅ 00-LANG-CASE.17
✅ 00-LANG-CASE.18
✅ 01-LANG-INC.01
✅ 01-LANG-INC.02
✅ 02-CURRIED-PLUS.01
✅ 03-SORING-VIA-INSERT.01
✅ 03-SORING-VIA-INSERT.02
✅ 03-SORING-VIA-INSERT.03
✅ 03-SORING-VIA-INSERT.04
✅ 03-SORING-VIA-INSERT.05
✅ 03-SORING-VIA-INSERT.06
✅ 06-MATCH-IN-SPACE.01
✅ 06-MATCH-IN-SPACE.02
✅ 06-MATCH-IN-SPACE.03
✅ 06-MATCH-IN-SPACE.04
✅ 06-MATCH-IN-SPACE.05
✅ 06-MATCH-IN-SPACE.06
✅ STRING-TESTS.01
✅ STRING-TESTS.02
✅ STRING-TESTS.03
✅ STRING-TESTS.04
✅ STRING-TESTS.05
✅ STRING-TESTS.06
✅ STRING-TESTS.07
✅ STRING-TESTS.08
✅ STRING-TESTS.09
✅ STRING-TESTS.10
✅ STRING-TESTS.11
✅ STRUCTURE-TESTS.01

✅ METTA-MORPH-TESTS

✅ ADD-ATOM-MATCH.01
✅ AND-OR.01
✅ COLLAPSE.01
✅ FACTORIAL.01
✅ FACTORIAL.02
✅ HYPERPOSE.01
✅ HYPERPOSE.02
✅ HYPERPOSE.03
✅ HYPERPOSE.04
✅ HYPERPOSE.05
✅ HYPERPOSE.06
✅ HYPERPOSE.07
✅ HYPERPOSE.08
✅ HYPERPOSE.09
✅ HYPERPOSE.10
✅ IDENTITY.01
✅ IF.01
✅ LETLET.01
✅ LET-SUPERPOSE-IF-CASE.01
✅ LET-SUPERPOSE-IF-CASE.02
✅ LET-SUPERPOSE-LIST2.01
✅ LET-SUPERPOSE-LIST.01
✅ LET-SUPERPOSE-LIST.02
✅ MATCH-FEVAL.01
✅ MATCH-SUPERPOSED-SPACES.01
✅ MATCH-SUPERPOSED-SPACES.02
✅ MATCH-SUPERPOSED-SPACES.03
✅ MATCH-SUPERPOSED-SPACES.04
✅ MATCH-SUPERPOSED-SPACES.05
✅ MATCH-VOID.01
✅ MATCH-VOID.02
✅ MATCH-VOID.03
✅ MATCH-VOID.04
✅ MATCH-VOID.05
✅ MATCH-VOID.06
✅ MATCH-VOID.07
✅ MATCH-VOID.08
✅ MATCH-VOID.09
✅ MATCH-VOID.10
✅ MATCH-VOID.11
✅ MINNARS.01
✅ MULTIFUNCTION.01
✅ NALIFIER.01
✅ NESTED-PARAMETERS.01
✅ PEANO.01
✅ SEQUENTIAL-NESTED.01
✅ SEQUENTIAL-NESTED.02
✅ SEQUENTIAL-NESTED.03
✅ SEQUENTIAL-NESTED.04
✅ SEQUENTIAL-NESTED.05
✅ SEQUENTIAL-NESTED.06
✅ SEQUENTIAL-NESTED.07
✅ SEQUENTIAL-NESTED.08
✅ SEQUENTIAL-NESTED.09
✅ SEQUENTIAL-NESTED.10
✅ SEQUENTIAL-NESTED.11
✅ SEQUENTIAL-NESTED.12
✅ STATES-SPACES.01
✅ STATES-SPACES.02
✅ STATES-SPACES.03
✅ STATES-SPACES.04
✅ STATES-SPACES.05
✅ STATES-SPACES.06
✅ SUPERCOLLAPSE.01
✅ SUPERCOLLAPSE.02
✅ SUPERCOLLAPSE.03
✅ SUPERCOLLAPSE.04
✅ SUPERCOLLAPSE.05
✅ SUPERCOLLAPSE.06
✅ SUPERCOLLAPSE.07
✅ SUPERCOLLAPSE.08
✅ SUPERPOSE-NESTED.01
✅ SUPERPOSE-NESTED.02
✅ SUPERPOSE-NESTED.03
✅ SUPERPOSE-NESTED.04
✅ TESTS0.01
✅ TESTS0.02
✅ TESTS0.03
✅ TESTS0.04
✅ TESTS0.05
✅ TESTS0.06
✅ TESTS0.07
✅ TYPES2.01
✅ TYPES2.02
✅ TYPES2.03
✅ TYPES2.04
✅ TYPES2.05
✅ TYPES3.01
✅ TYPES.01
✅ ZEROARGS.01
✅ ZEROARGS.02

❌ MODULE-SYSTEM

✅ C2-SPACES.01
✅ C2-SPACES.02
✅ C2-SPACES.03
✅ C2-SPACES.04
✅ C2-SPACES.05
✅ F1-IMPORTS.01
✅ F1-IMPORTS.02
✅ F1-MODULEA.03
❌ F1-IMPORTS.04
	<![CDATA[
✅ F1-IMPORTS.05
✅ F1-MODULEA.06
✅ F1-MODULEA.07
✅ F1-IMPORTS.08
✅ F1-IMPORTS.09
✅ F1-IMPORTS.10
✅ F1-IMPORTS.11
✅ F1-IMPORTS.12
✅ F1-IMPORTS.13
✅ F1-IMPORTS.14
✅ F1-IMPORTS.15
✅ F1-IMPORTS.16
✅ F1-IMPORTS.17
✅ F1-MODULEA.01

Annotations

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

ANTI-REGRESSION ► DEBUG-METTALOGTESTCURRIED.09 

Failed test found in:
  junit.xml
Error:
  <![CDATA[
Raw output 
<![CDATA[
AssertionError: Test failed: Expected '((let* ((($_5702 $_5720 $_5738) (abstract-patterns)) ($_5774 ($_5702 (VarIdx Z) (VarIdx (S Z)))) ($_...' but got '(() () () () ())'
]]>

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.02 

Failed test found in:
  junit.xml
Error:
  <![CDATA[
Raw output 
<![CDATA[
AssertionError: Test failed: Expected '((Error S BadType))' but got '(S)'
]]>

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.08 

Failed test found in:
  junit.xml
Error:
  <![CDATA[
Raw output 
<![CDATA[
AssertionError: Test failed: Expected '((Error (Cons Z Nil) BadType))' but got '((Cons S (Cons Z Nil)))'
]]>

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.11 

Failed test found in:
  junit.xml
Error:
  <![CDATA[
Raw output 
<![CDATA[
AssertionError: Test failed: Expected '((Error S BadType))' but got '((eq Z S))'
]]>

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.14 

Failed test found in:
  junit.xml
Error:
  <![CDATA[
Raw output 
<![CDATA[
AssertionError: Test failed: Expected '((Error Color BadType))' but got '(T)'
]]>

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.15 

Failed test found in:
  junit.xml
Error:
  <![CDATA[
Raw output 
<![CDATA[
AssertionError: Test failed: Expected '((Error Circle BadType))' but got '(T)'
]]>

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.24 

Failed test found in:
  junit.xml
Error:
  <![CDATA[
Raw output 
<![CDATA[
AssertionError: Test failed: Expected '((eqa Z (Add Z Z)))' but got '(T)'
]]>

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

HYPERON-EXPERIMENTAL-SCRIPTS ► C1-GROUNDED-BASIC.14 

Failed test found in:
  junit.xml
Error:
  <![CDATA[
Raw output 
<![CDATA[
AssertionError: Test failed: Expected '((Error "String" BadType))' but got '((+ 2 "String"))'
]]>

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

HYPERON-EXPERIMENTAL-SCRIPTS ► C1-GROUNDED-BASIC.15 

Failed test found in:
  junit.xml
Error:
  <![CDATA[
Raw output 
<![CDATA[
AssertionError: Test failed: Expected '((Error ln BadType))' but got '(False)'
]]>

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

HYPERON-EXPERIMENTAL-SCRIPTS ► D2-HIGHERFUNC.07 

Failed test found in:
  junit.xml
Error:
  <![CDATA[
Raw output 
<![CDATA[
AssertionError: Test failed: Expected '()' but got '(Number)'
]]>

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

HYPERON-EXPERIMENTAL-SCRIPTS ► D5-AUTO-TYPES.01 

Failed test found in:
  junit.xml
Error:
  <![CDATA[
Raw output 
<![CDATA[
AssertionError: Test failed: Expected '((Error "S" BadType))' but got '(88)'
]]>
View more details on GitHub Actions