Use single quotes for Windows compatibility

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

regression/cbmc-java/static_method1/test.desc

@@ -1,6 +1,6 @@
 CORE
 static_method1.class
---function "static_method1.f" --div-by-zero-check
+--function 'static_method1.f' --div-by-zero-check
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$

regression/cbmc-java/swap2/test.desc

@@ -1,6 +1,6 @@
 CORE
 org/springframework/build/gradle/MergePlugin$1$_execute_closure1$_closure2.class
---function "org.springframework.build.gradle.MergePlugin\$1\$_execute_closure1\$_closure2.\$getCallSiteArray:()[Lorg/codehaus/groovy/runtime/callsite/CallSite;"
+--function 'org.springframework.build.gradle.MergePlugin$1$_execute_closure1$_closure2.$getCallSiteArray:()[Lorg/codehaus/groovy/runtime/callsite/CallSite;'
 ^EXIT=0
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/goto-cc-cbmc/Makefile

@@ -5,10 +5,10 @@ include ../../src/common
 
 ifeq ($(BUILD_ENV_),MSVC)
 	exe=../../../src/goto-cc/goto-cl
-	is_windows="true"
+	is_windows=true
 else
 	exe=../../../src/goto-cc/goto-cc
-	is_windows="false"
+	is_windows=false
 endif
 
 test:

regression/goto-cc-cbmc/regenerate-entry-function/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--function fun --cover branch"
+'--function fun --cover branch'
 ^EXIT=0$
 ^SIGNAL=0$
 ^x=

regression/goto-cc-goto-analyzer/Makefile

@@ -5,10 +5,10 @@ include ../../src/common
 
 ifeq ($(BUILD_ENV_),MSVC)
 	exe=../../../src/goto-cc/goto-cl
-	is_windows="true"
+	is_windows=true
 else
 	exe=../../../src/goto-cc/goto-cc
-	is_windows="false"
+	is_windows=false
 endif
 
 test:

regression/goto-cc-goto-analyzer/regenerate-entry-function/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--function fun --show-goto-functions"
+'--function fun --show-goto-functions'
 ^\s*fun\(x\);$
 ^EXIT=6$
 ^SIGNAL=0$

regression/goto-instrument-typedef/Makefile

@@ -5,10 +5,10 @@ include ../../src/common
 
 ifeq ($(BUILD_ENV_),MSVC)
 	exe=../../../src/goto-cc/goto-cl
-	is_windows="true"
+	is_windows=true
 else
 	exe=../../../src/goto-cc/goto-cc
-	is_windows="false"
+	is_windows=false
 endif
 
 test:

regression/goto-instrument-typedef/typedef-anon-struct1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-anon-struct2/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-anon-union1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-anon-union2/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-const-struct1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-const-type1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-const-union1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-param-anon-struct1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-param-anon-union1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-param-struct1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-param-type1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-param-type2/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-param-type3/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-param-union1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-return-anon-struct1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-return-anon-union1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-return-struct1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-return-type1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-return-type2/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-return-type3/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-return-union1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-struct1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-struct2/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-type1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-type2/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-type3/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-type4/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-union1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument-typedef/typedef-union2/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-"--show-symbol-table"
+--show-symbol-table
 // Enable multi-line checking
 activate-multi-line-match
 EXIT=0

regression/goto-instrument/Makefile

@@ -5,10 +5,10 @@ include ../../src/common
 
 ifeq ($(BUILD_ENV_),MSVC)
 	exe=../../../src/goto-cc/goto-cl
-	is_windows="true"
+	is_windows=true
 else
 	exe=../../../src/goto-cc/goto-cc
-	is_windows="false"
+	is_windows=false
 endif
 
 test: