MCPcopy Create free account
hub / github.com/AliveToolkit/alive2 / parse_pre

Function parse_pre

tools/alive_parser.cpp:271–276  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

269}
270
271static void parse_pre(Transform &t) {
272 if (!tokenizer.consumeIf(PRE))
273 return;
274 fn = &t.src;
275 t.precondition = parse_predicate();
276}
277
278static void parse_comma() {
279 tokenizer.ensure(COMMA);

Callers 1

parseFunction · 0.85

Calls 2

parse_predicateFunction · 0.85
consumeIfMethod · 0.80

Tested by

no test coverage detected