Dear all,I was wondering if there is a simple way to make KLEE execute a function concretely. Here's the situation:
I am calling a function which causes state explosion. I want KLEE not to fork inside that function(some parameters to the function are symbolic). Is there any simple way to do that. Thanks in advance.
Best, Hooman _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
