Skip to content
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

Use qemu to run additional tests. #38

Open
wants to merge 5 commits into
base: rivos/main
Choose a base branch
from
Open

Conversation

beezow
Copy link
Collaborator

@beezow beezow commented Nov 29, 2022

This adds 4 additional tests that utilize the qemu core in humility. I added qemu-dump, qemu-readvar, qemu-halt, qemu-resume. While the results of halt and resume are not verified, they do ensure there are no panics. I did not replicate all of the commands, since I think we only need to exercise the various parts of the core; the commands themselves should already be verified via the dump core tests.

Just a heads up this PR contains lots of auto generated test output.

This depends on #36.

@beezow beezow requested a review from a team November 29, 2022 05:01
@beezow beezow marked this pull request as ready for review November 29, 2022 05:01
@beezow beezow force-pushed the dev/drew/qemu_and branch 3 times, most recently from 8aa1d92 to 518eb28 Compare November 30, 2022 01:39
Base automatically changed from dev/drew/qemu_and to rivos/main November 30, 2022 02:26
These tests first startup qemu with the image from the dump, then run a
humility command.  This test both running in qemu, as well as the qemu
core.  The included tests are `qemu-readvar`, `qemu-dump`, `qemu-halt`,
`qemu-resume`.

The autogenerated cases are included in the following commit.
This is needed to run the qemu checks within `cargo test`.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant