From 2fda97d76425a4047f0afc04643d02070be19202 Mon Sep 17 00:00:00 2001
From: Clo91eaf <Clo91eaf@qq.com>
Date: Thu, 5 Dec 2024 23:31:47 +0800
Subject: [PATCH] [nix] add demo about hierarchy of coverage

---
 nix/t1/conversion/sv-to-vcs-simulator.nix | 2 ++
 tests/coverage/mlir/hello.hier            | 1 +
 2 files changed, 3 insertions(+)
 create mode 100644 tests/coverage/mlir/hello.hier

diff --git a/nix/t1/conversion/sv-to-vcs-simulator.nix b/nix/t1/conversion/sv-to-vcs-simulator.nix
index 4627af48a..c679284e9 100644
--- a/nix/t1/conversion/sv-to-vcs-simulator.nix
+++ b/nix/t1/conversion/sv-to-vcs-simulator.nix
@@ -51,6 +51,8 @@ stdenv.mkDerivation rec {
     "assert"
     "-cm_dir"
     "./cm"
+    "-assert"
+    "enable_hier"
   ]
   ++ lib.optionals (!enableCover) [
     "-assert"
diff --git a/tests/coverage/mlir/hello.hier b/tests/coverage/mlir/hello.hier
new file mode 100644
index 000000000..11dff3595
--- /dev/null
+++ b/tests/coverage/mlir/hello.hier
@@ -0,0 +1 @@
++assert _1_vmv_v_i
\ No newline at end of file