> 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.