Hi, On 11.12.19 13:43, Nani Hutagaol wrote: > > 2. I had read some email from > https://www.mail-archive.com/[email protected]/. Until now, all the > question just discuss about numerical program. Then, I also read some > publication paper from https://klee.github.io/publications/, but all paper > just talked about numerical program too. So, my question, Is this program > only use for numerical program input? Is it possible to use this tools for > non-numerical program input? If its is possible, is there any publication > discussed about it? Can you give me some insight?
Have a look here: https://klee.github.io/tutorials/ for a couple of examples with different input types. Moreover, in https://klee.github.io/publications/ you find an incomplete list of papers that use or extend KLEE. Just reading the titles might give you an idea of the applicability. Best, Martin _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
