Support generating multiple environment models per a EMG run
This requires changing VTG and existing implementation of verification tasks status tracking. EMG should aslo allow generating several models and their processing by a EMG translator.
Updated by Evgeny Novikov about 2 months ago
- Status changed from Resolved to Closed
- Category changed from Infrastructure of Core to Tasks generation
We tested and it seems that all previous functionality works as it was before. I merged the branch to master in 762216355. Let's see on cases when multiple environment models will be necessary.