Skip to content
Check formatting

Add test case #44

Sign in to view logs

Add test case

Add test case #44

Triggered via push July 27, 2024 03:06
@trdthgtrdthg
pushed 5ec4e84
mapping-match-complete
Status Success
Total duration 39s
Artifacts –

formatting.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

20 errors, 1 warning, and 1 notice
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
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
All 2 runs with error: encdec.sat.sail: /#L0
./smt/tests.xml
issue243.sail with error: /#L0
./typecheck/tests.xml
build (5.0.0, ubuntu-latest, 0.26.0)
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. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
658 tests found
There are 658 tests, see "Raw output" for the full list of tests.