Skip to content
ci

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

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

Triggered via pull request March 12, 2024 17:59
@KrystalDelusionKrystalDelusion
synchronize #266
krys/btor2aiger
Status Success
Total duration 4m 58s
Artifacts –

ci.yml

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