fix test rule
[SymbiYosys.git] / tests /
drwxr-xr-x   ..
-rw-r--r-- 96 .gitignore
-rw-r--r-- 171 Makefile
-rw-r--r-- 234 both_ex.sby
-rw-r--r-- 441 both_ex.v
-rw-r--r-- 120 cover.sby
-rw-r--r-- 274 cover.sv
-rw-r--r-- 172 demo.sby
-rw-r--r-- 293 demo.sv
-rw-r--r-- 180 memory.sby
-rw-r--r-- 1289 memory.sv
-rw-r--r-- 219 mixed.sby
-rw-r--r-- 320 mixed.v
-rw-r--r-- 276 preunsat.sby
-rw-r--r-- 231 prv32fmcmp.sby
-rw-r--r-- 1912 prv32fmcmp.v
-rw-r--r-- 129 redxor.sby
-rw-r--r-- 118 redxor.v
-rw-r--r-- 201 stopfirst.sby