ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
c_sizeof.cpp File Reference
Include dependency graph for c_sizeof.cpp:

Functions

exprt c_sizeof (const typet &src, const namespacet &ns)
expr2tc c_sizeof (const type2tc &src, const namespacet &ns)

Function Documentation

◆ c_sizeof() [1/2]

expr2tc c_sizeof ( const type2tc & src,
const namespacet & ns )

◆ c_sizeof() [2/2]

exprt c_sizeof ( const typet & src,
const namespacet & ns )