
FILE=remove
CMD=\\remove
SEC=sec:remove


include ../../Makefile.template

#WP_FLAGS += -wp-split

#WP_FLAGS += -wp-prop size
#WP_FLAGS += -wp-prop retain
#WP_FLAGS += -wp-prop discard
#WP_FLAGS += -wp-prop unchanged

#WP_FLAGS += -wp-prop="-@lemma"
#WP_FLAGS += -wp-prop @lemma

#WP_FLAGS += -wp-prop CountShift
#WP_FLAGS += -wp-prop UnchangedShift
#WP_FLAGS += -wp-prop PositiveCountImpliesHasValue
#WP_FLAGS += -wp-prop HasValueShiftInversion

TESTOBJ += -lmutating -lnonmutating

