Skip to content

Y
yosys-tests
Switch branch/tag
Find file
Normal viewHistoryPermalink
write_smt2_logic.ys 55 Bytes
Newer Older
Update backends group.
78573f91
 
SergeyDegtyar committed
1 2 3 
read_verilog ../top_logic.v
proc
write_smt2 result.out