rgrig / topl

TOPL Runtime Verifier
5 stars 1 forks source link

syntax: split lines #35

Open rgrig opened 12 years ago

rgrig commented 12 years ago

Some properties use really long lines. See examples/dacapo/eclipse.topl. It should be OK to split lines in certain circumstances. Check what Python does.