From b37cf8866c2595d4216df86cf81d26532a94b7d7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frank=20Sch=C3=BCssele?= Date: Thu, 19 Sep 2024 13:12:00 +0200 Subject: [PATCH] Move failing automata tests to openBugs (#611) --- .../nwa-minimization}/DelayedSimulation_MixedAcceptingStates1.ats | 0 .../nwa-minimization}/DelayedSimulation_MixedAcceptingStates2.ats | 0 .../nwa-minimization}/DelayedSimulation_MixedAcceptingStates3.ats | 0 .../nwa-minimization}/DelayedSimulation_MixedAcceptingStates4.ats | 0 .../nwa-minimization}/DelayedSimulation_MixedAcceptingStates5.ats | 0 .../nwa-minimization}/MinimizeNwaPmaxSat_TestSuiteUsage05.ats | 0 .../nwa-minimization}/MinimizeNwaPmaxSat_TestSuiteUsage09.ats | 0 .../MinimzeNwaPmaxSatDelayedTest_simpleExamples.ats | 0 ...DelayedSimulationB_ConceptualProblemDelayed02-NiceMountain.ats | 0 .../ReduceNwaDelayedSimulation_DelayedNwaSimulation02.ats | 0 .../ReduceNwaDelayedSimulation_FirefliesDownhill01.ats | 0 .../Automata/{regression => openBugs}/ta/minimize_hopcroft_01.ats | 0 12 files changed, 0 insertions(+), 0 deletions(-) rename trunk/examples/Automata/{regression/nwa/operations/minimization/nwa => openBugs/nwa-minimization}/DelayedSimulation_MixedAcceptingStates1.ats (100%) rename trunk/examples/Automata/{regression/nwa/operations/minimization/nwa => openBugs/nwa-minimization}/DelayedSimulation_MixedAcceptingStates2.ats (100%) rename trunk/examples/Automata/{regression/nwa/operations/minimization/nwa => openBugs/nwa-minimization}/DelayedSimulation_MixedAcceptingStates3.ats (100%) rename trunk/examples/Automata/{regression/nwa/operations/minimization/nwa => openBugs/nwa-minimization}/DelayedSimulation_MixedAcceptingStates4.ats (100%) rename trunk/examples/Automata/{regression/nwa/operations/minimization/nwa => openBugs/nwa-minimization}/DelayedSimulation_MixedAcceptingStates5.ats (100%) rename trunk/examples/Automata/{regression/nwa/operations/minimization/nwa => openBugs/nwa-minimization}/MinimizeNwaPmaxSat_TestSuiteUsage05.ats (100%) rename trunk/examples/Automata/{regression/nwa/operations/minimization/nwa => openBugs/nwa-minimization}/MinimizeNwaPmaxSat_TestSuiteUsage09.ats (100%) rename trunk/examples/Automata/{regression/nwa/operations/minimization/nwa => openBugs/nwa-minimization}/MinimzeNwaPmaxSatDelayedTest_simpleExamples.ats (100%) rename trunk/examples/Automata/{regression/nwa/operations/minimization/nwa => openBugs/nwa-minimization}/ReduceNwaDelayedSimulationB_ConceptualProblemDelayed02-NiceMountain.ats (100%) rename trunk/examples/Automata/{regression/nwa/operations/minimization/nwa => openBugs/nwa-minimization}/ReduceNwaDelayedSimulation_DelayedNwaSimulation02.ats (100%) rename trunk/examples/Automata/{regression/nwa/operations/minimization/nwa => openBugs/nwa-minimization}/ReduceNwaDelayedSimulation_FirefliesDownhill01.ats (100%) rename trunk/examples/Automata/{regression => openBugs}/ta/minimize_hopcroft_01.ats (100%) diff --git a/trunk/examples/Automata/regression/nwa/operations/minimization/nwa/DelayedSimulation_MixedAcceptingStates1.ats b/trunk/examples/Automata/openBugs/nwa-minimization/DelayedSimulation_MixedAcceptingStates1.ats similarity index 100% rename from trunk/examples/Automata/regression/nwa/operations/minimization/nwa/DelayedSimulation_MixedAcceptingStates1.ats rename to trunk/examples/Automata/openBugs/nwa-minimization/DelayedSimulation_MixedAcceptingStates1.ats diff --git a/trunk/examples/Automata/regression/nwa/operations/minimization/nwa/DelayedSimulation_MixedAcceptingStates2.ats b/trunk/examples/Automata/openBugs/nwa-minimization/DelayedSimulation_MixedAcceptingStates2.ats similarity index 100% rename from trunk/examples/Automata/regression/nwa/operations/minimization/nwa/DelayedSimulation_MixedAcceptingStates2.ats rename to trunk/examples/Automata/openBugs/nwa-minimization/DelayedSimulation_MixedAcceptingStates2.ats diff --git a/trunk/examples/Automata/regression/nwa/operations/minimization/nwa/DelayedSimulation_MixedAcceptingStates3.ats b/trunk/examples/Automata/openBugs/nwa-minimization/DelayedSimulation_MixedAcceptingStates3.ats similarity index 100% rename from trunk/examples/Automata/regression/nwa/operations/minimization/nwa/DelayedSimulation_MixedAcceptingStates3.ats rename to trunk/examples/Automata/openBugs/nwa-minimization/DelayedSimulation_MixedAcceptingStates3.ats diff --git a/trunk/examples/Automata/regression/nwa/operations/minimization/nwa/DelayedSimulation_MixedAcceptingStates4.ats b/trunk/examples/Automata/openBugs/nwa-minimization/DelayedSimulation_MixedAcceptingStates4.ats similarity index 100% rename from trunk/examples/Automata/regression/nwa/operations/minimization/nwa/DelayedSimulation_MixedAcceptingStates4.ats rename to trunk/examples/Automata/openBugs/nwa-minimization/DelayedSimulation_MixedAcceptingStates4.ats diff --git a/trunk/examples/Automata/regression/nwa/operations/minimization/nwa/DelayedSimulation_MixedAcceptingStates5.ats b/trunk/examples/Automata/openBugs/nwa-minimization/DelayedSimulation_MixedAcceptingStates5.ats similarity index 100% rename from trunk/examples/Automata/regression/nwa/operations/minimization/nwa/DelayedSimulation_MixedAcceptingStates5.ats rename to trunk/examples/Automata/openBugs/nwa-minimization/DelayedSimulation_MixedAcceptingStates5.ats diff --git a/trunk/examples/Automata/regression/nwa/operations/minimization/nwa/MinimizeNwaPmaxSat_TestSuiteUsage05.ats b/trunk/examples/Automata/openBugs/nwa-minimization/MinimizeNwaPmaxSat_TestSuiteUsage05.ats similarity index 100% rename from trunk/examples/Automata/regression/nwa/operations/minimization/nwa/MinimizeNwaPmaxSat_TestSuiteUsage05.ats rename to trunk/examples/Automata/openBugs/nwa-minimization/MinimizeNwaPmaxSat_TestSuiteUsage05.ats diff --git a/trunk/examples/Automata/regression/nwa/operations/minimization/nwa/MinimizeNwaPmaxSat_TestSuiteUsage09.ats b/trunk/examples/Automata/openBugs/nwa-minimization/MinimizeNwaPmaxSat_TestSuiteUsage09.ats similarity index 100% rename from trunk/examples/Automata/regression/nwa/operations/minimization/nwa/MinimizeNwaPmaxSat_TestSuiteUsage09.ats rename to trunk/examples/Automata/openBugs/nwa-minimization/MinimizeNwaPmaxSat_TestSuiteUsage09.ats diff --git a/trunk/examples/Automata/regression/nwa/operations/minimization/nwa/MinimzeNwaPmaxSatDelayedTest_simpleExamples.ats b/trunk/examples/Automata/openBugs/nwa-minimization/MinimzeNwaPmaxSatDelayedTest_simpleExamples.ats similarity index 100% rename from trunk/examples/Automata/regression/nwa/operations/minimization/nwa/MinimzeNwaPmaxSatDelayedTest_simpleExamples.ats rename to trunk/examples/Automata/openBugs/nwa-minimization/MinimzeNwaPmaxSatDelayedTest_simpleExamples.ats diff --git a/trunk/examples/Automata/regression/nwa/operations/minimization/nwa/ReduceNwaDelayedSimulationB_ConceptualProblemDelayed02-NiceMountain.ats b/trunk/examples/Automata/openBugs/nwa-minimization/ReduceNwaDelayedSimulationB_ConceptualProblemDelayed02-NiceMountain.ats similarity index 100% rename from trunk/examples/Automata/regression/nwa/operations/minimization/nwa/ReduceNwaDelayedSimulationB_ConceptualProblemDelayed02-NiceMountain.ats rename to trunk/examples/Automata/openBugs/nwa-minimization/ReduceNwaDelayedSimulationB_ConceptualProblemDelayed02-NiceMountain.ats diff --git a/trunk/examples/Automata/regression/nwa/operations/minimization/nwa/ReduceNwaDelayedSimulation_DelayedNwaSimulation02.ats b/trunk/examples/Automata/openBugs/nwa-minimization/ReduceNwaDelayedSimulation_DelayedNwaSimulation02.ats similarity index 100% rename from trunk/examples/Automata/regression/nwa/operations/minimization/nwa/ReduceNwaDelayedSimulation_DelayedNwaSimulation02.ats rename to trunk/examples/Automata/openBugs/nwa-minimization/ReduceNwaDelayedSimulation_DelayedNwaSimulation02.ats diff --git a/trunk/examples/Automata/regression/nwa/operations/minimization/nwa/ReduceNwaDelayedSimulation_FirefliesDownhill01.ats b/trunk/examples/Automata/openBugs/nwa-minimization/ReduceNwaDelayedSimulation_FirefliesDownhill01.ats similarity index 100% rename from trunk/examples/Automata/regression/nwa/operations/minimization/nwa/ReduceNwaDelayedSimulation_FirefliesDownhill01.ats rename to trunk/examples/Automata/openBugs/nwa-minimization/ReduceNwaDelayedSimulation_FirefliesDownhill01.ats diff --git a/trunk/examples/Automata/regression/ta/minimize_hopcroft_01.ats b/trunk/examples/Automata/openBugs/ta/minimize_hopcroft_01.ats similarity index 100% rename from trunk/examples/Automata/regression/ta/minimize_hopcroft_01.ats rename to trunk/examples/Automata/openBugs/ta/minimize_hopcroft_01.ats