Reuse processed models
|Assignee:||Ilja Zakharov||% Done:|
|Category:||Tasks generation||Spent time:||-|
|Published in build:|
After Ilja supported reusing SA and EMG results one of the most time consuming and redundant operation is processing the same models for various verification objects and rule specifications.