clang format regression test

Author: Natasha Yogananda Jeppu

regression/cbmc/points-to-sets/test.desc

@@ -1,12 +1,8 @@
 CORE
 main.c
 --show-points-to-sets
-^EXIT=(0|127|134|137)$
+^EXIT=1$
 ^SIGNAL=0$
---- begin invariant violation report ---
-Invariant check failed
-Condition: false
-Reason: Cannot print json data on PLAIN UI
 --
 --
 To test output for --show-points-to-sets option that displays the size and contents of points-to sets in json format.

regression/cbmc/points-to-sets/test_xml.desc

@@ -1,12 +1,8 @@
 CORE
 main.c
 --show-points-to-sets --xml-ui
-^EXIT=(0|127|134|137)$
+^EXIT=1$
 ^SIGNAL=0$
---- begin invariant violation report ---
-Invariant check failed
-Condition: false
-Reason: Cannot print json data on XML UI
 --
 --
 To test output for --show-points-to-sets option that displays the size and contents of points-to sets in json format.