
FILE=search
CMD=\\search
SEC=sec:search

include ../../Makefile.template


# verify "first"
#WP_FLAGS += -wp-prop first
#WP_FLAGS += -wp-prop lucy

# verify all but "first"
# WP_FLAGS += -wp-prop="-first"

# verify only lemmas
#WP_FLAGS += -wp-prop @lemma

# verify everything but lemmas
#WP_FLAGS += -wp-prop="-@lemma"



TESTOBJ += ../libnonmutating.a

