Pliki wyjściowe weryfikatora sterowników statycznych

SdV generuje kilka różnych typów plików wyjściowych i wyników. W tej sekcji opisano pliki i sposób ich używania.

Ta sekcja zawiera następujące elementy:

Command-Line Output

Sdv-map.h

Podczas oceniania wyników weryfikacji SDV należy dokładnie zbadać wszystkie dane wyjściowe i zbadać wszelkie błędy.