Open ethan-leba opened 2 years ago
Would be interesting to add property testing to validate that tree-edit's editing operations are always correct, i.e. on some random correct syntax tree perform an abritrary action and assert the result is still valid.
Would be interesting to add property testing to validate that tree-edit's editing operations are always correct, i.e. on some random correct syntax tree perform an abritrary action and assert the result is still valid.