Výstupní soubory verifieru statického ovladače

SDV generuje několik různých typů výstupních souborů a souborů výsledků. Tato část popisuje soubory a jejich použití.

Tato část obsahuje:

Command-Line Output

Sdv-map.h

Při vyhodnocování výsledků ověření SDV je nutné pečlivě prozkoumat všechny výstupy a prošetřit případné chyby.