Check for get_identifier in unit test

This checks that operations mutating the ssa_exprt give it a correct identifier.

Author: romainbrenguier

unit/util/ssa_expr.cpp

@@ -57,6 +57,7 @@ TEST_CASE("Set level", "[unit][util][ssa_expr]")
       REQUIRE(ssa.get_level_1() == irep_idt{});
       REQUIRE(ssa.get_level_2() == irep_idt{});
       REQUIRE(ssa.get_original_expr() == symbol);
+      REQUIRE(ssa.get_identifier() == "sym!1");
     }
 
     WHEN("set_level_1")
@@ -66,6 +67,7 @@ TEST_CASE("Set level", "[unit][util][ssa_expr]")
       REQUIRE(ssa.get_level_1() == "3");
       REQUIRE(ssa.get_level_2() == irep_idt{});
       REQUIRE(ssa.get_original_expr() == symbol);
+      REQUIRE(ssa.get_identifier() == "sym@3");
     }
 
     WHEN("set_level_2")
@@ -75,6 +77,7 @@ TEST_CASE("Set level", "[unit][util][ssa_expr]")
       REQUIRE(ssa.get_level_1() == irep_idt{});
       REQUIRE(ssa.get_level_2() == "7");
       REQUIRE(ssa.get_original_expr() == symbol);
+      REQUIRE(ssa.get_identifier() == "sym#7");
     }
   }
 }
@@ -105,6 +108,10 @@ TEST_CASE("Set expression", "[unit][util][ssa_expr]")
       {
         REQUIRE(ssa.get_original_expr() == index);
       }
+      THEN("The identifier is updated")
+      {
+        REQUIRE(ssa.get_identifier() == "sym!1@3#7[[9]]");
+      }
     }
   }
 }