TESTS = \
	CUIbug12-22-09 \
	unificationMar2013 \
	parserJune2018 \
	staleViewJune2018 \
	showModuleJune2018 \
	clearRulesJune2018 \
	metaIntRewriteJune2018 \
	metaModuleCacheJune2018 \
	metaIntImportJune2018 \
	metaIntAscentJune2018 \
	objectMessageOct2018 \
	metaIntMatchOct2018 \
	physArgIndexOct2018 \
	metaApplyNov2018 \
	moduleSumMay2019 \
	parameterTheoryMay2019 \
	parameterTheoryCopyMay2019 \
	polymorphicOverloadMay2019 \
	viewRecursionMay2019 \
	instantiationJuly2019 \
	ascentFunctionsJanuary2020 \
	closeSocketFeb2020 \
	metaParseStrategyApril2020 \
	complexParserSyncApril2020 \
	identityUnificationMay2020 \
	sortCollapseMay2020 \
	ACU_MissingUnifiersMay2020 \
	variantUnifyJune2020 \
        identityUnificationSeptember2020 \
        CUI_OccursCheckSeptember2020 \
	attributeBugsNovember2020 \
	polymorphicParsingBugsNovember2020 \
	irredUnifyFeb2021 \
	deleteTimerMarch2021 \
	uninitIterExtSeptember2021 \
	loopModeStateAugust2021 \
	instantiatedViewInternalNameOctober2022 \
	degenerateFilteredVariantUnifyDecember2022 \
	kindNameDecember2022 \
	upTheoryJanuary2023 \
	spuriousAdvisoryRenamingCaptureJanuary2023 \
	smodStrategyNameJanuary2023 \
	moduleViewBadWarningFebruary2023 \
	theoryViewWrongWarningFebruary2023 \
	doubleAttributeFebruary2023 \
	showDesugaredFebruary2023 \
	endothFebruary2023 \
	specificOpMappingPrintFebruary2023 \
	theoryViewOpToTermFebruary2023 \
	metaAutoOoIncludeFebruary2023 \
	generatedByFebruary2023 \
	orphanedViewInstantiationFebruary2023 \
	moduleOrphanedByViewFebruary2023 \
	parameterizedConstantsMarch2023 \
	opRenamingParseErrorMarch2023 \
	metaNarrowingApplyMarch2023 \
	quotedTokenMarch2023 \
	renamingInstantiationMarch2023 \
	arityRenamingMarch2023 \
	parameterizedPolymorphicConstantMarch2023 \
	pseudoParametersMarch2023 \
	pseudoParameterTheoryConstantMarch2023 \
	redBlackNonLinearApril2023 \
	redBlackTooFewSubjectsApril2023 \
	redBlackNGA_April2023 \
	stripperCollectorSwitchMay2023 \
	filteredVariantUnifyJune2023 \
	conditionSideEffectInStrategyLanguageDecember2023 \
	stringToRatConversionMarch2024 \
	viewInstantiationAwkwardCaseApril2025 \
	viewInstantiationByModuleViewApril2025 \
	viewInstantiationByTheoryViewApril2025 \
	stratToExprNotValidMay2025 \
	invalidStrategyDefinitionJune2025 \
	viewInstantiationAwkwardCaseStrategyMay2025 \
	viewInstantiationByModuleViewStrategyMay2025 \
	viewInstantiationByTheoryViewStrategyMay2025 \
	fragmentBufferJune2025 \
	viewNameApril2025

MAUDE_FILES = \
	CUIbug12-22-09.maude \
	unificationMar2013.maude \
	parserJune2018.maude \
	staleViewJune2018.maude \
	showModuleJune2018.maude \
	clearRulesJune2018.maude \
	metaIntRewriteJune2018.maude \
	metaModuleCacheJune2018.maude \
	metaIntImportJune2018.maude \
	metaIntAscentJune2018.maude \
	objectMessageOct2018.maude \
	metaIntMatchOct2018.maude \
	physArgIndexOct2018.maude \
	metaApplyNov2018.maude \
	moduleSumMay2019.maude \
	parameterTheoryMay2019.maude \
	parameterTheoryCopyMay2019.maude \
	polymorphicOverloadMay2019.maude \
	viewRecursionMay2019.maude \
	instantiationJuly2019.maude \
	ascentFunctionsJanuary2020.maude \
	closeSocketFeb2020.maude \
	metaParseStrategyApril2020.maude \
	complexParserSyncApril2020.maude \
	identityUnificationMay2020.maude \
	sortCollapseMay2020.maude \
	ACU_MissingUnifiersMay2020.maude \
	variantUnifyJune2020.maude \
        identityUnificationSeptember2020.maude \
        CUI_OccursCheckSeptember2020.maude \
	attributeBugsNovember2020.maude \
	polymorphicParsingBugsNovember2020.maude \
	irredUnifyFeb2021.maude \
	deleteTimerMarch2021.maude \
	uninitIterExtSeptember2021.maude \
	loopModeStateAugust2021.maude \
	instantiatedViewInternalNameOctober2022.maude \
	degenerateFilteredVariantUnifyDecember2022.maude \
	kindNameDecember2022.maude \
	upTheoryJanuary2023.maude \
	spuriousAdvisoryRenamingCaptureJanuary2023.maude \
	smodStrategyNameJanuary2023.maude \
	moduleViewBadWarningFebruary2023.maude \
	theoryViewWrongWarningFebruary2023.maude \
	doubleAttributeFebruary2023.maude \
	showDesugaredFebruary2023.maude \
	endothFebruary2023.maude \
	specificOpMappingPrintFebruary2023.maude \
	theoryViewOpToTermFebruary2023.maude \
	metaAutoOoIncludeFebruary2023.maude \
	generatedByFebruary2023.maude \
	orphanedViewInstantiationFebruary2023.maude \
	moduleOrphanedByViewFebruary2023.maude \
	parameterizedConstantsMarch2023.maude \
	opRenamingParseErrorMarch2023.maude \
	metaNarrowingApplyMarch2023.maude  \
	quotedTokenMarch2023.maude \
	renamingInstantiationMarch2023.maude \
	arityRenamingMarch2023.maude \
	parameterizedPolymorphicConstantMarch2023.maude \
	pseudoParametersMarch2023.maude \
	pseudoParameterTheoryConstantMarch2023.maude \
	redBlackNonLinearApril2023.maude  \
	redBlackTooFewSubjectsApril2023.maude  \
	redBlackNGA_April2023.maude \
	stripperCollectorSwitchMay2023.maude \
	filteredVariantUnifyJune2023.maude \
	conditionSideEffectInStrategyLanguageDecember2023.maude \
	stringToRatConversionMarch2024.maude \
	viewInstantiationAwkwardCaseApril2025.maude \
	viewInstantiationByModuleViewApril2025.maude \
	viewInstantiationByTheoryViewApril2025.maude \
	stratToExprNotValidMay2025.maude \
	invalidStrategyDefinitionJune2025.maude \
	viewInstantiationAwkwardCaseStrategyMay2025.maude \
	viewInstantiationByModuleViewStrategyMay2025.maude \
	viewInstantiationByTheoryViewStrategyMay2025.maude \
	fragmentBufferJune2025.maude \
	viewNameApril2025.maude

