Syntactic checks

BMC: include macros in trace #819

Sign in to view logs

Triggered via pull request May 21, 2024 14:35

kroening

opened #518

trans-trace-macros

Status Success

Total duration 33m 17s

Artifacts –

syntax-checks.yaml

on: pull_request

check-clang-format