Hi Russell, There are currently two examples in the repository already: https://github.com/klee/klee/tree/master/utils/data/Queries Those examples use KLEE’s kquery languages.
In general this is quite application specific and what might have been harder queries 4 years ago might be super fast to solve these days. To generate new queries, have a look here: https://klee.github.io/docs/solver-chain/#query-logging-solver This provides you with the necessary information. Best, Martin On 2. Jan 2021, at 03:20, Russell Wallace <[email protected]<mailto:[email protected]>> wrote: Is it possible to get hold of some sample STP problems generated by Klee in the course of analyzing some code? (Or problems generated for input to some other solver such as Z3 would be fine, too.) I haven't been able to find any in the links from the website. _______________________________________________ klee-dev mailing list [email protected]<mailto:[email protected]> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
