Collapse topic disjunctions under the same topic
git-afsantos opened this issue · comments
Example:
(/topic {data > 0} or /topic {data < 0})
Should become:
/topic {(data > 0) or (data < 0)}
As of dbe91a3, such disjunctions are not allowed.
git-afsantos / hpl-specs
High-Level Property Specification Language