verification_result.cpp File Reference

Interface for the various verification engines providing results. More...

#include "verification_result.h"
#include <util/exit_codes.h>
#include <util/invariant.h>
#include <goto-checker/properties.h>
#include <algorithm>
#include <string>
#include <vector>

Include dependency graph for verification_result.cpp:

Go to the source code of this file.

Classes
class	verification_resultt::verification_result_implt

Functions
int	verifier_result_to_exit_code (verifier_resultt result)

Detailed Description

Interface for the various verification engines providing results.

Definition in file verification_result.cpp.

Function Documentation

verifier_result_to_exit_code()

int verifier_result_to_exit_code

(

verifier_resultt

result

)

Definition at line 155 of file verification_result.cpp.