<div dir="ltr">Hi all,<br><br>Would anybody be willing to help me with the clfs package I have<br>written? The package defines contracts for all Common Lisp and UIOP<br>file system operations and can run random tests with them. I would<br>like to see what the random testing does on different combinations<br>of lisp implementations and file systems, and if implementation <br>independent contracts are feasible.<br><br>If the package works across implementations then the contracts can<br>help testing uiop and also each implementation's conformance to the<br>hyperspec. The problem is of course that the operations are not<br>defined that precisely, but results so far seem promising. I have run<br>the tests on Linux and Windows for sbcl and ccl. At this point there<br>are some edge cases left, but the general concept seems to work without<br>too many implementation specific details in the contracts.<br><br>The package can be found at <a href="https://github.com/lisper99/clfs">https://github.com/lisper99/clfs</a>. To run<br>the test you have to load the clfs-test package, create an empty <br>directory somewhere and call function clfs-test:test-contracts with <br>the directory as argument.<br><br>Any feedback or suggestions is appreciated.<br><br>Paul Griffioen</div>