From c0d6df1a34a7fb2649298c525566726a135e255f Mon Sep 17 00:00:00 2001 From: Clo91eaf Date: Thu, 16 Jan 2025 22:36:17 +0800 Subject: [PATCH] [cover] add line+cond+fsm+tgl+branch+assert into cover report Signed-off-by: Clo91eaf --- nix/t1/run/default.nix | 2 +- nix/t1/run/run-vcs-emu.nix | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/nix/t1/run/default.nix b/nix/t1/run/default.nix index 453bb7ddef..4895ae627d 100644 --- a/nix/t1/run/default.nix +++ b/nix/t1/run/default.nix @@ -98,7 +98,7 @@ let cp -vr $emuOutput $out chmod -R u+w $out - ${vcs-emu.snps-fhs-env}/bin/snps-fhs-env -c "urg -dir $emuOutput/*/cm.vdb -format text -metric line+tgl+assert -show summary" + ${vcs-emu.snps-fhs-env}/bin/snps-fhs-env -c "urg -dir $emuOutput/*/cm.vdb -format text -metric line+cond+fsm+tgl+branch+assert -show summary" cp -vr urgReport $out/ ''; in diff --git a/nix/t1/run/run-vcs-emu.nix b/nix/t1/run/run-vcs-emu.nix index 447c8fe26c..3ad7bc6361 100644 --- a/nix/t1/run/run-vcs-emu.nix +++ b/nix/t1/run/run-vcs-emu.nix @@ -19,7 +19,7 @@ stdenvNoCC.mkDerivation (rec { name = "${testCase.pname}-vcs-result" + (lib.optionalString emulator.enableTrace "-trace"); nativeBuildInputs = [ zstd jq ]; __noChroot = true; - coverType = "line+tgl+assert"; + coverType = "line+cond+fsm+tgl+branch+assert"; passthru = { caseName = testCase.pname;