Martin Povišer 8222121164 verific: Add test of accurate semantics in memory inference		2023-09-18 16:37:15 +02:00
..
.gitignore	Add test example	2023-02-27 09:24:04 +01:00
case.sv	Add test example	2023-02-27 09:24:04 +01:00
case.ys	Add test example	2023-02-27 09:24:04 +01:00
enum_values.sv	verific: Fix enum_values support and signed attribute values	2023-03-15 09:51:36 +01:00
enum_values.ys	verific: Fix enum_values support and signed attribute values	2023-03-15 09:51:36 +01:00
memory_semantics.ys	verific: Add test of accurate semantics in memory inference	2023-09-18 16:37:15 +02:00
range_case.sv	Added ranged case check	2023-02-27 09:24:04 +01:00
range_case.ys	Added ranged case check	2023-02-27 09:24:04 +01:00
run-test.sh	Add test example	2023-02-27 09:24:04 +01:00