A symbolic Java virtual machine for program analysis, verification and test generation
GNU General Public License v3.0
103
stars
29
forks
source link
Handling input Map objects that derive from uninterpreted functions #57
Closed
gdenaro73 closed 3 years ago
…r other input Maps