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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
