Replace creation of empty arrays by references to global variables - Githubissues

codespecs / daikon

Dynamic detection of likely invariants

http://plse.cs.washington.edu/daikon/

Other

214 stars 54 forks source link

Replace creation of empty arrays by references to global variables #541

Closed mernst closed 4 months ago