Add regression test for --show-byte-ops parse option

Provides regression tests for the '--show-byte-ops' parse option.
This includes an equivalent test run with '--json-ui'.

Author: Natasha Yogananda Jeppu

regression/cbmc/byte-op-metric/main.c

@@ -0,0 +1,11 @@
+typedef unsigned char BYTE;
+
+int main()
+{
+  unsigned int value;
+  BYTE *bp = (BYTE *)(&value);
+
+  bp[0] = bp[2];
+  assert(1);
+  return 0;
+}

regression/cbmc/byte-op-metric/test.desc

@@ -0,0 +1,16 @@
+CORE
+main.c
+--show-byte-ops
+^EXIT=0$
+^SIGNAL=0$
+^Byte Extracts:$
+^.*main\.c line 8 function main$
+^.* byte\_extract\_little\_endian\(.*\)$
+^Number of byte extracts: 1$
+^Byte Updates:$
+^.*main\.c line 8 function main$
+^.* byte\_update\_little\_endian\(.*\)$
+^Number of byte updates: 1$
+--
+--
+To test --show-byte-ops option that displays byte extract and update metrics.

regression/cbmc/byte-op-metric/test_json.desc

@@ -0,0 +1,10 @@
+CORE
+main.c
+--show-byte-ops --json-ui
+activate-multi-line-match
+^EXIT=0$
+^SIGNAL=0$
+"byteOpsStats": \{\n\s*"byteExtractStats": \{\n\s*"byteExtractList": \[\n\s*\{\n\s*"sourceLocation": \{(\n.*)*\},\n\s*"ssaExpr": \{(\n.*)*\},\n\s*"ssaExprString": ".* .* byte\_extract\_little\_endian\(.*\)"\n\s*\}\n\s*\],\n\s*"numOfExtracts": 1\n\s*\},\n\s*"byteUpdateStats": \{\n\s*"byteUpdateList": \[\n\s*\{\n\s*"sourceLocation": \{(\n.*)*\},\n\s*"ssaExpr": \{(\n.*)*\},\n\s*"ssaExprString": ".* .* byte\_update\_little\_endian\(.*\)"\n\s*\}\n\s*\],\n\s*"numOfUpdates": 1\n\s*\}
+--
+--
+To test json output for --show-byte-ops option that displays byte extract and update metrics.