From 5f2de4eb6a8b12ac92c5e3a05dc30839f25861ae Mon Sep 17 00:00:00 2001 From: Alan Jowett Date: Fri, 25 Oct 2024 11:05:33 -0700 Subject: [PATCH] PR feedback Signed-off-by: Alan Jowett --- src/crab_verifier.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/crab_verifier.hpp b/src/crab_verifier.hpp index 554b4af72..fb6e78b4e 100644 --- a/src/crab_verifier.hpp +++ b/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 ebpf_get_invariants_at_label(const std::string& label);