Add mapping compleness check test case #45

Sign in to view logs

Triggered via push July 27, 2024 03:07

trdthg

mapping-match-complete

Status Success

Total duration 13m 51s

Artifacts 3

coverage.yml

on: push

Matrix: build

Annotations

20 errors, 2 warnings, and 1 notice

All 2 runs with error: encdec.sat.sail: /#L0

./smt/tests.xml

1 out of 3 runs with error: bool_mapping.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: mapping_clause.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: scattered_mapping_doc.sail: /#L0

./typecheck/tests.xml

All 3 runs with error: mapping_rreg.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

1 out of 3 runs with error: bool_mapping2.sail: /#L0

./typecheck/tests.xml

issue243.sail with error: /#L0

./typecheck/tests.xml

All 6 runs with error: two_mapping.sail: /#L0

./c/tests.xml

All 6 runs with error: lib_hex_bits.sail: /#L0

./c/tests.xml

All 6 runs with error: encdec.sail: /#L0

./c/tests.xml

All 6 runs with error: rv_format.sail: /#L0

./c/tests.xml

All 6 runs with error: lib_valid_hex_bits.sail: /#L0

./c/tests.xml

All 6 runs with error: zeros_mapping.sail: /#L0

./c/tests.xml

All 6 runs with error: issue243_fixed.sail: /#L0

./c/tests.xml

All 6 runs with error: mapping_compose.sail: /#L0

./c/tests.xml

All 6 runs with error: issue232_2.sail: /#L0

./c/tests.xml

All 6 runs with error: issue232.sail: /#L0

./c/tests.xml

All 6 runs with error: lib_hex_bits_signed.sail: /#L0

./c/tests.xml

All 6 runs with error: rv_format2.sail: /#L0

./c/tests.xml

All 6 runs with error: poly_mapping2.sail: /#L0

./c/tests.xml

build (4.08.1, ubuntu-latest)

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/cache/restore@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Deprecation notice: v1, v2, and v3 of the artifact actions

The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "code-coverage", "event.json", "test-results". Please update your workflow to use v4 of the artifact actions. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/

658 tests found

There are 658 tests, see "Raw output" for the full list of tests.

Artifacts

Produced during runtime

Name	Size
code-coverage Expired	7.96 MB
event.json Expired	7.76 KB
test-results Expired	93.5 KB