Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.java


1
2
3
4
5
6
7
8
9
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");
  }
}