Skip to content
CodeQL

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

Sign in to view logs

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

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

Re-run triggered October 29, 2024 12:56
@tautschnigtautschnig
#8465
yvizel:develop
Status Failure
Total duration 9m 19s
Artifacts –

codeql-analysis.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 1 warning
Analyze (javascript)
Process completed with exit code 2.
Analyze (java)
Process completed with exit code 2.
Analyze (cpp)
Process completed with exit code 2.
Analyze (python)
Process completed with exit code 2.
Analyze (python)
Timed out waiting for analysis to finish processing. Continuing.