[nix] only output property urg report

chipsalliance · Oct 4, 2024 · 5f5d731 · 5f5d731
1 parent a19b85f
commit 5f5d731
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/nix/t1/run/run-vcs-emu.nix b/nix/t1/run/run-vcs-emu.nix
@@ -15,7 +15,7 @@ stdenvNoCC.mkDerivation (finalAttr: {
     emuDriverArgsArray=(
       "+t1_elf_file=${testCase}/bin/${testCase.pname}.elf"
       ${lib.optionalString emulator.enableTrace "+t1_wave_path=${testCase.pname}.fsdb"}
-      ${lib.optionalString emulator.enableCover "-cm line+cond+fsm+tgl+branch+assert"}
+      ${lib.optionalString emulator.enableCover "-cm assert"}
     )
     emuDriverArgs="''${emuDriverArgsArray[@]}"
     emuDriver="${emulator}/bin/${emulator.mainProgram}"

diff --git a/script/emu/src/Main.scala b/script/emu/src/Main.scala
@@ -205,7 +205,7 @@ object Main:
       s"+t1_elf_file=${caseElfPath}"
     )
       ++ optionals(isTrace, Seq(s"+t1_wave_path=${outputPath / "wave.fsdb"}"))
-      ++ optionals(isCover, Seq(s"-cm line+cond+fsm+tgl+branch+assert"))
+      ++ optionals(isCover, Seq(s"-cm assert"))
       ++ optionals(!leftOverArguments.isEmpty, leftOverArguments)
 
     if dryRun.value then return