1 files changed, 0 insertions, 38 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.tests/xtend-gen/ca/mcgill/ecse/dslreasoner/tests/VampireLanguageParsingTest.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.tests/xtend-gen/ca/mcgill/ecse/dslreasoner/tests/VampireLanguageParsingTest.java
deleted file mode 100644
index 3bce3488..00000000
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.tests/xtend-gen/ca/mcgill/ecse/dslreasoner/tests/VampireLanguageParsingTest.java
+++ /dev/null
@@ -1,38 +0,0 @@
-/**

- * generated by Xtext 2.12.0

- */

-package ca.mcgill.ecse.dslreasoner.tests;

-

-import ca.mcgill.ecse.dslreasoner.tests.VampireLanguageInjectorProvider;

-import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel;

-import com.google.inject.Inject;

-import org.eclipse.xtend2.lib.StringConcatenation;

-import org.eclipse.xtext.testing.InjectWith;

-import org.eclipse.xtext.testing.XtextRunner;

-import org.eclipse.xtext.testing.util.ParseHelper;

-import org.eclipse.xtext.xbase.lib.Exceptions;

-import org.junit.Assert;

-import org.junit.Test;

-import org.junit.runner.RunWith;

-

-@RunWith(XtextRunner.class)

-@InjectWith(VampireLanguageInjectorProvider.class)

-@SuppressWarnings("all")

-public class VampireLanguageParsingTest {

-  @Inject

-  private ParseHelper<VampireModel> parseHelper;

-  

-  @Test

-  public void loadModel() {

-    try {

-      StringConcatenation _builder = new StringConcatenation();

-      _builder.append("Hello Xtext!");

-      _builder.newLine();

-      final VampireModel result = this.parseHelper.parse(_builder);

-      Assert.assertNotNull(result);

-      Assert.assertTrue(result.eResource().getErrors().isEmpty());

-    } catch (Throwable _e) {

-      throw Exceptions.sneakyThrow(_e);

-    }

-  }

-}