Fix exit/signal specifications in enum-trace1

The patterns were being used without anchoring to the beginning or end of the
line.

Author: tautschnig

regression/cbmc-cover/branch-loop1/test.desc

@@ -2,8 +2,8 @@ CORE
 main.c
 --xml-ui --cover branch
 activate-multi-line-match
-EXIT=0
-SIGNAL=0
+^EXIT=0$
+^SIGNAL=0$
 </inputs>\n\s*<goal id="main\.coverage\.1"/>\n\s*<goal id="main\.coverage\.2"/>\n\s*<goal id="main\.coverage\.3"/>\n\s*<goal id="main\.coverage\.5"/>\n\s*</test>
 --
 ^warning: ignoring

regression/cbmc/enum-trace1/test_json.desc

@@ -2,8 +2,8 @@ CORE
 main.c
 --json-ui --function test --trace
 activate-multi-line-match
-EXIT=10
-SIGNAL=0
+^EXIT=10$
+^SIGNAL=0$
 VERIFICATION FAILED
 \{\n\s*"hidden": false,\n\s*"inputID": "e",\n\s*"internal": true,\n\s*"mode": "C",\n\s*"sourceLocation": \{(\n.*)*\},\n\s*"stepType": "input",\n\s*"thread": 0,\n\s*"values": \[\n\s*\{\n\s*"binary": "000000000000000000000000000000(0|1){2}",\n\s*"data": ".*E(1|2|3)",\n\s*"name": "integer",\n\s*"type": "enum",\n\s*"width": 32\n\s*\}\n\s*\]\n\s*\},
 \{\n\s*"hidden": false,\n\s*"inputID": "t",\n\s*"internal": true,\n\s*"mode": "C",\n\s*"sourceLocation": \{(\n.*)*\},\n\s*"stepType": "input",\n\s*"thread": 0,\n\s*"values": \[\n\s*\{\n\s*"binary": "000000000000000000000000000000(0|1){2}",\n\s*"data": ".*T(1|2|3)",\n\s*"name": "integer",\n\s*"type": "enum",\n\s*"width": 32\n\s*\}\n\s*\]\n\s*\},

regression/cbmc/enum-trace1/test_xml.desc

@@ -2,8 +2,8 @@ CORE
 main.c
 --xml-ui --function test --trace
 activate-multi-line-match
-EXIT=10
-SIGNAL=0
+^EXIT=10$
+^SIGNAL=0$
 VERIFICATION FAILED
 <input hidden="false" step_nr="\d+" thread="0">\n\s*<input_id>e</input_id>\n\s*<value>.*E(1|2|3)</value>\n\s*<value_expression>\n\s*<integer binary="000000000000000000000000000000(0|1){2}" c_type="enum" width="32">(0|1|2)</integer>\n\s*</value_expression>
 <input hidden="false" step_nr="\d+" thread="0">\n\s*<input_id>t</input_id>\n\s*<value>.*T(1|2|3)</value>\n\s*<value_expression>\n\s*<integer binary="000000000000000000000000000000(0|1){2}" c_type="enum" width="32">(0|1|2)</integer>\n\s*</value_expression>

regression/cbmc/function-return-no-body1/test.desc

@@ -2,8 +2,8 @@ CORE
 main.c
 --xml-ui
 activate-multi-line-match
-EXIT=10
-SIGNAL=0
+^EXIT=10$
+^SIGNAL=0$
 VERIFICATION FAILED
 <function_call hidden="false" step_nr="18" thread="0">\n\s*<function display_name="no_body" identifier="no_body">
 <function_return hidden="false" step_nr="19" thread="0">\n\s*<function display_name="no_body" identifier="no_body">