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