Support manually killing a running state
lordidiot opened this issue · 0 comments
lordidiot commented
Similar to how pause is implemented (#67), it could be helpful if we could kill/abandon a state through the UI while manticore is solving.
This should be useful in scenarios where we've identified undesired states that are:
- In infinite loops / long loops
- In "bad" code paths, but we don't want to stop a long running manticore instance to add an
avoidhook - Hogging resources