From ec83bba621c73d88a89298c8f694c9b416745e2f Mon Sep 17 00:00:00 2001
From: Stephane Del Pino <stephane.delpino44@gmail.com>
Date: Tue, 28 May 2024 08:01:06 +0200
Subject: [PATCH] Add simple console message at checkpoint creation

---
 src/utils/checkpointing/Checkpoint.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/utils/checkpointing/Checkpoint.cpp b/src/utils/checkpointing/Checkpoint.cpp
index 5946e10e2..32171cefa 100644
--- a/src/utils/checkpointing/Checkpoint.cpp
+++ b/src/utils/checkpointing/Checkpoint.cpp
@@ -54,6 +54,10 @@ checkpoint()
 
     std::string checkpoint_name = "checkpoint_" + std::to_string(checkpoint_number);
 
+    std::cout << " * " << rang::fgB::green << "Checkpointing " << rang::fg::reset << "at execution line "
+              << rang::fgB::yellow << ASTExecutionStack::getInstance().currentNode().begin().line << rang::fg::reset
+              << " [using " << rang::fgB::cyan << checkpoint_name << rang::fg::reset << "]\n";
+
     HighFive::Group checkpoint = file.createGroup(checkpoint_name);
 
     uint64_t checkpoint_id =
-- 
GitLab