Skip to content
Build

Generate knowledge from SVCOMP witness #2012

Sign in to view logs

Generate knowledge from SVCOMP witness

Generate knowledge from SVCOMP witness #2012

Triggered via pull request December 28, 2023 19:20
@hernanponcedeleonhernanponcedeleon
opened #597
witness+xra
Status Failure
Total duration 44m 59s
Artifacts –

maven.yml

on: pull_request
build
44m 51s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 1.