Project

General

Profile

Feature #6602

Updated by Evgeny Novikov over 3 years ago

Each VTG plug-in strategy should report attributes that uniquely identify all their input (i.e. given these attributes and the same version of Core they always produce the same output). output) as well as attributes that are appropriate, say, for different invocations of verifiers. These attributes can include plug-in parameters, specification check-sums, resource limits, verifier name, version and configuration, versions of 3rd party tools like CIF and CIL, resource limits, verifier name, version and configuration. CIL. 

 Later this will help to quickly understand reasons of variations in verification results. 

Back