Loading...

Searching...

No Matches

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.