true - predefined boolean constant.
The keyword true is a synonym of the constant value one (1) , and can be used in any context. Because of the mapping to (1) , true is also a synonym of skip . It supports a more natural syntax for manipulating boolean values.
Because it is intercepted in the lexical analyzer as a meta term, true is always replaced by its numeric equivalent in error traces.
Semantically, true , skip , and (1) are indistinguishable. Which term is best used depends on context and convention.
Spin Online References
Promela Manual Index
|(Page updated: 28 November 2004)|