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

Monitor testing framework, part 1 #222

Merged
merged 8 commits into from
Nov 30, 2024
Merged

Conversation

dbittman
Copy link
Contributor

This PR adds the monitor testing framework, as well as implementing the remaining necessary features in the monitor to run the tests.

  • Added montest and montest-lib, two crates that do an end-to-end test of the monitor and secure gates.
  • Added some initial tests to these crates, and fixed bugs to get them passing.
  • Add debug runtime support, fix bugs to get backtracing to work again.

The next PR will add an example service.

@dbittman dbittman added enhancement New feature or request toolchain Relating to the toolchain labels Nov 27, 2024
@dbittman dbittman self-assigned this Nov 27, 2024
@dbittman dbittman force-pushed the dbittman-monitor-final-patch3 branch 2 times, most recently from d5dbbfc to 7921fcf Compare November 27, 2024 23:21
@dbittman dbittman marked this pull request as ready for review November 29, 2024 22:14
@dbittman dbittman changed the base branch from dbittman-monitor-final-patch2 to main November 29, 2024 22:14
@dbittman dbittman force-pushed the dbittman-monitor-final-patch3 branch from 7921fcf to dfbfa18 Compare November 29, 2024 22:50
@dbittman dbittman merged commit 8d80b8c into main Nov 30, 2024
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request toolchain Relating to the toolchain
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants