Enable to cancel Z3 based DSE
See subject.
Test
- Import attached ACC model
- Switch to DSE Perspective
- Home ->Select Change Project —>Select ACC/NEW DSE xxx -> Finish
- Home ->Deployment
- tick “Enable joint synthesis”
- tick “Enable minimization of latency”
- Generate
- Hit abort button in progress view (red square) before computation has finished.
(from redmine: issue id 3588, created on 2018-12-03, closed on 2018-12-06)
- Uploads: