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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
42s
42s