aboutsummaryrefslogtreecommitdiffstats
path: root/tests/aiger/false.aig
blob: 4dc442d7b8ab1b567389cf3ce4c6f010b0361e6f (plain)
1
2
3