src/mongo/db/repl/tla_plus/download-tlc.sh


1
2
3
4
5
6

#!/bin/sh

# Downloads TLC, which is the model-checker for the TLA+ formal specifications in this directory.

echo "Downloading tla2tools.jar"
curl -fLO https://github.com/tlaplus/tlaplus/releases/download/v1.7.0/tla2tools.jar