Hi Sang, Yes -only-replay-seed could be the option to use instead of -only-seed, but you don't need to re-run KLEE for each seed though. There's -seed-out-dir option where you can specify a directory of seeds. Best, Andrew
Sent from Yahoo Mail on Android On Tue, Oct 16, 2018 at 7:50 AM, Sang Phan<phanquocs...@gmail.com> wrote: _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev