Fix bug when refine raises exception.

pietrobraione / jbse

A symbolic Java virtual machine for program analysis, verification and test generation

http://pietrobraione.github.io/jbse/

GNU General Public License v3.0

101 stars 29 forks source link

Fix bug when refine raises exception. #39

Closed GAJaloyan closed 3 years ago

GAJaloyan commented 3 years ago

When refine method raises an exception, the operands that have been popped from the stack are not restored before failing the execution. Thus, when backtracking, the stack lacks the operands. This fix pops the operands after refining the statement.

pietrobraione commented 3 years ago

Thank you for the fix.