[klee-dev] Sample STP problems

[Nowack, Martin]

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 <russell.wallace at gmail.com<mailto:russell.wallace at gmail.com>> 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
klee-dev at imperial.ac.uk<mailto:klee-dev at imperial.ac.uk>
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

-------------- next part --------------
HTML attachment scrubbed and removed