Skip to content

Y
yosys-tests
Switch branch/tag
Find file
Normal viewHistoryPermalink
eval_two_distinct_solutions.ys 85 Bytes
Newer Older
Add tests for error messages in 'misc' test group.
971f4827
 
SergeyDegtyar committed
1 2 3 
read_verilog ../top_err_3.v
tee -o result.log eval -vloghammer_report u_ rtl x 1'b1