diff --git a/nix/t1/conversion/sv-to-vcs-simulator.nix b/nix/t1/conversion/sv-to-vcs-simulator.nix index 3e1074e15..4627af48a 100644 --- a/nix/t1/conversion/sv-to-vcs-simulator.nix +++ b/nix/t1/conversion/sv-to-vcs-simulator.nix @@ -48,7 +48,7 @@ stdenv.mkDerivation rec { ] ++ lib.optionals enableCover [ "-cm" - "line+cond+fsm+tgl+branch+assert" + "assert" "-cm_dir" "./cm" ]