codespecs / daikon

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

changes to run daikon on jdk21 #552

Closed markro49 closed 2 months ago

markro49 commented 2 months ago

I think I may have messed up mernst/jdk21 so this is a copy for testing

markro49 commented 2 months ago

This should be identical to the jdk21 branch of mernst/daikon but i may have missed something.

mernst commented 2 months ago

This should be identical to the jdk21 branch of mernst/daikon but i may have missed something.

Yes, they are identical.