How to perform continuous concolic testing?

[grandnew]

I've tried running symsan to test one program by providing one seed input and symsan exited after ~30s.

Is the concolic testing finished?

Can I run the testing again on using one of the input in the out_dir to perform continuous concolic testing, just like what is done in symcc.

[ChengyuSong]

For that single input, yes, once exited, the testing is done. And yes, you can write a simple loop to keep consuming the generated inputs. Though I'd suggest you use the afl++ custom_mutator if you want to run for a long time.