Skip to content
CodeQL

Use goto-analyzer to add assumptions, assertions and code contracts #5544

Sign in to view logs

Use goto-analyzer to add assumptions, assertions and code contracts

Use goto-analyzer to add assumptions, assertions and code contracts #5544

Triggered via pull request February 2, 2024 20:24
@martin-csmartin-cs
synchronize #7964
martin-cs:feature/goto-analyzer-instrument-task
Status Failure
Total duration 27m 31s
Artifacts –

codeql-analysis.yml

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

Annotations

4 errors
Analyze (python)
Process completed with exit code 2.
Analyze (java)
Process completed with exit code 2.
Analyze (javascript)
Process completed with exit code 2.
Analyze (cpp)
Process completed with exit code 2.