Skip to content
ci

btor2aiger: Use asserts and assumes from .ywb file #398

Sign in to view logs

btor2aiger: Use asserts and assumes from .ywb file

btor2aiger: Use asserts and assumes from .ywb file #398

Triggered via push April 6, 2024 00:20
@KrystalDelusionKrystalDelusion
pushed 28ee667
krys/btor2aiger
Status Success
Total duration 6m 18s
Artifacts –

ci.yml

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