From 0430596654342bae68612122e5eca7865b63a3f9 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Thu, 16 Jan 2025 07:32:53 -0800 Subject: [PATCH] Verilog: KNOWNBUG test for property ... endproperty The type checker uses the wrong fragement of the expression syntax for property ... endproperty. Replicates #931. --- regression/verilog/{SVA => property}/named_property1.desc | 0 regression/verilog/{SVA => property}/named_property1.sv | 0 regression/verilog/{SVA => property}/recursive_property1.desc | 0 regression/verilog/{SVA => property}/recursive_property1.sv | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename regression/verilog/{SVA => property}/named_property1.desc (100%) rename regression/verilog/{SVA => property}/named_property1.sv (100%) rename regression/verilog/{SVA => property}/recursive_property1.desc (100%) rename regression/verilog/{SVA => property}/recursive_property1.sv (100%) diff --git a/regression/verilog/SVA/named_property1.desc b/regression/verilog/property/named_property1.desc similarity index 100% rename from regression/verilog/SVA/named_property1.desc rename to regression/verilog/property/named_property1.desc diff --git a/regression/verilog/SVA/named_property1.sv b/regression/verilog/property/named_property1.sv similarity index 100% rename from regression/verilog/SVA/named_property1.sv rename to regression/verilog/property/named_property1.sv diff --git a/regression/verilog/SVA/recursive_property1.desc b/regression/verilog/property/recursive_property1.desc similarity index 100% rename from regression/verilog/SVA/recursive_property1.desc rename to regression/verilog/property/recursive_property1.desc diff --git a/regression/verilog/SVA/recursive_property1.sv b/regression/verilog/property/recursive_property1.sv similarity index 100% rename from regression/verilog/SVA/recursive_property1.sv rename to regression/verilog/property/recursive_property1.sv