Skip to content

Y
yosys-tests
Switch branch/tag
Find file
Normal viewHistoryPermalink
read_aiger_cant_interpret_first_char.ys 95 Bytes
Newer Older
Add tests for error messages to 'frontends' group
dd522d08
 
SergeyDegtyar committed
1 2 3 
read_aiger -clk_name clk -module_name top ../aiger1.aiger
synth -top top
write_verilog synth.v