Project

General

Profile

Feature #8568

Updated by Evgeny Novikov over 2 years ago

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. Moreover several file transformations, e.g. preprocessing of CIF output files, should be avoided.

Back