SMT solver may create a NPE if timeout is reached and no solution was found
Observed behaviour
See title.
Caused by
Scattered state and transformation code.
The problem occurs when transformSolution is called while the Z3 model
is empty.
(from redmine: issue id 3738, created on 2019-05-29, closed on 2019-06-11)
- Uploads: