
FILE=insertion_sort
CMD=\\insertionsort
SEC=sec:insertion_sort


include ../../Makefile.template

#WP_FLAGS += -wp-prop=sorted
#WP_FLAGS += -wp-prop=reorder
#WP_FLAGS += -wp-prop=unchanged
#WP_FLAGS += -wp-prop="-@lemma"

TESTOBJ += -lbinarysearch -lmutating


