[klee-dev] Executing Concretely inside a certain function

[Hooman]

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