Move failing automata tests to openBugs (#611)

ultimate-pa · Nov 25, 2024 · 80ac196 · 80ac196
1 parent f850275
commit 80ac196
Show file tree

Hide file tree

Showing 12 changed files with 0 additions and 0 deletions.
diff --git a/...layedSimulation_MixedAcceptingStates1.ats → ...layedSimulation_MixedAcceptingStates1.ats b/...layedSimulation_MixedAcceptingStates1.ats → ...layedSimulation_MixedAcceptingStates1.ats
diff --git a/...layedSimulation_MixedAcceptingStates2.ats → ...layedSimulation_MixedAcceptingStates2.ats b/...layedSimulation_MixedAcceptingStates2.ats → ...layedSimulation_MixedAcceptingStates2.ats
diff --git a/...layedSimulation_MixedAcceptingStates3.ats → ...layedSimulation_MixedAcceptingStates3.ats b/...layedSimulation_MixedAcceptingStates3.ats → ...layedSimulation_MixedAcceptingStates3.ats
diff --git a/...layedSimulation_MixedAcceptingStates4.ats → ...layedSimulation_MixedAcceptingStates4.ats b/...layedSimulation_MixedAcceptingStates4.ats → ...layedSimulation_MixedAcceptingStates4.ats
diff --git a/...layedSimulation_MixedAcceptingStates5.ats → ...layedSimulation_MixedAcceptingStates5.ats b/...layedSimulation_MixedAcceptingStates5.ats → ...layedSimulation_MixedAcceptingStates5.ats
diff --git a/...a/MinimizeNwaPmaxSat_TestSuiteUsage05.ats → ...n/MinimizeNwaPmaxSat_TestSuiteUsage05.ats b/...a/MinimizeNwaPmaxSat_TestSuiteUsage05.ats → ...n/MinimizeNwaPmaxSat_TestSuiteUsage05.ats
diff --git a/...a/MinimizeNwaPmaxSat_TestSuiteUsage09.ats → ...n/MinimizeNwaPmaxSat_TestSuiteUsage09.ats b/...a/MinimizeNwaPmaxSat_TestSuiteUsage09.ats → ...n/MinimizeNwaPmaxSat_TestSuiteUsage09.ats
diff --git a/...eNwaPmaxSatDelayedTest_simpleExamples.ats → ...eNwaPmaxSatDelayedTest_simpleExamples.ats b/...eNwaPmaxSatDelayedTest_simpleExamples.ats → ...eNwaPmaxSatDelayedTest_simpleExamples.ats
diff --git a/...nceptualProblemDelayed02-NiceMountain.ats → ...nceptualProblemDelayed02-NiceMountain.ats b/...nceptualProblemDelayed02-NiceMountain.ats → ...nceptualProblemDelayed02-NiceMountain.ats
diff --git a/...ayedSimulation_DelayedNwaSimulation02.ats → ...ayedSimulation_DelayedNwaSimulation02.ats b/...ayedSimulation_DelayedNwaSimulation02.ats → ...ayedSimulation_DelayedNwaSimulation02.ats
diff --git a/...DelayedSimulation_FirefliesDownhill01.ats → ...DelayedSimulation_FirefliesDownhill01.ats b/...DelayedSimulation_FirefliesDownhill01.ats → ...DelayedSimulation_FirefliesDownhill01.ats
diff --git a/...ta/regression/ta/minimize_hopcroft_01.ats → ...mata/openBugs/ta/minimize_hopcroft_01.ats b/...ta/regression/ta/minimize_hopcroft_01.ats → ...mata/openBugs/ta/minimize_hopcroft_01.ats