debugging verilator_coverage

Peter-Herrmann · Apr 23, 2024 · 8040cb0 · 8040cb0
1 parent 3f25f74
commit 8040cb0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-ubuntu.yml b/.github/workflows/build-ubuntu.yml
@@ -72,7 +72,7 @@ jobs:
       - name: Generate Reports
         run: |
           echo "Merging Coverage Data..."
-          verilator_coverage -write-info riscof_work/coverage.info -read riscof_work/rv64i_m/*/src/*/dut/coverage.dat
+          verilator_coverage --write-info riscof_work/coverage.info riscof_work/rv64i_m/*/src/*/dut/coverage.dat
           echo "Generating HTML Coverage Report..."
           genhtml riscof_work/coverage.info -o riscof_work/coverage.html