minor

Signed-off-by: Elazar Gershuni <[email protected]>

src/assertions.cpp

@@ -293,7 +293,7 @@ vector<Assertion> get_assertions(Instruction ins, const program_info& info, cons
 }
 
 /// Annotate the CFG by adding explicit assertions for all the preconditions
-/// of any Instruction. For example, jump instructions are asserted not to
+/// of any instruction. For example, jump instructions are asserted not to
 /// compare numbers and pointers, or pointers to potentially distinct memory
 /// regions. The verifier will use these assertions to treat the program as
 /// unsafe unless it can prove that the assertions can never fail.

src/crab/cfg.hpp

@@ -59,7 +59,7 @@ class basic_block_t final {
         m_ts.push_back(arg);
     }
 
-    /// Insert an GuardedInstruction at the front of the basic block.
+    /// Insert a GuardedInstruction at the front of the basic block.
     /// @note Cannot modify entry or exit blocks.
     void insert_front(const GuardedInstruction& arg) {
         assert(label() != label_t::entry);

src/test/ebpf_yaml.cpp

@@ -182,7 +182,7 @@ static ebpf_verifier_options_t raw_options_to_options(const std::set<string>& ra
     // Default to not assuming assertions.
     options.assume_assertions = false;
 
-    // Permit test cases to not have an exit Instruction.
+    // Permit test cases to not have an exit instruction.
     options.cfg_opts.must_have_exit = false;
 
     for (const string& name : raw_options) {