Syntactic checks

Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) #2802

Sign in to view logs

Re-run triggered October 29, 2024 12:56

tautschnig

#8465

yvizel:develop

Status Failure

Total duration 1m 37s

Artifacts –

syntax-checks.yaml

on: pull_request

check-clang-format

Annotations

2 errors

check-cpplint

Process completed with exit code 1.

check-clang-format

Process completed with exit code 1.