A symbolic Java virtual machine for program analysis, verification and test generation
GNU General Public License v3.0
101
stars
29
forks
source link
JDI stuck to initial state, and spawns new VMs to answer queries on uninterpreted functions #33
Closed
gdenaro73 closed 4 years ago
JDI stuck to initial state, and spawns new VMs to answer queries on uninterpreted functions