search

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

Adapted JDI guidance to handle JAVA_MAP models #38

Closed gdenaro73 closed 3 years ago

pietrobraione commented 3 years ago

Merged.