From 19bace1fbd415a8fbe5146799c931122c3bc9469 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frank=20Sch=C3=BCssele?= Date: Wed, 28 Feb 2024 10:39:43 +0100 Subject: [PATCH] Remove duplicate settings/toolchain --- .../Automata/regression/ta/AutomataScriptInterpreter.xml | 8 -------- .../regression/ta/AutomataScriptInterpreter_default.epf | 5 ----- 2 files changed, 13 deletions(-) delete mode 100644 trunk/examples/Automata/regression/ta/AutomataScriptInterpreter.xml delete mode 100644 trunk/examples/Automata/regression/ta/AutomataScriptInterpreter_default.epf diff --git a/trunk/examples/Automata/regression/ta/AutomataScriptInterpreter.xml b/trunk/examples/Automata/regression/ta/AutomataScriptInterpreter.xml deleted file mode 100644 index 10e1b674dfa..00000000000 --- a/trunk/examples/Automata/regression/ta/AutomataScriptInterpreter.xml +++ /dev/null @@ -1,8 +0,0 @@ - - Ultimate Toolchain - - - - - - diff --git a/trunk/examples/Automata/regression/ta/AutomataScriptInterpreter_default.epf b/trunk/examples/Automata/regression/ta/AutomataScriptInterpreter_default.epf deleted file mode 100644 index 867bd18ce70..00000000000 --- a/trunk/examples/Automata/regression/ta/AutomataScriptInterpreter_default.epf +++ /dev/null @@ -1,5 +0,0 @@ -#Wed Aug 31 02:38:10 CEST 2016 -\!/instance/de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter= -file_export_version=3.0 -@de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter=0.0.1 -/instance/de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter/Ignore\ all\ commands\ and\ only\ execute\ below\ command=false