NPE in SMT-based schedule synthesis
Steps to reproduce: Run SMT-based schedule synthesis on attached model(where all tasks have been allocated to the same execution unit).
- Open DSE perspective
- Select / Change Project
- Select existing DSE
- Schedule
- Select Task ->HW Allocation
- Generate yields below stack trace
Caused by: java.lang.NullPointerException
at org.fortiss.af3.exploration.smt.modeltransformation.DSLtoSMT.toSMTArithmetic(DSLtoSMT.java:284)
at org.fortiss.af3.exploration.smt.modeltransformation.DSLtoSMT.toSMT(DSLtoSMT.java:144)
at org.fortiss.af3.exploration.smt.modeltransformation.DSLtoSMT.toSMTBoolean(DSLtoSMT.java:225)
at org.fortiss.af3.exploration.smt.modeltransformation.DSLtoSMT.toSMT(DSLtoSMT.java:142)
at org.fortiss.af3.exploration.smt.modeltransformation.DSLtoSMT.toSMTBinder(DSLtoSMT.java:186)
at org.fortiss.af3.exploration.smt.modeltransformation.DSLtoSMT.toSMT(DSLtoSMT.java:140)
at org.fortiss.af3.exploration.smt.modeltransformation.DSLtoSMT.transfrom(DSLtoSMT.java:126)
at org.fortiss.af3.exploration.smt.modeltransformation.SolverRun.solveOptimized(SolverRun.java:150)
at org.fortiss.af3.exploration.smt.modeltransformation.ScheduleRun.solveSchedule(ScheduleRun.java:110)
at org.fortiss.af3.exploration.smt.modeltransformation.ScheduleRun.solveSchedule(ScheduleRun.java:99)
at org.fortiss.af3.exploration.ui.perspective.synthesis.ScheduleSynthesisViewBackend$1$1.run(ScheduleSynthesisViewBackend.java:169)
at org.fortiss.tooling.kernel.internal.storage.eclipse.ModelContext$4.execute(ModelContext.java:410)
at org.fortiss.tooling.kernel.internal.storage.eclipse.EMFTransactionalCommand$1.doExecute(EMFTransactionalCommand.java:55)
at org.eclipse.emf.transaction.RecordingCommand.execute(RecordingCommand.java:135)
at org.fortiss.tooling.kernel.internal.storage.eclipse.EMFTransactionalCommand$2.run(EMFTransactionalCommand.java:67)
at org.fortiss.tooling.kernel.internal.storage.eclipse.EMFTransactionalCommand.runInTransaction(EMFTransactionalCommand.java:99)
at org.fortiss.tooling.kernel.internal.storage.eclipse.EMFTransactionalCommand.execute(EMFTransactionalCommand.java:64)
at org.eclipse.emf.common.command.BasicCommandStack.execute(BasicCommandStack.java:78)
... 34 more
(from redmine: issue id 3328, created on 2018-03-07, closed on 2018-03-12)
- Uploads: