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