Merge pull request symphonyoss#3 from mgudemann/enhancement/micro-slicer/new-parameter-format

Update argument format for micro-slicer

Author: James Wilson

diffblue.yml

@@ -2,4 +2,4 @@ buildCmd: cd symphony-client; mvn compile
 testCmd: cd symphony-client; mvn test
 ignoreExistingCoverage: true
 cbmcArguments:
-  slice-function-calls: org.slf4j.Logger
+  slice-function-calls: "org\.slf4j\.Logger.*"