Merge pull request #6437 from diffblue/fix_operators_c_test

fix the description of some assertions for ACSL operators

Author: kroening

regression/cbmc/ACSL/operators.c

@@ -1,7 +1,7 @@
 void boolean()
 {
   __CPROVER_bool a, b;
-  __CPROVER_assert((a ≡ b) == (a == b), "≥");
+  __CPROVER_assert((a ≡ b) == (a == b), "≡");
   __CPROVER_assert((a ≢ b) == (a != b), "≢");
   __CPROVER_assert((a ⇒ b) == (!a || b), "⇒");
   __CPROVER_assert((a ⇔ b) == (a == b), "⇔");
@@ -16,7 +16,7 @@ void relations()
   int a, b;
   __CPROVER_assert((a ≥ b) == (a >= b), "≥");
   __CPROVER_assert((a ≤ b) == (a <= b), "≤");
-  __CPROVER_assert((a ≡ b) == (a == b), "≥");
+  __CPROVER_assert((a ≡ b) == (a == b), "≡");
   __CPROVER_assert((a ≢ b) == (a != b), "≢");
   __CPROVER_assert((− a) == (-a), "−");
 }