Single-file convenience wrapper. */
| 170 | |
| 171 | /* Single-file convenience wrapper. */ |
| 172 | static int assert_lsp_strategy(const char *filename, const char *src, |
| 173 | const char *strategy) { |
| 174 | RFile f = {filename, src}; |
| 175 | return assert_lsp_strategy_files(&f, 1, strategy); |
| 176 | } |
| 177 | |
| 178 | /* |
| 179 | * assert_no_resolvable_edge — the ACCURATE invariant for a call whose callee is |
no test coverage detected