Hi,
On Tue, 5 Jan 2021 15:01:48 +0800 JingXiaoni <jingxia...@icloud.com> wrote: > My question is how can I do to make the ktest can replay normally.For > example:there is a way to delete the symbols in ktest file to make > the ktest symbols are corresponding to the modified target test code. The ktest file format is quite simple. You could extend ktest-tool (Python script) to write a new file with adapted object/argument counters and filter objects by their name. Kind regards, Frank _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev