NPE when launching Deployment+Schedule synthesis
Steps to reproduce the error:
1. Run AF3
2. Import the enclosed model.
3. Open the DSE perspective ->Select AF3 Project ->Open the
model.
4. Go to deployment synthesis view ->Select checkbox Enable joint
schedule synthesis ->Press Generate
Stack trace generated:
!MESSAGE Error executing DSE:
null.
!STACK 0
java.lang.NullPointerException
at
org.fortiss.af3.exploration.smt.modeltransformation.BasicDeploScheduleConstraint.createECUNonOverlappingConstraints(BasicDeploScheduleConstraint.java:460)
at
org.fortiss.af3.exploration.smt.modeltransformation.BasicDeploScheduleConstraint.generateDeploScheduleConstraints(BasicDeploScheduleConstraint.java:129)
at
org.fortiss.af3.exploration.smt.backend.Z3Backend.executeDSE(Z3Backend.java:87)
at
org.fortiss.af3.exploration.service.internal.DSEBackendService$1.run(DSEBackendService.java:169)
at org.eclipse.core.internal.jobs.Worker.run(Worker.java:60)
!SUBENTRY 1 org.fortiss.af3.exploration 4 0 2019-03-06 15:43:11.873
!MESSAGE
org.fortiss.af3.exploration.smt.modeltransformation.BasicDeploScheduleConstraint.createECUNonOverlappingConstraints(BasicDeploScheduleConstraint.java:460)
!SUBENTRY 1 org.fortiss.af3.exploration 4 0 2019-03-06 15:43:11.873
!MESSAGE
org.fortiss.af3.exploration.smt.modeltransformation.BasicDeploScheduleConstraint.generateDeploScheduleConstraints(BasicDeploScheduleConstraint.java:129)
!SUBENTRY 1 org.fortiss.af3.exploration 4 0 2019-03-06 15:43:11.873
!MESSAGE
org.fortiss.af3.exploration.smt.backend.Z3Backend.executeDSE(Z3Backend.java:87)
!SUBENTRY 1 org.fortiss.af3.exploration 4 0 2019-03-06 15:43:11.873
!MESSAGE
org.fortiss.af3.exploration.service.internal.DSEBackendService$1.run(DSEBackendService.java:169)
!SUBENTRY 1 org.fortiss.af3.exploration 4 0 2019-03-06 15:43:11.873
!MESSAGE org.eclipse.core.internal.jobs.Worker.run(Worker.java:60)
(from redmine: issue id 3668, created on 2019-03-06, closed on 2019-03-11)
- Relations:
- parent #3659 (closed)
- Uploads: