>> $ klee-replay --create-files-only klee-last/test000070.ktest >> make_symbolic mismatch, different sizes: 6 in input file, 4 in code >> >> With "-sym-args 2 3 5" exactly the same klee-reply command seems to work >> (certainly it creates a file). >> >> Is this a bug that I should drop into Bugzilla or is it my lack of >> understanding? > > This seems like a bug, I would need to see a test case. >
Thanks for the report, Chris, just fixed it in r107005. Cristian
