From ea0289ad30d6943b74abc9542df59a838abb3a60 Mon Sep 17 00:00:00 2001 From: Dan Smathers Date: Wed, 16 Aug 2023 13:11:09 -0600 Subject: [PATCH] fixed example riscof coverage command Signed-off-by: Dan Smathers --- docs/source/coverage.rst | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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: