/tests/verific/

• ../
• .gitignore
• case.sv
• case.ys
• range_case.sv
• range_case.ys
• run-test.sh