[tests] fixes expected exit status in tests

tests/pp/baddirective.cpp

+/* run.config*
+EXIT: 1
+STDOPT:
+*/
+
 // Tests a misspelled directive
+
 /*@
 
 requires  \true;

tests/pp/baddirective2.cpp

+/* run.config*
+EXIT: 1
+STDOPT:
+*/
+
 // Tests a misspelled directive
 /*@
 

tests/pp/comment.cpp

+/* run.config*
+EXIT: 1
+STDOPT:
+*/
 // Tests a directive that just has a comment
 /*@
 

tests/pp/define.cpp

+/* run.config*
+EXIT: 1
+STDOPT:
+*/
+
 // Tests whether define directive is properly reported
 /*@
 

tests/pp/define2.cpp

+/* run.config
+EXIT: 1
+STDOPT:
+*/
+
 // Tests whether define directive is properly reported
 /*@
 

tests/pp/empty.cpp

+/* run.config*
+EXIT: 1
+STDOPT:
+*/
 // Tests an empty directive
 /*@
 

tests/pp/empty2.cpp

+/* run.config*
+EXIT:1
+STDOPT:
+*/
 // Tests an empty directive
 /*@
 

tests/pp/empty3.cpp

+/* run.config*
+EXIT: 1
+STDOPT:
+*/
 // Tests an empty directive at end of line
 //@ #
 void m() {}

tests/pp/oracle/baddirective.err.oracle

-tests/pp/baddirective.cpp:5:5: error: [pp] Invalid preprocessor directive [zzzzz] (ignoring line): #   zzzzz "Failure2"
+tests/pp/baddirective.cpp:11:5: error: [pp] Invalid preprocessor directive [zzzzz] (ignoring line): #   zzzzz "Failure2"
 #   zzzzz "Failure2"
     ^
 code generation aborted due to one compilation error

tests/pp/oracle/baddirective2.err.oracle

-tests/pp/baddirective2.cpp:5:2: error: [pp] Invalid preprocessor directive [zzzzz] (ignoring line): #zzzzz "Failure2"
+tests/pp/baddirective2.cpp:10:2: error: [pp] Invalid preprocessor directive [zzzzz] (ignoring line): #zzzzz "Failure2"
 #zzzzz "Failure2"
  ^
 code generation aborted due to one compilation error

tests/pp/oracle/comment.err.oracle

-tests/pp/comment.cpp:5:2: error: [pp] Missing preprocessor directive (ignoring line): # // asdasd
+tests/pp/comment.cpp:9:2: error: [pp] Missing preprocessor directive (ignoring line): # // asdasd
 # // asdasd
  ^
 code generation aborted due to one compilation error

tests/pp/oracle/define.err.oracle

-tests/pp/define.cpp:5:3: error: [pp] Preprocessor directive is not permitted in ACSL++ annotation (ignoring line): # define XX 0
+tests/pp/define.cpp:10:3: error: [pp] Preprocessor directive is not permitted in ACSL++ annotation (ignoring line): # define XX 0
 # define XX 0
   ^
 code generation aborted due to one compilation error

tests/pp/oracle/define2.err.oracle

-tests/pp/define2.cpp:4:3: error: [pp] Preprocessor directive is not permitted in ACSL++ annotation (ignoring line): # define XX 0
+tests/pp/define2.cpp:9:3: error: [pp] Preprocessor directive is not permitted in ACSL++ annotation (ignoring line): # define XX 0
 # define XX 0
   ^
 code generation aborted due to one compilation error

tests/pp/oracle/empty.err.oracle

-tests/pp/empty.cpp:5:2: error: [pp] Missing preprocessor directive (ignoring line): #
+tests/pp/empty.cpp:9:2: error: [pp] Missing preprocessor directive (ignoring line): #
 #
  ^
 code generation aborted due to one compilation error

tests/pp/oracle/empty2.err.oracle

-tests/pp/empty2.cpp:4:2: error: [pp] Missing preprocessor directive (ignoring line): #
+tests/pp/empty2.cpp:8:2: error: [pp] Missing preprocessor directive (ignoring line): #
 #
  ^
 code generation aborted due to one compilation error

tests/pp/oracle/empty3.err.oracle

-tests/pp/empty3.cpp:2:6: error: [pp] Missing preprocessor directive (ignoring line): #
+tests/pp/empty3.cpp:6:6: error: [pp] Missing preprocessor directive (ignoring line): #
 //@ #
      ^
 code generation aborted due to one compilation error

tests/pp/oracle/pragma.err.oracle

-tests/pp/pragma.cpp:5:6: error: [pp] Preprocessor directive is not permitted in ACSL++ annotation (ignoring line): # pragma asdasdasd
+tests/pp/pragma.cpp:9:6: error: [pp] Preprocessor directive is not permitted in ACSL++ annotation (ignoring line): # pragma asdasdasd
         # pragma asdasdasd
           ^
 code generation aborted due to one compilation error

tests/pp/oracle/valid_function1.res.oracle

 [kernel] Parsing tests/pp/valid_function1.cpp (external front-end)
 Now output intermediate result
-[kernel:annot-error] tests/pp/valid_function1.cpp:7: Warning: 
+[kernel:annot-error] tests/pp/valid_function1.cpp:11: Warning: 
   subscripted value is neither array nor pointer. Ignoring logic specification of function _Z1h
 [kernel] User Error: warning annot-error treated as fatal error.
 [kernel] User Error: stopping on file "tests/pp/valid_function1.cpp" that has errors.

tests/pp/oracle/valid_function2.res.oracle

 [kernel] Parsing tests/pp/valid_function2.cpp (external front-end)
 Now output intermediate result
-[kernel:annot-error] tests/pp/valid_function2.cpp:7: Warning: 
+[kernel:annot-error] tests/pp/valid_function2.cpp:11: Warning: 
   expecting a function pointer, found int *. Ignoring logic specification of function _Z2hh
 [kernel] User Error: warning annot-error treated as fatal error.
 [kernel] User Error: stopping on file "tests/pp/valid_function2.cpp" that has errors.

tests/pp/pragma.cpp

+/* run.config*
+EXIT: 1
+STDOPT:
+*/
 // Tests whether pragma directive is properly reported
 /*@