Skip to content
ci

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

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 #380

Triggered via pull request March 9, 2024 04:21
@KrystalDelusionKrystalDelusion
opened #266
krys/btor2aiger
Status Success
Total duration 4m 48s
Artifacts –

ci.yml

on: pull_request
build
4m 40s
build
Fit to window
Zoom out
Zoom in