
FILE=swap_ranges
CMD=\\swapranges
SEC=sec:swapranges

include ../../Makefile.template

TESTOBJ += -lmutating

#WP_FLAGS += -wp-prop equal_a,@lemma

