1

Closed

Pragma information is not being exported to XML

description

The pragma information is contained in comments, which are not exported. There was a suggestion to use an operator PRAGMA and pass the pragma information as an argument. The pm will expect the same syntax as currently defined in the comments.

Todo:
  • no changes in SANY
  • tlaps.tla should change: Zenon == Pragma(...)
  • the pm should parse this
Closed Oct 7, 2016 at 4:07 PM by mku

comments