Skip to content

Files

Latest commit

ankagrawalankagrawal
Setup and Init.
Apr 27, 2023
b6d7ae4 · Apr 27, 2023

History

History
15 lines (11 loc) · 521 Bytes

README.md

File metadata and controls

15 lines (11 loc) · 521 Bytes

AmbryTLA

TLA+ Specification for Ambry (https://github.com/linkedin/ambry)

SETUP

Using VSCode

  • Install Visual Studio Code.
  • Install the extensions "TLA+" and "TLA+ Nightly".
  • Open the directory containing the tla+ and cfg files.
  • Right-click, select "Check Model with TCL" and specify the below arguments -deadlock -noTE -dump dot,actionlabels,colorize ATD -coverage 1

Using commandline

java -cp tla2tools.jar tlc2.TLC -deadlock -noTE -dump dot,actionlabels,colorize AR -coverage 1 <filename>