Skip to content
options

Remove unused [@@deriving ord] on SV-COMP spec #6460

Sign in to view logs

Remove unused [@@deriving ord] on SV-COMP spec

Remove unused [@@deriving ord] on SV-COMP spec #6460

Triggered via push November 2, 2023 08:05
@sim642sim642
pushed f147d9b
sv-comp-multiproperty
Status Success
Total duration 24s
Artifacts –

options.yml

on: push
Matrix: validate-conf
Fit to window
Zoom out
Zoom in