Overview of predator-adt results for some modified Slayer examples ================================================================== False alarms: find_ret-m2.c create nondet length, find value, change value, destroy (OK) find_ret-m.c create 4, find value, change value (first not covered) Memory leak: straightline.c 8 list items creation (first not covered) O.K.: traverse3-m.c conditionally {create length, traverse, destroy} (OK) traverse5-m.c variant of traverse-m.c (OK) traverse-m.c create nondet length, traverse, destroy (OK) traverse_twice-m.c create nondet length, traverse, traverse again, destroy (OK)