[klee-dev] Guided Search - Help

[Andrew Santosa]

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<phanquocsang at gmail.com> wrote:   _______________________________________________
klee-dev mailing list
klee-dev at imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
  
-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: Untitled
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20181016/2308ce98/attachment.ksh>