must_det_ll -> must in some cases #142
TeamSPoonAnnotations
11 errors and 2 warnings
|
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)'
|
|
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.15:
junit.xml#L0
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '((Error Circle BadType))' but got '(T)'
|
|
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.24:
junit.xml#L0
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '((eqa Z (Add Z Z)))' but got '(T)'
|
|
HYPERON-EXPERIMENTAL-SCRIPTS ► C1-GROUNDED-BASIC.09:
junit.xml#L0
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '(True)' but got '((== 4 4))'
|
|
HYPERON-EXPERIMENTAL-SCRIPTS ► C1-GROUNDED-BASIC.10:
junit.xml#L0
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '(False)' but got '((== 2 3))'
|
|
HYPERON-EXPERIMENTAL-SCRIPTS ► C1-GROUNDED-BASIC.11:
junit.xml#L0
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '(True)' but got '((== (A B) (A B)))'
|
|
HYPERON-EXPERIMENTAL-SCRIPTS ► C1-GROUNDED-BASIC.12:
junit.xml#L0
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '(False)' but got '((== (A B) (A (B C))))'
|
|
HYPERON-EXPERIMENTAL-SCRIPTS ► C1-GROUNDED-BASIC.13:
junit.xml#L0
Failed test found in:
junit.xml
Error:
AssertionError: Test failed: Expected '(False)' but got '((== 4 (+ ln 2)))'
|
|
generate-reports
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
generate-reports
Test report summary exceeded limit of 65535 bytes and will be trimmed
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
environment
|
2.38 KB |
|
|
junit-matrix-html-report
|
41.6 KB |
|
|
junit-report
|
56.6 KB |
|
|
junit-standard-html-report
|
143 KB |
|
|
test-output-logs
|
328 KB |
|