what do you have in mind to speed up the interpretation? What are the
current bottlenecks?
On 17/04/2020 02:38, Cristian Cadar wrote:
Improving the interpretation speed of KLEE is on our todo list. But
KLEE's speed should be comparable to that of lli in interpreter mode
(lli
Hi
last year at the KLEE dev workshop, someone (Martin?) talked about an
ongoing effort to enable different KLEE instances to share their
constraint caches.
Is there any update on this? Is it completed?
Thanks
___
klee-dev mailing list