search

codespecs / daikon

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

Issue 532 #534

Closed markro49 closed 5 months ago

markro49 commented 6 months ago

We should not add the entire classpath to the boot classpath. Just the location of daikon; either daikon.jar or daikon/java:daikon/java/lib/*.

mernst commented 6 months ago

@markro49 Pull master into this branch when you get a chance.

markro49 commented 6 months ago

This is not the final version. I just wanted to checkpoint the changes I made in response to Michael's review.

markro49 commented 6 months ago

I have redone the method for computing the boot classpath. The one failure is the change in the lastest check we have already discussed. Please take a look at the changes.