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
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 --force-interpreter=true). If you have examples where it's slower,
I'd be curious to take a look, please open an issue on GitHub.
Best,
Cristian
On
