George Rennie 8fb3f88842 tests: remove -seq 1 from sat with -tempinduct where possible ... * When used with -tempinduct mode, -seq <N> causes assertions to be ignored in the first N steps. While this has uses for reset modelling, for these test cases it is unnecessary and could lead to failures slipping through uncaught		2025-09-08 18:04:32 +02:00
..
enum_simple.sv
enum_simple.ys
logic_rom.sv
logic_rom.ys
multirange_array.sv
multirange_subarray_access.ys
run-test.sh
static_cast_negative.ys
static_cast_nonconst.ys
static_cast_simple.sv
static_cast_verilog.ys
static_cast_zero.ys
struct_array.sv
struct_dynamic_range.sv
struct_dynamic_range.ys
struct_simple.sv
struct_sizebits.sv
typedef_initial_and_assign.sv
typedef_initial_and_assign.ys
typedef_memory.sv
typedef_memory.ys
typedef_memory_2.sv
typedef_memory_2.ys
typedef_package.sv
typedef_param.sv
typedef_scopes.sv
typedef_simple.sv
typedef_struct.sv
typedef_struct_global.ys
typedef_struct_port.sv
typedef_struct_port.ys
union_simple.sv