Promela Reference -- True(1)

### `Promela` | ### `Meta Terms` | ### `True(1)`

`NAME`
`true` - predefined boolean constant.

`SYNTAX`
`true`

`DESCRIPTION`
The keyword `true` is a synonym of the constant value one (1), and therefore also a synonym of `skip .` It supports a more natural syntax for manipulating Boolean values.

`NOTES`
This keyword is not supported in Spin versions prior to 3.0. Because it is intercepted in the lexical analyzer as a meta-term, it shows up in traces as its numeric equivalent `1 .`

`SEE ALSO`
`skip(1)`, `false(1)`, `condition(4)`.

Spin Online References Promela Manual Index Promela Grammar Spin HomePage |  | `(Page Updated: 16 December 1997)`