12 #ifndef CPROVER_GOTO_INSTRUMENT_ALIGNMENT_CHECKS_H 13 #define CPROVER_GOTO_INSTRUMENT_ALIGNMENT_CHECKS_H 23 #endif // CPROVER_GOTO_INSTRUMENT_ALIGNMENT_CHECKS_H void print_struct_alignment_problems(const symbol_tablet &symbol_table, std::ostream &out)
Goto Programs with Functions.