https://github.com/diffblue/cbmc
038ed78
commit 038ed78c9d49f08d6bd8db5e22a4596f2155efc8
Merge: b9372f1 6c6f873
Author: Michael Tautschnig <mt@debian.org>
Date:   Fri Dec 1 18:45:16 2017 +0200

    Merge pull request #1625 from karkhaz/kk-symext-is-messaget
    
    Make goto_symext a subtype of messaget

commit 6c6f8738f32127f781f683aaeb2baa6b6a4a47fd
Author: Kareem Khazem <karkhaz@karkhaz.com>
Date:   Tue Nov 14 11:25:13 2017 -0500

    Make goto_symext a subtype of messaget
    
    to enable debug(), status() etc. output from goto_symext.
