From 5f4a24f557223c4aedf12a1241d426298941643b Mon Sep 17 00:00:00 2001
From: Shupei Fan <dymarkfan@outlook.com>
Date: Tue, 10 Dec 2024 11:59:11 +0000
Subject: [PATCH] [nix] remove unused coverage

---
 nix/t1/conversion/sv-to-vcs-simulator.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nix/t1/conversion/sv-to-vcs-simulator.nix b/nix/t1/conversion/sv-to-vcs-simulator.nix
index 3e1074e15..4627af48a 100644
--- a/nix/t1/conversion/sv-to-vcs-simulator.nix
+++ b/nix/t1/conversion/sv-to-vcs-simulator.nix
@@ -48,7 +48,7 @@ stdenv.mkDerivation rec {
   ]
   ++ lib.optionals enableCover [
     "-cm"
-    "line+cond+fsm+tgl+branch+assert"
+    "assert"
     "-cm_dir"
     "./cm"
   ]