blob: 0654287fa545ab593edf80a58f184855b4ec9bdd (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
Error occured (AlloySolverException): Parser Exception
hu.bme.mit.inf.dlsreasoner.alloy.reasoner.builder.AlloyHandler.callSolver(AlloyHandler.java:98)
hu.bme.mit.inf.dlsreasoner.alloy.reasoner.AlloySolver.solve(AlloySolver.java:67)
hu.bme.mit.inf.dslreasoner.application.execution.GenerationTaskExecutor.executeGenerationTask(GenerationTaskExecutor.java:329)
hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor._execute(ScriptExecutor.java:141)
hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor.execute(ScriptExecutor.java:382)
hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor.executeScript(ScriptExecutor.java:122)
hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor.executeScript(StandaloneScriptExecutor.java:155)
hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor.executeScript(StandaloneScriptExecutor.java:147)
ca.mcgill.ecse.socialnetwork.runner.Main.runWithPath(Main.java:24)
ca.mcgill.ecse.socialnetwork.runner.Main.main(Main.java:36)
|
