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@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
