let f = gen_code auto tlist s1 s2 in
LOG(__ "grammar" 2 "Inserting: %i, %a, %a\n%!"
(Uid.to_int tlist.Translist.Node.id) StateSet.print s1 StateSet.print s2);
- add cache tlist s1 s2 f; f
+ if not !Options.no_cache then add cache tlist s1 s2 f;
+ f
end
DEFINE LOOP (t, states, ctx) = (
let top_down_run auto tree root =
Ata.init ();
+ L2JIT.init();
let res, slot = full_top_down_run auto auto.init tree root in
slot.(StateSet.min_elt auto.topdown_marking_states)