Arquivos de saída do Driver Verifier estático

O SDV gera vários tipos diferentes de arquivos de saída e resultados. Esta seção descreve os arquivos e como usá-los.

Esta seção inclui:

Command-Line Output

Sdv-map.h

Ao avaliar os resultados de uma verificação SDV, você deve examinar toda a saída com cuidado e investigar quaisquer erros.