The reset signal (for the next test) is sent from Dispatch. As a result, the queues will be cleared in SVMNode.
The FSM is not reset. In fact, it's allowed to finish doing what it was.
After _executesymbolic, _retrieveresult is executed. This will cause the queue to be filled with the previous test's test cases - clearly wrong.
A solution may be to delete and recreate the FSM when the reset command is received, as is done in VMNode. This will mean terminating Klee and handling all exceptions from AsyncTask properly.
Scenario:
A solution may be to delete and recreate the FSM when the reset command is received, as is done in VMNode. This will mean terminating Klee and handling all exceptions from AsyncTask properly.