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
Is your feature request related to a problem? Please describe.
If you try to kill CrossHair early with a Ctrl-C, and it happens to be in the middle of running your code (which it usually is), CrossHair will catch the exception and consider it to be a problem with the code under analysis.
Describe the solution you'd like
We should probably instead assume that KeyboardInterrupt is meant to stop crosshair itself.
Note that in extremely rare cases, the current behavior could be what's intended (verifying some helper function that explicitly raises the KeyboardInterrupt exception, for instance)
The text was updated successfully, but these errors were encountered:
Is your feature request related to a problem? Please describe.
If you try to kill CrossHair early with a Ctrl-C, and it happens to be in the middle of running your code (which it usually is), CrossHair will catch the exception and consider it to be a problem with the code under analysis.
Describe the solution you'd like
We should probably instead assume that KeyboardInterrupt is meant to stop crosshair itself.
Note that in extremely rare cases, the current behavior could be what's intended (verifying some helper function that explicitly raises the KeyboardInterrupt exception, for instance)
The text was updated successfully, but these errors were encountered: