diff --git a/nix/t1/run/default.nix b/nix/t1/run/default.nix index 453bb7dde..4895ae627 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 d54c8fc2c..19f965297 100644 --- a/nix/t1/run/run-vcs-emu.nix +++ b/nix/t1/run/run-vcs-emu.nix @@ -20,7 +20,7 @@ stdenvNoCC.mkDerivation (rec { name = "${testCase.pname}-vcs-result" + (lib.optionalString emulator.enableTrace "-trace"); nativeBuildInputs = [ zstd jq python3 ]; __noChroot = true; - coverType = "line+tgl+assert"; + coverType = "line+cond+fsm+tgl+branch+assert"; passthru = { caseName = testCase.pname;