[klee-dev] what the third argument in SpecialFunctionHandler::handleMakeSymbolic

[Sumit Kumar]

Hi,

Can anyone please explain what the third argument is in the following
function/method:

SpecialFunctionHandler::handleMakeSymbolic(ExecutionState
&state,                 KInstruction *target,  std::vector<ref<Expr> >
&arguments)

Please explain what expressions are supposed to be contained in "arguments"
vector. Its not clear from the code.

--
Thanks and Regards,
Sumit
-------------- next part --------------
HTML attachment scrubbed and removed