You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I have done my best to include a minimal, self-contained set of instructions for consistently reproducing the issue.
Bug Category
Other
Describe the bug
The validation-pbt fuzz target includes code to log inputs to files, but the validation-pbt-type-directed target does not, even though it's the same other than the choice of generator. We should either document the reason for the difference, or do the same thing in both places (and perhaps in other targets too).
Expected behavior
Consistent logging practices (or documented reasons for inconsistency).
Reproduction steps
Look at the code.
Code Snippet
No response
Log output
No response
Additional configuration
No response
Operating System
No response
Additional information and screenshots
No response
The text was updated successfully, but these errors were encountered:
Before opening, please confirm:
Bug Category
Other
Describe the bug
The
validation-pbt
fuzz target includes code to log inputs to files, but thevalidation-pbt-type-directed
target does not, even though it's the same other than the choice of generator. We should either document the reason for the difference, or do the same thing in both places (and perhaps in other targets too).Expected behavior
Consistent logging practices (or documented reasons for inconsistency).
Reproduction steps
Look at the code.
Code Snippet
No response
Log output
No response
Additional configuration
No response
Operating System
No response
Additional information and screenshots
No response
The text was updated successfully, but these errors were encountered: