Prepend `${HOME}` to Daikon installation location in docs

codespecs / daikon

Dynamic detection of likely invariants

http://plse.cs.washington.edu/daikon/

Other

214 stars 54 forks source link

Closed jyoo980 closed 4 months ago

jyoo980 commented 4 months ago

@mernst I needed to make this change to be able to run Daikon (play-testing for CSE P 504).

jyoo980 commented 4 months ago

No need to merge; the change is already on master.