File: TLAExample.tla

package info (click to toggle)
cloc 2.04-1
  • links: PTS, VCS
  • area: main
  • in suites: trixie
  • size: 7,776 kB
  • sloc: perl: 29,368; cpp: 1,219; ansic: 334; asm: 267; makefile: 240; sh: 186; sql: 144; java: 136; ruby: 111; cs: 104; python: 84; pascal: 52; lisp: 50; cobol: 35; f90: 35; haskell: 35; objc: 25; php: 22; javascript: 15; fortran: 9; ml: 8; xml: 7; tcl: 2
file content (13 lines) | stat: -rw-r--r-- 222 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
---- MODULE TLAExample ----
(* TLA+ example program. *)
(* Multi-line
   (* nested *)
   comment *)
\* Single-line comment

VARIABLES tlaIsCool

Init == tlaIsCool = TRUE

Next == tlaIsCool = TRUE /\ tlaIsCool' = TRUE
====