diff --git a/docs/source/coverage.rst b/docs/source/coverage.rst index 0a447f1..6cf04a2 100644 --- a/docs/source/coverage.rst +++ b/docs/source/coverage.rst @@ -44,7 +44,8 @@ To run coverage .. code-block:: shell-session - $ riscof --verbose debug coverage --suite /path/to/suite --env /path/to/suite + $ riscof coverage --config=config.ini --suite=riscv-arch-test/riscv-test-suite/ --env=riscv-arch-test/riscv-test-suite/env --cgf-file /riscof/riscv-arch-test/coverage/dataset.cgf --cgf-file /riscof/riscv-arch-test/coverage/rvi_c.cgf --cgf-file /riscof/riscv-arch-test/coverage/rvi.cgf --cgf-file /riscof/riscv-arch-test/coverage/rvi_fencei.cgf --cgf-file /riscof/riscv-arch-test/coverage/rvi_m.cgf --cgf-file /riscof/riscv-arch-test/coverage/rvi_priv.cgf + The log of the above command is shown below: