NPE in joint synthesis
Running the joint deplo+sched synthesis in the attached model results into below NPE:
java.lang.NullPointerException
at org.fortiss.af3.exploration.smt.modeltransformation.DefaultExpressionTransformator.toSMTArithmetic(DefaultExpressionTransformator.java:138)
at org.fortiss.af3.exploration.smt.modeltransformation.DefaultExpressionTransformator.transform(DefaultExpressionTransformator.java:111)
at org.fortiss.af3.exploration.smt.modeltransformation.ConstraintTransformationAdapter.transform(ConstraintTransformationAdapter.java:97)
at org.fortiss.af3.exploration.smt.modeltransformation.DefaultExpressionTransformator.toSMTBoolean(DefaultExpressionTransformator.java:174)
at org.fortiss.af3.exploration.smt.modeltransformation.DefaultExpressionTransformator.transform(DefaultExpressionTransformator.java:107)
at org.fortiss.af3.exploration.smt.modeltransformation.ConstraintTransformationAdapter.transform(ConstraintTransformationAdapter.java:97)
at org.fortiss.af3.exploration.smt.modeltransformation.NonQuantifiedExpressionTransformator.toQuantifier(NonQuantifiedExpressionTransformator.java:80)
at org.fortiss.af3.exploration.smt.modeltransformation.NonQuantifiedExpressionTransformator.transform(NonQuantifiedExpressionTransformator.java:62)
at org.fortiss.af3.exploration.smt.modeltransformation.ConstraintTransformationAdapter.transform(ConstraintTransformationAdapter.java:97)
at org.fortiss.af3.exploration.smt.modeltransformation.DSMLtoSMTTransformator.extractSMTExpr(DSMLtoSMTTransformator.java:263)
at org.fortiss.af3.exploration.smt.modeltransformation.DSMLtoSMTTransformator.transform(DSMLtoSMTTransformator.java:188)
at org.fortiss.af3.exploration.smt.modeltransformation.SolverRun.solve(SolverRun.java:188)
at org.fortiss.af3.exploration.smt.backend.Z3Backend.executeDSE(Z3Backend.java:163)
at org.fortiss.af3.exploration.service.internal.DSEBackendService$1.run(DSEBackendService.java:174)
at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63)
(from redmine: issue id 3841, created on 2019-10-09, closed on 2019-10-11)
- Uploads: