So I think you want something like klee_assume(a != 5 & b != 5 & c !5)
Thanks, On Mon, Oct 28, 2013 at 12:06 PM, ANAS faruqui <[email protected]>wrote: > Hello all, > > I want klee to output only the complete inputs and do not take the early > termination paths. > > For example : if we have a code as following > > int a, b, c; > > if(a==5) > exit(1); > > if (b==5) > exit(1); > > if (c==5) > exit(1); > > printf("success")' > > KLEE gives me many cases which include a or b or c = 5. > > What changes can i do (in KLEE or in the code) so that it will only > output cases which would contain all a, b, c, !=5. > > In other words can I force klee to make a condition always false or true? > > > thanks > > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > > -- Loi, Luu The (Mr.) RA at Security Lab, SoC, NUS
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
