diffblue
diff --git a/‎regression/verilog/SVA/named_property1.desc renamed to ‎regression/verilog/property/named_property1.desc b/‎regression/verilog/SVA/named_property1.desc renamed to ‎regression/verilog/property/named_property1.desc
diff --git a/‎regression/verilog/SVA/named_property1.sv renamed to ‎regression/verilog/property/named_property1.sv b/‎regression/verilog/SVA/named_property1.sv renamed to ‎regression/verilog/property/named_property1.sv
diff --git a/‎regression/verilog/SVA/recursive_property1.desc renamed to ‎regression/verilog/property/recursive_property1.desc b/‎regression/verilog/SVA/recursive_property1.desc renamed to ‎regression/verilog/property/recursive_property1.desc
diff --git a/‎regression/verilog/SVA/recursive_property1.sv renamed to ‎regression/verilog/property/recursive_property1.sv b/‎regression/verilog/SVA/recursive_property1.sv renamed to ‎regression/verilog/property/recursive_property1.sv