Merge pull request diffblue#2532 from tautschnig/debian2

Regression test should succeed even if char is an unsigned type

Author: tautschnig

regression/cbmc-cover/branch3/main.c

@@ -4,7 +4,7 @@ int main()
 {
   char ch;
   unsigned state=0;
-  while((ch=getc(stdin))!=-1)
+  while((ch = getc(stdin)) != (char)-1)
   {
     switch(state)
     {