From c65265477f94ee687c41d198c655a36133d07812 Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Sun, 3 Sep 2023 21:02:42 -0400
Subject: [PATCH] Tests: Enable cover named property

---
 src/V3AstNodeExpr.h             | 4 +++-
 test_regress/t/t_assert_cover.v | 7 ++++---
 2 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/src/V3AstNodeExpr.h b/src/V3AstNodeExpr.h
index 648779532..ed2e771bd 100644
--- a/src/V3AstNodeExpr.h
+++ b/src/V3AstNodeExpr.h
@@ -1317,7 +1317,9 @@ public:
     bool cleanOut() const override { return true; }
 };
 class AstImplication final : public AstNodeExpr {
-    // Verilog |-> |=>
+    // Verilog Implication Operator
+    // Nonoverlapping "|=>"
+    // Overlapping "|->" (doesn't currently use this - might make new Ast type)
     // @astgen op1 := lhsp : AstNodeExpr
     // @astgen op2 := rhsp : AstNodeExpr
     // @astgen op3 := sentreep : Optional[AstSenTree]
diff --git a/test_regress/t/t_assert_cover.v b/test_regress/t/t_assert_cover.v
index 26a51005a..fe4b6d93d 100644
--- a/test_regress/t/t_assert_cover.v
+++ b/test_regress/t/t_assert_cover.v
@@ -94,7 +94,6 @@ module Test
         end
    endgenerate
 
-`ifndef verilator // Unsupported
    //============================================================
    // Using a more complicated property
    property C1;
@@ -104,6 +103,8 @@ module Test
    endproperty
    cover property (C1) $display("*COVER: Cyc==5");
 
+`ifndef verilator // Unsupported
+   //============================================================
    // Using covergroup
    // Note a covergroup is really inheritance of a special system "covergroup" class.
    covergroup counter1 @ (posedge cyc);
@@ -131,9 +132,9 @@ module Test
 
       // option.at_least = {number};    // Default 1 - Hits to be considered covered
       // option.auto_bin_max = {number}; // Default 64
-      // option.comment = {string}
+      // option.comment = {string};     // Default ""
       // option.goal = {number};        // Default 90%
-      // option.name = {string}
+      // option.name = {string};        // Default ""
       // option.per_instance = 1;       // Default 0 - each instance separately counted (cadence default is 1)
       // option.weight = {number};      // Default 1