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


1
2
3
4
5
6
7
8
9

package ca.mcgill.ecse.dslreasoner.vampire.icse;

@SuppressWarnings("all")
public class EcoreTest {
  public static void main(final String[] args) {
    throw new Error("Unresolved compilation problems:"
      + "\nInvalid number of arguments. The method solve(LogicProblem, LogicSolverConfiguration, ReasonerWorkspace) is not applicable for the arguments (LogicProblem,VampireSolverConfiguration,FileSystemWorkspace,String)");
  }
}