Method RecordCoverage

testing/testrunner/coverage_index.cc:186–196

}  // namespace

void CoverageIndex::RecordCoverage(int64_t node_id, const cel::Value& value) {
  NodeCoverageStats& stats = node_coverage_stats_[node_id];
  stats.covered = true;
  if (node_coverage_stats_[node_id].is_boolean_node && value.IsBool()) {
    if (value.AsBool()->NativeValue()) {
      stats.has_true_branch = true;
    } else {
      stats.has_false_branch = true;
    }
  }
}

void CoverageIndex::Init(const cel::expr::CheckedExpr& checked_expr) {
  checked_expr_ = checked_expr;