Test coverage

Refactor Sail->SMT backend and rework Sail->SV to share code #951

Sign in to view logs

Triggered via push June 10, 2024 16:00

Alasdair

new_smt

Status Success

Total duration 15m 12s

Artifacts 3

coverage.yml

on: push

Matrix: build

Annotations

8 errors, 2 warnings, and 2 notices

1 out of 2 runs with error: arith_FFL_5.unsat.sail: /#L0

./smt/tests.xml

1 out of 2 runs with error: arith_LC32L_3.unsat.sail: /#L0

./smt/tests.xml

1 out of 2 runs with error: arith_LCBL.unsat.sail: /#L0

./smt/tests.xml

1 out of 2 runs with error: arith_FFL_3.unsat.sail: /#L0

./smt/tests.xml

1 out of 2 runs with error: arith_FFL_5.unsat.sail: /#L0

./smt/tests.xml

1 out of 2 runs with error: arith_LC32L_3.unsat.sail: /#L0

./smt/tests.xml

1 out of 2 runs with error: arith_LCBL.unsat.sail: /#L0

./smt/tests.xml

1 out of 2 runs with error: arith_FFL_3.unsat.sail: /#L0

./smt/tests.xml

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/

build (4.08.1, ubuntu-latest)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

641 tests found

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

641 tests found

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

Artifacts

Produced during runtime

Name	Size
code-coverage Expired	7.85 MB
event.json Expired	10.8 KB
test-results Expired	87.2 KB