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
Trying to debug what a harness did can be tricky with the current implementation. Ideally a harness would report a summary of its findings by default. This would include:
How long it ran
How many inputs it ran on
How many rejected inputs it encountered
Why it exited
Due to time limit exceeded?
Due to max iterations?
The text was updated successfully, but these errors were encountered:
Trying to debug what a harness did can be tricky with the current implementation. Ideally a harness would report a summary of its findings by default. This would include:
The text was updated successfully, but these errors were encountered: