Skip to content
ci

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

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

Triggered via pull request March 11, 2024 22:18
@KrystalDelusionKrystalDelusion
synchronize #266
krys/btor2aiger
Status Success
Total duration 5m 24s
Artifacts –

ci.yml

on: pull_request
build
5m 15s
build
Fit to window
Zoom out
Zoom in