search

codespecs / daikon

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

fix for daikon issue #538 #545

Closed markro49 closed 5 months ago

markro49 commented 5 months ago

Need to include the Dockerfiles in daikon.tar as they are referenced from 'Requirements for compiling Daikon' in the Daikon Developer manual; which is in turn referenced from the 'Installation' section of the Daikon manual.