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

fuzzer: Call all fsm_print_* functions in each io mode when MODE=p. #416

Merged
merged 1 commit into from
Apr 27, 2023

Conversation

silentbicycle
Copy link
Collaborator

Continuation of #410, which was merged before this could be added (as requested).

This was previously v, for just fsm_print_vmc.

This currently fails pretty quickly, because several of the print functions print something like "unsupported IO mode" to stderr and exit(EXIT_FAILURE) rather than reporting an error to the callers.

This was previously `v`, for just `fsm_print_vmc`.

This currently fails pretty quickly, because several of the print
functions print something like "unsupported IO mode" to stderr and
`exit(EXIT_FAILURE)` rather than reporting an error to the callers.
@katef katef merged commit ee2f638 into main Apr 27, 2023
@katef katef deleted the sv/fuzz-fsm_print_vmc-part-2 branch April 27, 2023 21:11
@katef
Copy link
Owner

katef commented Apr 27, 2023

I'm merging this now, I/O stuff is coming shortly, and having this in main makes that a little easier for me.

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.

2 participants