TESTS = \
	badOmod \
	badRenaming \
	badView \
	badStatement \
	fakeParameterSort \
	fakeParameterConstant \
	attributeOverparsing \
	ACU_TreeVariableSubproblem \
	operatorNames

MAUDE_FILES = \
	badOmod.maude \
	badRenaming.maude \
	badView.maude \
	badStatement.maude \
	fakeParameterSort.maude \
	fakeParameterConstant.maude \
	attributeOverparsing.maude \
	ACU_TreeVariableSubproblem.maude \
	operatorNames.maude

RESULT_FILES = \
	badOmod.expected \
	badRenaming.expected \
	badView.expected \
	badStatement.expected \
	fakeParameterSort.expected \
	fakeParameterConstant.expected \
	attributeOverparsing.expected \
	ACU_TreeVariableSubproblem.expected \
	operatorNames.expected

EXTRA_DIST = $(TESTS) $(MAUDE_FILES) $(RESULT_FILES)
