Back to pull request #942

SVA: allow parentheses around sequences #1983

Sign in to view logs

Triggered via pull request January 19, 2025 18:05

kroening

opened #942

sequence6

Status Success

Total duration 1m 32s

Artifacts –

syntax-checks.yaml

on: pull_request

check-clang-format