Skip to content

Commit

Permalink
PR feedback
Browse files Browse the repository at this point in the history
Signed-off-by: Alan Jowett <[email protected]>
  • Loading branch information
Alan Jowett committed Nov 6, 2024
1 parent cd938e2 commit d9f9532
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions src/crab/cfg.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -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;
};

Expand Down

0 comments on commit d9f9532

Please sign in to comment.