1 files changed, 10 insertions, 0 deletions

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.java
new file mode 100644
index 00000000..fa4ef6b9
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.java
@@ -0,0 +1,10 @@
+package ca.mcgill.ecse.dslreasoner.vampire.icse;

+

+@SuppressWarnings("all")

+public class YakinduTest {

+  public static void main(final String[] args) {

+    throw new Error("Unresolved compilation problems:"

+      + "\nmissing \')\' at \'GeneralTest\'"

+      + "\nType mismatch: cannot convert from String to IQueryGroup");

+  }

+}