A symbolic Java virtual machine for program analysis, verification and test generation
GNU General Public License v3.0
101
stars
29
forks
source link
Fixes related to computing the context of SymbolicApply operators #46
Closed
gdenaro73 closed 3 years ago