Why dont u just return the program at that location? On 4 Jan 2014 19:58, "ThanhVu (Vu) Nguyen" <[email protected]> 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 > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
