forked from gbury/dolmen
dolmen tests headers smtlib_error.expected