Support for MAP_MODELS of any class that implements java.util.Map

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

Closed gdenaro73 closed 3 years ago