The language supports arithmetic expressions with addition ( + ) and subtraction ( ‑ ) in constraint…
The language supports arithmetic expressions with addition ( + ) and subtraction ( ‑ ) in constraint…: a task in LegoFlow-SWE (Harbor dataset). Observed symptom Feeding a source program that uses in a constraint expression, for example: trace columns: main: clk transition constraints: enf clk' clk…
The task
**Observed symptom** Feeding a source program that uses `*` in a constraint expression, for example: ``` trace_columns: main: [clk] transition_constraints: enf clk' * clk = 1 ``` results in an error (e.g., unrecognized token, parse error, or internal failure) and the pipeline does not produce a successful compilation.
Part of Lego-X/LegoFlow-SWE.