Function inv_has_call

tests/repro/repro_invariant_lib.h:111–116

True if a call to `callee` (substring match on callee_name) was extracted. */

/* True if a call to `callee` (substring match on callee_name) was extracted. */
static inline int inv_has_call(CBMFileResult *r, const char *callee) {
    for (int i = 0; i < r->calls.count; i++)
        if (r->calls.items[i].callee_name && strstr(r->calls.items[i].callee_name, callee))
            return 1;
    return 0;
}

/* ── Store-level (full pipeline) invariants ─────────────────────── */