From d9f95322d278e2527577346a962552caee6d678d Mon Sep 17 00:00:00 2001
From: Alan Jowett <alan.jowett@microsoft.com>
Date: Wed, 6 Nov 2024 15:04:04 -0800
Subject: [PATCH] PR feedback

Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>
---
 src/crab/cfg.hpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/crab/cfg.hpp b/src/crab/cfg.hpp
index 1099e4188..59435ebcf 100644
--- a/src/crab/cfg.hpp
+++ b/src/crab/cfg.hpp
@@ -620,8 +620,11 @@ std::vector<std::string> stats_headers();
 std::map<std::string, int> collect_stats(const cfg_t&);
 
 struct prepare_cfg_options {
+    /// When true, simplifies the control flow graph by merging basic blocks.
     bool simplify = true;
+    /// When true, verifies that the program terminates.
     bool check_for_termination = true;
+    /// When true, ensures the program has a valid exit block.
     bool must_have_exit = true;
 };