Add tests of multi-line statement coverage

To show that the new updated printing is working correctly.

Author: thomasspriggs

regression/cbmc-cover/location-multiline-statement/dereference.h

@@ -0,0 +1,2 @@
+
+*

regression/cbmc-cover/location-multiline-statement/example.c

@@ -0,0 +1,23 @@
+#include <stdlib.h>
+
+int foo(int x, int y)
+{
+  return x;
+}
+
+int main()
+{
+  int *ptr = malloc(sizeof(*ptr));
+
+  // clang-format off
+  foo(1,
+      *ptr);
+  // clang-format on
+
+  if(0)
+  {
+    *ptr = 0;
+  }
+
+  return 0;
+}

regression/cbmc-cover/location-multiline-statement/multi-file.c

@@ -0,0 +1,25 @@
+#include <stdlib.h>
+
+int foo(int x, int y)
+{
+  return x;
+}
+
+int main()
+{
+  int *ptr = malloc(sizeof(*ptr));
+
+  // clang-format off
+  foo(
+    1,
+#include "dereference.h"
+    ptr);
+  // clang-format on
+
+  if(0)
+  {
+    *ptr = 0;
+  }
+
+  return 0;
+}

regression/cbmc-cover/location-multiline-statement/multi-file.desc

@@ -0,0 +1,11 @@
+CORE
+multi-file.c
+--cover location
+^EXIT=0$
+^SIGNAL=0$
+^\[main.coverage.2\] file multi-file.c line 10 function main block 2 \(lines dereference.h:main:2; multi-file.c:main:10,13,14,16\): SATISFIED
+--
+^warning: ignoring
+--
+Test that the lines covered by location coverage in the output include all lines
+of a multi-line statement where some of the lines are in an included file.

regression/cbmc-cover/location-multiline-statement/test.desc

@@ -0,0 +1,11 @@
+CORE
+example.c
+--cover location
+^EXIT=0$
+^SIGNAL=0$
+^\[main.coverage.2\] file example.c line 10 function main block 2 \(lines example.c:main:10,13,14\): SATISFIED$
+--
+^warning: ignoring
+--
+Test that the lines covered by location coverage in the output include all lines
+of a multi-line statement.