Your question is incomplete. fork is invoked for multiple reasons -- one being at the branch location, when the branch outcome could be both true and false (depending on the symbolic formula).
The best way to track is to put a breakpoint in fork function. It is defined in Executor.c and track whenever it is invoked, Regards, Sudipta On Tue, Apr 5, 2016 at 1:09 AM, Sumit Kumar <[email protected]> wrote: > Hi Natasha, > > Can you please give filename and line number(s) where the fork method is > invoked due to variable being changed to symbolic. > > -- > Thanks and Regards, > Sumit > > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
