Skip to content
ci

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

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

Triggered via pull request April 6, 2024 00:20
@KrystalDelusionKrystalDelusion
synchronize #266
krys/btor2aiger
Status Success
Total duration 8m 7s
Artifacts –

ci.yml

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