Thanks for your reply. i am looking for a way where i can guide a condition to be always true or false. Is there a way through which i can tell klee to do that?
On Mon, Oct 28, 2013 at 12:20 AM, Loi Luu <[email protected]> wrote: > 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
