# TLC model-checker scratch output (fingerprint/state dirs, per-run).
# Generated by `tlc` runs of MultiTenantRelay.tla; not part of the artifact.
states/
*.st
*.fp
tla2tools.jar