search

codespecs / daikon

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

Fix Daikon issue 556 #560

Closed markro49 closed 1 month ago

markro49 commented 1 month ago

don't instrument Evosuite targets several improvements for class files prior to Java 8 don't instrument proxy classes (minor cleanup of Makefile)