pietrobraione/jbse

State refinement does not work when symbolic arrays and maps are present

pietrobraione opened this issue · 0 comments

pietrobraione commented

Symbolic arrays and maps were not considered when the state refinement algorithm was written.