From a83cca8ecb2f26088d8440cf24ed811b75f5119a Mon Sep 17 00:00:00 2001
From: Yan Churkin <yan@ispras.ru>
Date: Wed, 12 Jun 2024 00:32:55 +0300
Subject: [PATCH] Fix regression tests

---
 tests/regression/all.sv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/regression/all.sv b/tests/regression/all.sv
index 0d8b3e41b..378c1f217 100644
--- a/tests/regression/all.sv
+++ b/tests/regression/all.sv
@@ -164,7 +164,7 @@ macromodule m3;
                 else
                     f;
         endproperty
-        cover property (p2 and p2);
+        cover property  (@(posedge clk) (p2 and p2));
     end
 
     prim prim_inst(q, r);