Detailed Description

Definition at line 43 of file printf_formatter.h.

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

/home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-programs/printf_formatter.h