ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
type_checker.cpp File Reference
#include <ld-frontend/semantics/type_checker.h>
#include <algorithm>
#include <cstdint>
#include <sstream>
Include dependency graph for type_checker.cpp:

Functions

static bool init_value_fits (const VarDecl &v)

Function Documentation

◆ init_value_fits()

bool init_value_fits ( const VarDecl & v)
static