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
