cprover

goto-analyzer → goto-checker Relation

File in goto-analyzerIncludes file in goto-checker
static_verifier.hproperties.h