Made jsonArrays test less strict

Author: thk123

regression/strings-smoke-tests/jsonArrays/test.desc

@@ -3,7 +3,7 @@ test.class
 --refine-strings --function test.check --json-ui --trace --string-max-length 100 --cover location
 ^EXIT=0$
 ^SIGNAL=0$
-\"data\".*\"tmp_object_factory\$6.*\"
+\"data\".*\"tmp_object_factory\$\d+.*\"
 --
 This checks that tmp_object_factory$6 gets affected to the data field
 of some strings, which was not the case in previous versions of cbmc,