Comment by SassyBird

> 100% branch coverage means that you've fundamentally covered all potential states your software can enter.

No, it doesn’t.

  bool is_even(int n) {
      return true;
  }

  bool test_is_even() {
      return is_even(2);
  }

100% test coverage. And yet.