search

codespecs / daikon

Dynamic detection of likely invariants
http://plse.cs.washington.edu/daikon/
Other
214 stars 54 forks source link

Remove .j11 files that are equivalent to the non-.j11 version #516

Closed mernst closed 11 months ago