Add initialization constraints for object arrays - Githubissues

SymbolicPathFinder / jpf-symbc

Symbolic PathFinder

https://github.com/SymbolicPathFinder/jpf-symbc

130 stars 91 forks source link

Add initialization constraints for object arrays #24

Closed R1kM closed 5 years ago