1 files changed, 18 insertions, 0 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/.launch/Generate VampireLanguage (tptp) Language Infrastructure.launch b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/.launch/Generate VampireLanguage (tptp) Language Infrastructure.launch
new file mode 100644
index 00000000..1e23f694
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/.launch/Generate VampireLanguage (tptp) Language Infrastructure.launch
@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>

+<launchConfiguration type="org.eclipse.emf.mwe2.launch.Mwe2LaunchConfigurationType">

+<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">

+<listEntry value="/ca.mcgill.ecse.dslreasoner.vampire.language"/>

+</listAttribute>

+<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">

+<listEntry value="4"/>

+</listAttribute>

+<listAttribute key="org.eclipse.debug.ui.favoriteGroups">

+<listEntry value="org.eclipse.debug.ui.launchGroup.debug"/>

+<listEntry value="org.eclipse.debug.ui.launchGroup.run"/>

+</listAttribute>

+<stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${working_set:&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot;?&gt;&#10;&lt;resources&gt;&#10;&lt;item path=&quot;/ca.mcgill.ecse.dslreasoner.vampire.language&quot; type=&quot;4&quot;/&gt;&#10;&lt;item path=&quot;/ca.mcgill.ecse.dslreasoner.vampire.language.ide&quot; type=&quot;4&quot;/&gt;&#10;&lt;item path=&quot;/ca.mcgill.ecse.dslreasoner.vampire.language.ui&quot; type=&quot;4&quot;/&gt;&#10;&lt;item path=&quot;/ca.mcgill.ecse.dslreasoner.vampire.language.tests&quot; type=&quot;4&quot;/&gt;&#10;&lt;item path=&quot;/ca.mcgill.ecse.dslreasoner.vampire.language.ui.tests&quot; type=&quot;4&quot;/&gt;&#10;&lt;item path=&quot;/ca.mcgill.ecse.dslreasoner.vampire.language.tests&quot; type=&quot;4&quot;/&gt;&#10;&lt;item path=&quot;/ca.mcgill.ecse.dslreasoner.vampire.language.ui.tests&quot; type=&quot;4&quot;/&gt;&#10;;&lt;/resources&gt;}"/>

+<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="org.eclipse.emf.mwe2.launch.runtime.Mwe2Launcher"/>

+<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="ca.mcgill.ecse.dslreasoner.GenerateVampireLanguage"/>

+<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="ca.mcgill.ecse.dslreasoner.vampire.language"/>

+<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx512m"/>

+</launchConfiguration>