Descrição
Fluxos de verificação de software podem usar um snapshot SVN do CPAchecker para análise configurável do comportamento de programas. É útil para pesquisadores e desenvolvedores que precisam da versão de desenvolvimento upstream para experimentos ou compatibilidade.
Snapshots de desenvolvimento podem mudar resultados entre atualizações. Registre entradas, configuração e versão da ferramenta ao comparar relatórios de verificação.