Skip to content
Sonar analysis

Fix horn solving for termination #2004

Sign in to view logs

Fix horn solving for termination

Fix horn solving for termination #2004

Triggered via push February 23, 2025 14:50
@leventeBajczileventeBajczi
pushed f6b0929
nontermination-chc
Status Failure
Total duration 6m 38s
Artifacts –

sonar.yml

on: push
run-sonar
6m 30s
run-sonar
Fit to window
Zoom out
Zoom in

Annotations

1 error
run-sonar
Gradle build failed: see console output for details