Merge pull request #3441 from diffblue/smt2_parser_errors

SMT2 parser errors

Author: tautschnig

regression/smt2_solver/function-applications/function-application2.desc

@@ -1,7 +1,7 @@
 CORE
 function-application2.smt2
 
-^EXIT=134$
+^EXIT=20$
 ^SIGNAL=0$
 ^\(error "line 5: type mismatch in function definition: expected `\(_ BitVec 16\)' but got `\(_ BitVec 8\)'"\)$
 --