[klee-dev] Stopping Klee when reaching a particular location

[Loi Luu]

Why dont u just return the program at that location?
On 4 Jan 2014 19:58, "ThanhVu (Vu) Nguyen" <nguyenthanhvuh at gmail.com> wrote:

> Hi, is there a trick to force KLEE to complete stop when reaching a
> particular location ?  I've tried putting klee_assert(0);  at the
> location I want but that just reports a KLEE: ERROR: ASSERTION FAIL: 0
> and then keeps going.  I want KLEE to stop as soon as it reports that
> error.
>
> --
> Vu
>
> _______________________________________________
> 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