Starting execution at arbitrary point

[jiwonjoung]

Hello developers, According to the docs s2e can stop path exploration early using s2e_terminate. I'm wondering if there is a similar call to hold off path exploration until a certain point in the code.

I want to start and stop s2e exploration at arbitrary points in the program. Is this possible?

[vitalych]

There is an api to disable forking: s2e_disable_forking() / s2e_enable_forking(). It will still run symbolic execution but will prevent branches from forking.