Hi, Are there any plans to extend the Klee wiki page?
I think it would be useful to have a wiki area, where registered users could add for e.g. their experiences while testing different type of software with Klee or feedback on usability/problems occured. Furthermore, the "Klee Options" seems to be restricted: http://checking.stanford.edu/wiki/klee-options As several Klee options are not documented maybe I could find the information there. Thank you, Raimondas -- Raimondas Sasnauskas, PhD Student Distributed Systems Group RWTH Aachen University http://ds.cs.rwth-aachen.de/members/sasnauskas -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 2498 bytes Desc: not available Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20090120/527925f1/attachment.bin
