Skip to content
Snippets Groups Projects
Select Git revision
  • 898bb02b1781f13925e4e5a0093b52d5467bf40a
  • develop default protected
  • jvm-ipc
  • master protected
  • 1.2.2
  • 1.2.1
  • 1.2.0
  • 1.1.0
  • 1.0.5
  • 1.0.4
  • 1.0.3
  • 1.0.2
  • 1.0.0
13 results

M2.mch

Blame
    • user avatar
    Normalize to Unix newlines
    dgelessus authored
    898bb02b
    History
    user avatar 898bb02b
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    M2.mch 94 B 
    MACHINE M2
VARIABLES x2
INVARIANT x2 : INT
INITIALISATION x2 := 1
OPERATIONS
op2 = x2 := 2
END