Syntactic checks

BMC: push negation into conjunction #1537

Sign in to view logs

Triggered via pull request October 31, 2024 18:57

kroening

opened #793

bmc-cnf-friendly

Status Success

Total duration 1m 31s

Artifacts –

syntax-checks.yaml

on: pull_request

check-clang-format