Function assert_lsp_strategy

tests/repro/repro_lsp_ts.c:169–173

Single-file convenience wrapper. */

/* Single-file convenience wrapper. */
static int assert_lsp_strategy(const char *filename, const char *src,
                               const char *strategy) {
    RFile f = {filename, src};
    return assert_lsp_strategy_files(&f, 1, strategy);
}

/*
 * assert_no_resolvable_edge — the ACCURATE invariant for a call whose callee is