Merge pull request #194 from jazzbox35/main #510
Annotations
11 errors and 1 warning
ANTI-REGRESSION ► BC-COMP.01:
junit.xml#L0
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '(())' but got '(True)'
|
ANTI-REGRESSION ► BC-COMP.02:
junit.xml#L0
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '(())' but got '(True)'
|
ANTI-REGRESSION ► BC-COMP.03:
junit.xml#L0
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '(())' but got '(True)'
|
ANTI-REGRESSION ► BCHAIN-COMP.01:
junit.xml#L0
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '(())' but got '(True)'
|
ANTI-REGRESSION ► BCHAIN-COMP.02:
junit.xml#L0
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '(())' but got '(True)'
|
ANTI-REGRESSION ► BCHAIN-COMP.03:
junit.xml#L0
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '(())' but got '(True)'
|
ANTI-REGRESSION ► TMPMATCH1.05:
junit.xml#L0
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '(() () () () () () () () () () (candidate (Inheritance (VarIdx Z) E) 2) (candidate (Inheritance (VarIdx Z) A) 2) (candidate (Inheritance B (VarIdx (S Z))) 1) (candidate (Inheritance C (VarIdx (S Z))) 2) (candidate (Inheritance D (VarIdx (S Z))) 1))' but got '(() () () () () () () () () () () () () () () ())'
|
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.02:
junit.xml#L0
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '((Error S BadType))' but got '(S)'
|
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.08:
junit.xml#L0
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '((Error (Cons Z Nil) BadType))' but got '((Cons S (Cons Z Nil)))'
|
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.11:
junit.xml#L0
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '((Error S BadType))' but got '((eq Z S))'
|
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.14:
junit.xml#L0
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '((Error Color BadType))' but got '(T)'
|
generate-reports
Test report summary exceeded limit of 65535 bytes and will be trimmed
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
environment
|
2.35 KB |
|
junit-matrix-html-report
|
50.2 KB |
|
junit-report
|
61.9 KB |
|
junit-standard-html-report
|
158 KB |
|
test-output-logs
|
366 KB |
|