Lem and Coq fixes for C test suite · rems-project/sail@38dec9b

Triggered via pull request October 5, 2023 16:42

bacam

opened #347

bacam:c-test-fixes

Status Success

Total duration 26m 25s

Artifacts 3

coverage.yml

on: pull_request

Matrix: build

1 notice

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

Produced during runtime