Merge pull request #1396 from diffblue/String6-fixup

Fix up regression/cbmc/String6

Author: Daniel Kroening

regression/cbmc/String6/main.c

@@ -1,15 +1,19 @@
 #include <assert.h>
 #include <string.h>
-void free(void *);
+#include <stdlib.h>
 
 int main()
 {
   char str[500]="Hello";
 
   assert(strcmp(str, "Hello")==0);
   assert(strncmp(str, "Hello", 5)==0);
+
+  #ifndef _MSC_VER
   assert(strcasecmp(str, "HELLO")==0);
   assert(strncasecmp(str, "HELLO", 5)==0);
+  #endif
+
   assert(strcmp(str, "\xff")<0);
   assert(strncmp("ASDxx", "ASDyy", 3)==0);