RESULT_FILES = \
	CUIbug12-22-09.expected \
	unificationMar2013.expected \
	parserJune2018.expected \
	staleViewJune2018.expected \
	showModuleJune2018.expected \
	clearRulesJune2018.expected \
	metaIntRewriteJune2018.expected \
	metaModuleCacheJune2018.expected \
	metaIntImportJune2018.expected \
	metaIntAscentJune2018.expected \
	objectMessageOct2018.expected \
	metaIntMatchOct2018.expected \
	physArgIndexOct2018.expected \
	metaApplyNov2018.expected \
	moduleSumMay2019.expected \
	parameterTheoryMay2019.expected \
	parameterTheoryCopyMay2019.expected \
	polymorphicOverloadMay2019.expected \
	viewRecursionMay2019.expected \
	instantiationJuly2019.expected \
	ascentFunctionsJanuary2020.expected \
	closeSocketFeb2020.expected \
	metaParseStrategyApril2020.expected \
	complexParserSyncApril2020.expected \
	identityUnificationMay2020.expected \
	sortCollapseMay2020.expected \
	ACU_MissingUnifiersMay2020.expected \
	variantUnifyJune2020.expected \
        identityUnificationSeptember2020.expected \
        CUI_OccursCheckSeptember2020.expected \
	attributeBugsNovember2020.expected \
	polymorphicParsingBugsNovember2020.expected \
	irredUnifyFeb2021.expected \
	deleteTimerMarch2021.expected \
	uninitIterExtSeptember2021.expected \
	loopModeStateAugust2021.expected \
	instantiatedViewInternalNameOctober2022.expected \
	degenerateFilteredVariantUnifyDecember2022.expected \
	kindNameDecember2022.expected \
	upTheoryJanuary2023.expected \
	spuriousAdvisoryRenamingCaptureJanuary2023.expected \
	smodStrategyNameJanuary2023.expected \
	moduleViewBadWarningFebruary2023.expected \
	theoryViewWrongWarningFebruary2023.expected \
	doubleAttributeFebruary2023.expected \
	showDesugaredFebruary2023.expected \
	endothFebruary2023.expected \
	specificOpMappingPrintFebruary2023.expected \
	theoryViewOpToTermFebruary2023.expected \
	metaAutoOoIncludeFebruary2023.expected \
	generatedByFebruary2023.expected \
	orphanedViewInstantiationFebruary2023.expected \
	moduleOrphanedByViewFebruary2023.expected \
	parameterizedConstantsMarch2023.expected \
	opRenamingParseErrorMarch2023.expected \
	metaNarrowingApplyMarch2023.expected \
	quotedTokenMarch2023.expected \
	renamingInstantiationMarch2023.expected \
	arityRenamingMarch2023.expected \
	parameterizedPolymorphicConstantMarch2023.expected \
	pseudoParametersMarch2023.expected \
	pseudoParameterTheoryConstantMarch2023.expected \
	redBlackNonLinearApril2023.expected \
	redBlackTooFewSubjectsApril2023.expected \
	redBlackNGA_April2023.expected \
	stripperCollectorSwitchMay2023.expected \
	filteredVariantUnifyJune2023.expected \
	conditionSideEffectInStrategyLanguageDecember2023.expected \
	stringToRatConversionMarch2024.expected \
	viewInstantiationAwkwardCaseApril2025.expected \
	viewInstantiationByModuleViewApril2025.expected \
	viewInstantiationByTheoryViewApril2025.expected \
	stratToExprNotValidMay2025.expected \
	invalidStrategyDefinitionJune2025.expected \
	viewInstantiationAwkwardCaseStrategyMay2025.expected \
	viewInstantiationByModuleViewStrategyMay2025.expected \
	viewInstantiationByTheoryViewStrategyMay2025.expected \
	fragmentBufferJune2025.expected \
	viewNameApril2025.expected

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