ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
TypeCheckError Struct Reference

#include <type_checker.h>

Inheritance diagram for TypeCheckError:
[legend]

Public Member Functions

 TypeCheckError (const std::string &msg)

Constructor & Destructor Documentation

◆ TypeCheckError()

TypeCheckError::TypeCheckError ( const std::string & msg)
inlineexplicit

The documentation for this struct was generated from the following file: