search

codespecs / daikon

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

simplfy junit test case detection #548

Closed markro49 closed 2 months ago

markro49 commented 3 months ago

Fixes issue #536.