PR feedback

Signed-off-by: Alan Jowett <[email protected]>

src/crab_verifier.hpp

@@ -49,6 +49,6 @@ bool ebpf_check_constraints_at_label(std::ostream& os, const std::string& label,
  * @param[in] label The label in the CFG where invariants should be retrieved
  * @return The set of invariants at the given label.
  *         Each invariant represents a constraint on the program state at this point.
- * @throw std::out_of_range If the label is not found.
+ *         Returns an empty set if no invariants are available.
  */
 std::set<std::string> ebpf_get_invariants_at_label(const std::string& label);