[nix] add demo about hierarchy of coverage

chipsalliance · Dec 16, 2024 · 2fda97d · 2fda97d
1 parent 551f770
commit 2fda97d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git 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
@@ -0,0 +1 @@
++assert _1_vmv_v_i