Unnecessary line feeds added to serialized AGREE

loonwerks / AGREE

Assume-Guarantee REasoning Environment

BSD 3-Clause "New" or "Revised" License

13 stars 5 forks source link

Unnecessary line feeds added to serialized AGREE #112

Closed iamundson closed 2 years ago

iamundson commented 2 years ago

When AGREE is serialized after editing it programmatically, a large number of leading new lines (\n) are added to the subclause and library, resulting in a page of whitespace in the text editor.