RabbitWhite1 / tlapp

TLA Path Parser

TLA Path Generator

java -jar ~/Downloads/tla2tools.jar raft.tla -dump dot,colorize,actionlabels state
python3 ../raft_path_generator.py state.dot paths 12
go run -tags raft_tla . -a=raft_tla -i=$IID --ids=1,2,3 --logdir /Users/hank/protosim/tla/raft-tla