forked from gbury/dolmen
dolmen tests headers smtlib_warn.expected