Modelsim 2021.4 (Windows): как исключить файлы из отчета о покрытии кода

Я пытаюсь исключить определенные файлы VHDL из отчета о покрытии кода, но не могу заставить его работать. В моем отчете всегда отображаются все доступные файлы.

Мой рабочий процесс выглядит следующим образом:

1. в Modelsim я компилирую файлы вручную (в графическом интерфейсе) с опцией Code Coverage.
2. тестбенч написан так

# Start simulation
vsim -coverage work.core_tb -t 1ps 
do wave/core_wave.do
view wave -undock
when -label end_of_simulation {end_of_sim == '1'} {echo "End of simulation" ; stop ;

coverage exclude -src ../../../design/hdl/FILE_1.vhd
coverage exclude -src ../../../design/hdl/FILE_2.vhd
coverage exclude -src ../../../design/hdl/FILE_3.vhd

coverage report -output ../../../design/sim/cc_reports/report.txt -srcfile=* -assert -directive -cvg -codeAll};

run -all
wave zoomfull

# Copy simulation results to local directory
file copy -force ./_Log.txt ../../../design/sim/sim_reports/safety_core_sim_results.txt

Modelsim распознает мои исключения (в графическом интерфейсе) как «ожидающие исключения». Когда я применяю их вручную (в графическом интерфейсе), файлы, показанные в окне «Покрытие экземпляров», уменьшаются, как предполагалось. Но почему отчет не меняется/подстраивается? Что я делаю не так?

Редактировать: Похоже, что так оно и работало со старой версией Modelsim.