Skip to content
Build

Svcomp witness file must be named witness.graphml (new rule) (#563) #1919

Sign in to view logs

Svcomp witness file must be named witness.graphml (new rule) (#563)

Svcomp witness file must be named witness.graphml (new rule) (#563) #1919

Triggered via push November 12, 2023 11:15
@hernanponcedeleonhernanponcedeleon
pushed a81c330
development
Status Success
Total duration 58m 1s
Artifacts –

maven.yml

on: push
build
57m 51s
build
Fit to window
Zoom out
Zoom in