Merge pull request #1406 from diffblue/id-smv-cases

SMV: ID for `smv_cases`

Author: tautschnig

src/hw_cbmc_irep_ids.h

@@ -21,6 +21,7 @@ IREP_ID_ONE(smv_abs)
 IREP_ID_ONE(smv_bitimplies)
 IREP_ID_ONE(smv_bit_selection)
 IREP_ID_ONE(smv_bool)
+IREP_ID_ONE(smv_cases)
 IREP_ID_ONE(smv_count)
 IREP_ID_ONE(smv_enumeration)
 IREP_ID_ONE(smv_extend)

src/smvlang/parser.y

@@ -949,7 +949,7 @@ complex_identifier:
            ;
 
 cases      :
-           { init($$, "smv_cases"); }
+           { init($$, ID_smv_cases); }
            | cases case
            { $$=$1; mto($$, $2); }
            ;

src/smvlang/smv_typecheck.cpp

@@ -1958,7 +1958,7 @@ void smv_typecheckt::convert(exprt &expr)
 
     expr.id(ID_constraint_select_one);
   }
-  else if(expr.id()=="smv_cases") // cases
+  else if(expr.id() == ID_smv_cases) // cases
   {
     if(expr.operands().size()<1)
     {