Fix whitespace problems

TGWDB · TGWDB · commit e1d2713cbdf0 · 2021-02-09T11:04:36.000Z
diff --git a/regression/cbmc/enum_is_in_range/enum_test10.c b/regression/cbmc/enum_is_in_range/enum_test10.c
@@ -16,7 +16,7 @@ int main()
   ev1 = first;
   ev2 = fifth;
   int i = 0;
-  while(i < 10) 
+  while(i < 10)
   {
     ev1++;
     assert(__CPROVER_enum_is_in_range(i));
diff --git a/regression/cbmc/enum_is_in_range/enum_test3.c b/regression/cbmc/enum_is_in_range/enum_test3.c
@@ -15,7 +15,7 @@ int main()
   enum my_enum ev2;
   ev1 = first;
   ev2 = fifth;
-  while(!(ev1 == ev2)) 
+  while(!(ev1 == ev2))
   {
     ev1++;
     assert(__CPROVER_enum_is_in_range(ev1));
diff --git a/regression/cbmc/enum_is_in_range/enum_test7.c b/regression/cbmc/enum_is_in_range/enum_test7.c
@@ -15,7 +15,7 @@ int main()
   my_enum ev2;
   ev1 = first;
   ev2 = fifth;
-  while(!(ev1 == ev2)) 
+  while(!(ev1 == ev2))
   {
     ev1++;
     assert(__CPROVER_enum_is_in_range(ev1));
diff --git a/regression/cbmc/enum_is_in_range/enum_test8.c b/regression/cbmc/enum_is_in_range/enum_test8.c
@@ -16,7 +16,7 @@ int main()
   ev1 = first;
   ev2 = fifth;
   int i = 0;
-  while(i < 10) 
+  while(i < 10)
   {
     ev1++;
     assert(__CPROVER_enum_is_in_range(ev1));

Original file line number	Diff line number	Diff line change
`@@ -16,7 +16,7 @@ int main()`
`16`	`16`	`ev1 = first;`
`17`	`17`	`ev2 = fifth;`
`18`	`18`	`int i = 0;`
`19`		`- while(i < 10)`
	`19`	`+ while(i < 10)`
`20`	`20`	`{`
`21`	`21`	`ev1++;`
`22`	`22`	`assert(__CPROVER_enum_is_in_range(i));`
Original file line number	Diff line number	Diff line change
`@@ -15,7 +15,7 @@ int main()`
`15`	`15`	`enum my_enum ev2;`
`16`	`16`	`ev1 = first;`
`17`	`17`	`ev2 = fifth;`
`18`		`- while(!(ev1 == ev2))`
	`18`	`+ while(!(ev1 == ev2))`
`19`	`19`	`{`
`20`	`20`	`ev1++;`
`21`	`21`	`assert(__CPROVER_enum_is_in_range(ev1));`