false - predefined boolean constant.
The keyword false is a synonym of the constant value zero (0), and can be used in any context. If it is used as a stand-alone condition statement, it will block system execution as if it were a halt instruction.
Because they are intercepted in the lexical analyzer as meta terms, false , true , and skip do not show up as such in error traces. They will appear as their numeric equivalents (0) or (1) .
Spin Online References
Promela Manual Index
|(Page updated: 28 November 2004)|