Our approach introduces an algorithm, LintSeq, for sampling across interdependent lines in source code by using a code linter
With LintSeq, we can generate plausible edit *trajectories* for any source code file, covering possible ways of synthesizing its contents edit-by-edit with no linter errors