> how to set the argv to a symbolic value? Please read "Step 4: Introducing symbolic data to an application" in http://klee.github.io/klee/TestingCoreutils.html. This shows how to introduce symbolic command line arguments.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
