PR feedback

Signed-off-by: Alan Jowett <[email protected]>
vbpf · Oct 28, 2024 · a4a10b3 · a4a10b3
1 parent fc1d4dc
commit a4a10b3
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/crab_verifier.cpp b/src/crab_verifier.cpp
@@ -111,7 +111,6 @@ static checks_db generate_report(cfg_t& cfg, const crab::invariant_table_t& pre_
         // Check if the loop count breached the termination bound.
         // If so, add a warning to fail the verification.
         if (m_db.max_loop_count > TERMINATION_BOUND) {
-
             if (m_db.max_loop_count.number().has_value()) {
                 m_db.add_warning(label_t::exit, "Could not prove termination (loop count is " +
                                                     m_db.max_loop_count.number()->to_string() + " but limit is " +