Add ability to override verilog mode for verific -f command
[yosys.git] / tests / aiger / true.aig
1 aig 0 0 0 1 0
2 1
3 o0 po0