CBMC
|
Alignment Checks. More...
#include <iosfwd>
Go to the source code of this file.
Functions | |
void | print_struct_alignment_problems (const symbol_table_baset &symbol_table, std::ostream &out) |
Alignment Checks.
Definition in file alignment_checks.h.
void print_struct_alignment_problems | ( | const symbol_table_baset & | symbol_table, |
std::ostream & | out | ||
) |
Definition at line 22 of file alignment_checks.cpp.