Regression test should succeed even if char is an unsigned type

NathanJPhillips · Jul 7, 2018 · cd6127a · cd6127a
1 parent 8187bdd
commit cd6127a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/regression/cbmc-cover/branch3/main.c b/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)
     {