diff --git a/tests/svtypes/typedef_initial_and_assign.ys b/tests/svtypes/typedef_initial_and_assign.ys index e778a49bb..4563ca491 100644 --- a/tests/svtypes/typedef_initial_and_assign.ys +++ b/tests/svtypes/typedef_initial_and_assign.ys @@ -11,4 +11,4 @@ logger -expect warning "reg '\\var_19' is assigned in a continuous assignment" 1 read_verilog -sv typedef_initial_and_assign.sv hierarchy; proc; opt; async2sync select -module top -sat -verify -seq 1 -tempinduct -prove-asserts -show-all +sat -verify -tempinduct -prove-asserts -show-all diff --git a/tests/svtypes/typedef_struct_port.ys b/tests/svtypes/typedef_struct_port.ys index dd0775b9f..6cd61064c 100644 --- a/tests/svtypes/typedef_struct_port.ys +++ b/tests/svtypes/typedef_struct_port.ys @@ -1,6 +1,6 @@ read_verilog -sv typedef_struct_port.sv hierarchy; proc; opt; async2sync select -module top -sat -verify -seq 1 -tempinduct -prove-asserts -show-all +sat -verify -tempinduct -prove-asserts -show-all select -module test_parser -sat -verify -seq 1 -tempinduct -prove-asserts -show-all +sat -verify -tempinduct -prove-asserts -show-all diff --git a/tests/various/const_arg_loop.ys b/tests/various/const_arg_loop.ys index 01bea7044..21554cc0a 100644 --- a/tests/various/const_arg_loop.ys +++ b/tests/various/const_arg_loop.ys @@ -4,4 +4,4 @@ proc opt -full select -module top async2sync -sat -verify -seq 1 -tempinduct -prove-asserts -show-all +sat -verify -tempinduct -prove-asserts -show-all diff --git a/tests/various/const_func.ys b/tests/various/const_func.ys index d982c3a43..e721e0e81 100644 --- a/tests/various/const_func.ys +++ b/tests/various/const_func.ys @@ -5,4 +5,4 @@ flatten opt -full select -module top async2sync -sat -verify -seq 1 -tempinduct -prove-asserts -show-all +sat -verify -tempinduct -prove-asserts -show-all diff --git a/tests/various/countbits.ys b/tests/various/countbits.ys index f2db9cfe1..2d972e2d8 100644 --- a/tests/various/countbits.ys +++ b/tests/various/countbits.ys @@ -5,4 +5,4 @@ flatten opt -full select -module top async2sync -sat -verify -seq 1 -tempinduct -prove-asserts -show-all +sat -verify -tempinduct -prove-asserts -show-all diff --git a/tests/various/param_struct.ys b/tests/various/param_struct.ys index bb26b61d5..96837aafc 100644 --- a/tests/various/param_struct.ys +++ b/tests/various/param_struct.ys @@ -48,4 +48,4 @@ endmodule EOF hierarchy; proc; opt async2sync -sat -verify -seq 1 -tempinduct -prove-asserts -show-all +sat -verify -tempinduct -prove-asserts -show-all diff --git a/tests/verilog/atom_type_signedness.ys b/tests/verilog/atom_type_signedness.ys index c8a82f993..77a0bd291 100644 --- a/tests/verilog/atom_type_signedness.ys +++ b/tests/verilog/atom_type_signedness.ys @@ -16,4 +16,4 @@ endmodule EOT hierarchy; proc; opt; async2sync select -module dut -sat -verify -seq 1 -tempinduct -prove-asserts -show-all +sat -verify -tempinduct -prove-asserts -show-all diff --git a/tests/verilog/int_types.ys b/tests/verilog/int_types.ys index 344f3ee09..70c99976c 100644 --- a/tests/verilog/int_types.ys +++ b/tests/verilog/int_types.ys @@ -5,4 +5,4 @@ flatten opt -full async2sync select -module top -sat -verify -seq 1 -tempinduct -prove-asserts -show-all +sat -verify -tempinduct -prove-asserts -show-all diff --git a/tests/verilog/mem_bounds.ys b/tests/verilog/mem_bounds.ys index 146a6f433..2c973822a 100644 --- a/tests/verilog/mem_bounds.ys +++ b/tests/verilog/mem_bounds.ys @@ -4,4 +4,4 @@ flatten opt -full select -module top async2sync -sat -verify -seq 1 -tempinduct -prove-asserts -show-all -enable_undef +sat -verify -tempinduct -prove-asserts -show-all -enable_undef diff --git a/tests/verilog/param_no_default.ys b/tests/verilog/param_no_default.ys index 0509f6a1a..c609987e4 100644 --- a/tests/verilog/param_no_default.ys +++ b/tests/verilog/param_no_default.ys @@ -5,4 +5,4 @@ flatten opt -full async2sync select -module top -sat -verify -seq 1 -tempinduct -prove-asserts -show-all +sat -verify -tempinduct -prove-asserts -show-all diff --git a/tests/verilog/parameters_across_files.ys b/tests/verilog/parameters_across_files.ys index 94565eb67..3efe3e68c 100644 --- a/tests/verilog/parameters_across_files.ys +++ b/tests/verilog/parameters_across_files.ys @@ -18,4 +18,4 @@ flatten opt -full async2sync select -module top -sat -verify -seq 1 -tempinduct -prove-asserts -show-all +sat -verify -tempinduct -prove-asserts -show-all diff --git a/tests/verilog/typedef_across_files.ys b/tests/verilog/typedef_across_files.ys index baa4b7919..8cd578af4 100644 --- a/tests/verilog/typedef_across_files.ys +++ b/tests/verilog/typedef_across_files.ys @@ -21,4 +21,4 @@ proc opt -full async2sync select -module top -sat -verify -seq 1 -tempinduct -prove-asserts -show-all +sat -verify -tempinduct -prove-asserts -show-all diff --git a/tests/verilog/typedef_legacy_conflict.ys b/tests/verilog/typedef_legacy_conflict.ys index dd1503a85..d26cc188f 100644 --- a/tests/verilog/typedef_legacy_conflict.ys +++ b/tests/verilog/typedef_legacy_conflict.ys @@ -35,4 +35,4 @@ flatten opt -full async2sync select -module top -sat -verify -seq 1 -tempinduct -prove-asserts -show-all +sat -verify -tempinduct -prove-asserts -show-all diff --git a/tests/verilog/unbased_unsized.ys b/tests/verilog/unbased_unsized.ys index 75d1bf5e4..3290650d5 100644 --- a/tests/verilog/unbased_unsized.ys +++ b/tests/verilog/unbased_unsized.ys @@ -5,4 +5,4 @@ flatten opt -full async2sync select -module top -sat -verify -seq 1 -tempinduct -prove-asserts -show-all +sat -verify -tempinduct -prove-asserts -show-all diff --git a/tests/verilog/unbased_unsized_shift.ys b/tests/verilog/unbased_unsized_shift.ys index 2b5b9d8d0..6a72560b8 100644 --- a/tests/verilog/unbased_unsized_shift.ys +++ b/tests/verilog/unbased_unsized_shift.ys @@ -5,4 +5,4 @@ flatten opt -full async2sync select -module top -sat -verify -seq 1 -tempinduct -prove-asserts -show-all +sat -verify -tempinduct -prove-asserts -show-all