-
Notifications
You must be signed in to change notification settings - Fork 41
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
need to update command on how to run coverage and fix directory path where riscof looks for elf #94
Comments
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/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 | tee cov.log Traceback (most recent call last): |
@pawks Can you share your command you use to run coverage and I will try that? I was guessing at the correct command because I didn't see a quickstart command that I could just run correctly? Thanks, |
The error you are seeing is because you didnt include the dataset.cgf in the command line. It should be the first file in the list of cgf file arguments. The correct command should look something like the following:
|
@dansmathers as we noted in the last SIG call.. the docs for "test contributors" is missing and we will be fixing that asap in the coming weeks. It would be great if you could list out the missing docs you encountered in your struggle so we can accurately address those and others together. Thanks for the inputs. |
Thanks. that command helped. I still see errors going by for some tests but the script ran. I was trying to build everything from scratch again to check but it looks like the current github sail build is currently broken. It does seem like it might be hard to do large unified pulls because there are 4 or 5 githubs that need to be kept in sync? |
moving issue from riscv-software-src/riscv-config#135
https://riscof.readthedocs.io/en/stable/coverage.html
The current directions say to run coverage:
riscof --verbose debug coverage --suite /path/to/suite --env /path/to/suite
this will generate an error. -c or --cgf_file is a required option.
However, even if -cgf_file is used, there is another error. riscof looks for the elf file in the wrong directory:
FileNotFoundError: [Errno 2] No such file or directory: '/riscof/riscof_work/rv32i_m/C/src/caddi-01.S/ref.elf'
but it looks like it should instead be looking in:
./rv32i_m/I/src/addi-01.S/ref/ref.elf
Thanks
I don't think the paths are wrong. Both would probably point to the same thing. All paths are resolved to be absolute paths before the actual execution of riscof starts. The former simply looks like the absolute path of the latter. I think the compilation was not successful. Can you share the entire log?
@dansmathers its better to move/track this issue in the riscof repo since it doesn't have anything to do with riscv-config.
The text was updated successfully, but these errors were encountered: