You are working on the caleb531/automata repository. The source code is checked out at /testbed at commit…
You are working on the caleb531/automata repository. The source code is checked out at /testbed at commit…: a task in SWE-Lego-RL-2699 (Harbor dataset). It might be a good idea to add parameters for this, as it may be far more efficient to take apply that approach than to intersect with another…
The task
It might be a good idea to add parameters for this, as it may be far more efficient to take apply that approach than to intersect with another DFA. One additional benefit of this is it will guarantee that execution of the function ends, which is not true right now for infinite languages. We might even want to require…
Part of Lego-X/Lego-RL-2699.