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.
