AIR parser bug: multiple deficiencies in constraint parsing and AST construction
AIR parser bug: multiple deficiencies in constraint parsing and AST construction: a task in LegoFlow-SWE (Harbor dataset). Boundary constraints ( boundary constraints: ): Each constraint value must be represented as a BoundaryExpr . This type must not include Var or Next variants (only constants…
The task
*Boundary constraints* (`boundary_constraints:`): Each constraint value must be represented as a `BoundaryExpr`. This type must **not** include `Var` or `Next` variants (only constants, arithmetic operations such as addition, subtraction, multiplication, exponentiation). The constraint collection must provide…
Part of Lego-X/LegoFlow-SWE.