This post describes the implementation of pysmtgcc. See “GCC Translation Validation” for background information.| Krister Walfridsson’s blog
