Skip to content
ci

Option to use btor2aiger to generate aig files from btor #401

Sign in to view logs

Option to use btor2aiger to generate aig files from btor

Option to use btor2aiger to generate aig files from btor #401

Triggered via pull request April 6, 2024 00:57
@KrystalDelusionKrystalDelusion
synchronize #266
krys/btor2aiger
Status Failure
Total duration 51s
Artifacts –

ci.yml

on: pull_request
build
42s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 2.