transform only the component under verification
At present the complete project is transformed for verification. This makes the verification slower for large projects.
We should transform only the component for which verification is to be run.
(from redmine: issue id 3488, created on 2018-08-21, closed on 2018-09-19)
- Relations:
- relates #3408 (closed)
- parent #3489 (closed)