Skip to content
Windows build and test

Fix horn solving for termination #1926

Sign in to view logs

Fix horn solving for termination

Fix horn solving for termination #1926

Triggered via pull request February 23, 2025 14:50
@leventeBajczileventeBajczi
opened #342
nontermination-chc
Status Failure
Total duration 14m 9s
Artifacts –

win-build-test.yml

on: pull_request
Matrix: test-windows
Fit to window
Zoom out
Zoom in

Annotations

3 errors
test-windows (windows-2019)
Gradle build failed: see console output for details
test-windows (windows-latest)
Gradle build failed: see console output for details
test-windows (windows-2022)
Gradle build failed: see console output for details