search

codespecs / daikon

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

Adapt to CF's type argument inference improvements. #518

Closed smillst closed 9 months ago

smillst commented 11 months ago

https://github.com/typetools/checker-framework/pull/6138

The CI failure is because the bundled and latest CFs have different behavior. So, this PR should be merged just before a release is made.