/tests/verific/

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