Hi Raimondas, Sorry we haven't been updating the wiki regularly. If you would like an account on the wiki to implement your suggested updates, I'd be happy to create one for you. Or you could send me your feedback/experiences using Klee via email, and I can post it up to the wiki for you.
Philip On Tue, Jan 20, 2009 at 7:55 AM, Raimondas Sasnauskas < raimondas.sasnauskas at cs.rwth-aachen.de> wrote: > 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 > > > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.Stanford.EDU > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20090122/2a5c5639/attachment.html
