8000 `crucible-macaw-debug`: Test suite · Issue #467 · GaloisInc/macaw · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

crucible-macaw-debug: Test suite #467

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.

Sign up for GitHub

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

Jump to bottom
Open
RyanGlScott opened this issue Feb 17, 2025 · 0 comments
Open

crucible-macaw-debug: Test suite #467

RyanGlScott opened this issue Feb 17, 2025 · 0 comments
Labels
debugger Issues related to crucible-macaw-debug testing Issues related to the test suite

Comments

@RyanGlScott
Copy link
Contributor

crucible-macaw-debug should gain a test suite, similar to the existing test suites for crucible-debug. We will need to figure out which Macaw backend(s) to depend on in the test suite, but as a first start, it may suffice to choose one specific backend (e.g., macaw-x86-symbolic).
@RyanGlScott RyanGlScott added debugger Issues related to crucible-macaw-debug testing Issues related to the test suite labels Feb 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
debugger Issues related to crucible-macaw-debug testing Issues related to the test suite
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@RyanGlScott
0