Use single quotes for Windows compatibility

Author: tautschnig

regression/cbmc-java/classpath2/test.desc

@@ -1,6 +1,6 @@
 CORE
 jarfile3.class
---function jarfile3.f --java-cp-include-files "jarfile3\.class"
+--function jarfile3.f --java-cp-include-files 'jarfile3\.class'
 ^EXIT=10$
 ^SIGNAL=0$
 .*SUCCESS$

regression/cbmc-java/function1/test.desc

@@ -1,6 +1,6 @@
 CORE
 Main.class
---function "Other.fail:()V"
+--function 'Other.fail:()V'
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$

regression/cbmc-java/function2/test.desc

@@ -1,6 +1,6 @@
 CORE
 Main.class
---function "D.fail:()V"
+--function 'D.fail:()V'
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$

regression/cbmc-java/function3/test.desc

@@ -1,6 +1,6 @@
 KNOWNBUG
 Main.class
---function "A.dummy:()V"
+--function 'A.dummy:()V'
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/cbmc-java/function4/test.desc

@@ -1,6 +1,6 @@
 KNOWNBUG
 Main.class
---function "Other.fail"
+--function 'Other.fail'
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/cbmc-java/jar-file4/test.desc

@@ -1,6 +1,6 @@
 CORE
 C.jar
---function jarfile3.f --java-cp-include-files "@jar.json"
+--function jarfile3.f --java-cp-include-files '@jar.json'
 ^EXIT=10$
 ^SIGNAL=0$
 .*SUCCESS$

regression/cbmc-java/lazyloading11/test.desc

@@ -1,6 +1,6 @@
 CORE
 test.class
---lazy-methods --verbosity 10 --function test.f --lazy-methods-extra-entry-point "test.sety:(I)V" --lazy-methods-extra-entry-point "test.sety:(F)V"
+--lazy-methods --verbosity 10 --function test.f --lazy-methods-extra-entry-point 'test.sety:(I)V' --lazy-methods-extra-entry-point 'test.sety:(F)V'
 ^EXIT=0$
 ^SIGNAL=0$
 VERIFICATION SUCCESSFUL

regression/cbmc-java/lazyloading7/test.desc

@@ -1,6 +1,6 @@
 CORE
 test.class
---lazy-methods --verbosity 10 --function test.f --lazy-methods-extra-entry-point "test.sety:(I)V"
+--lazy-methods --verbosity 10 --function test.f --lazy-methods-extra-entry-point 'test.sety:(I)V'
 ^EXIT=0$
 ^SIGNAL=0$
 VERIFICATION SUCCESSFUL

regression/cbmc-java/lazyloading8/test.desc

@@ -1,6 +1,6 @@
 CORE
 test.class
---lazy-methods --verbosity 10 --function test.f --lazy-methods-extra-entry-point "test.sety:(F)V"
+--lazy-methods --verbosity 10 --function test.f --lazy-methods-extra-entry-point 'test.sety:(F)V'
 ^EXIT=0$
 ^SIGNAL=0$
 VERIFICATION SUCCESSFUL

regression/cbmc-java/lazyloading9/test.desc

@@ -1,6 +1,6 @@
 CORE
 test.class
---lazy-methods --verbosity 10 --function test.f --lazy-methods-extra-entry-point "test.*"
+--lazy-methods --verbosity 10 --function test.f --lazy-methods-extra-entry-point 'test.*'
 ^EXIT=0$
 ^SIGNAL=0$
 VERIFICATION SUCCESSFUL