add tests for SMV LTLSPEC #1379
Triggered via pull request
September 25, 2024 11:55
kroening
Status
Failure
Total duration
1m 21s
Artifacts
–
syntax-checks.yaml
on: pull_request
check-clang-format
1m 13s
Annotations
1 error
|
check-clang-format
Process completed with exit code 100.
|