[klee-dev] Complete Input with klee

[Loi Luu]

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 <anas.faruqui at gmail.com>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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
>


-- 
Loi, Luu The (Mr.)
RA at Security Lab, SoC, NUS
-------------- next part --------------
HTML attachment scrubbed and removed