Add tentative implementation of CommTest ex(C) pseudocode

[simgrid.git] / src / mc / explo / udpor / Unfolding_test.cpp

diff --git a/src/mc/explo/udpor/Unfolding_test.cpp b/src/mc/explo/udpor/Unfolding_test.cpp
index 2e906cc9bc9006afbdc1df7129e8253367b109c9..5ee5df2083a6f74f2d95a1c339f3fb2eae4aeb1a 100644 (file)
--- a/src/mc/explo/udpor/Unfolding_test.cpp
+++ b/src/mc/explo/udpor/Unfolding_test.cpp
@@ -24,8 +24,8 @@ TEST_CASE("simgrid::mc::udpor::Unfolding: Inserting and marking events with an u
       EventSet(), std::make_shared<ConditionallyDependentAction>(Transition::Type::UNKNOWN, 0));
   auto e2 =
       std::make_unique<UnfoldingEvent>(EventSet(), std::make_shared<DependentAction>(Transition::Type::UNKNOWN, 1));
-  auto* e1_handle = e1.get();
-  auto* e2_handle = e2.get();
+  const auto* e1_handle = e1.get();
+  const auto* e2_handle = e2.get();
 
   unfolding.insert(std::move(e1));
   REQUIRE(unfolding.size() == 1);