[klee-dev] fork

[Sudipta Chattopadhyay]

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 <sumitsum at iitk.ac.in> 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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
-------------- next part --------------
HTML attachment scrubbed and removed