JVM crash with unsat cores
Steps to reproduce:
- Import the Simple6-nodepl_constraints.af3_23 model from #3555
- Active DSE perspective
- Home ->Select / Change Project -> Simple6-nodepl_constraints->NEW DSE ->Finish
- Home ->Deployment
- Select “Couple 1,2” rule set
- Select “Decouple 1,2” rule set
- Select “Enable joint schedule synthesis”
- Select “Enable minimization of latency”
- Generate
- AF3 crashes completely due to an JVM access violation exception. See attached log file
(from redmine: issue id 3566, created on 2018-10-31, closed on 2018-11-13)
- Uploads:
- hs_err_pid920.log
- hs_err_pid5896.log Crash with TreeMap