Promela Reference -- False(1)

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

`NAME`
`false` - predefined boolean constant.

`SYNTAX`
`false`

`DESCRIPTION`
The keyword `false` is a synonym of the constant value zero (0) that is useful in expressions. If it is used stand-alone as a condition statement (see `condition(4)`) it will block system execution, as if it were a `halt` instruction.

`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 `0 .`

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

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