[klee-dev] main function

[geocide at 163.com]

hi, all

I want to make the arguments of 'main' function symbolic.

For example,
 int main(int argr, char* argv[])
{.....}
how to set the argv to a symbolic value?



xdzhang at sei.xjtu.edu.cn
-------------- next part --------------
HTML attachment scrubbed and removed