# TLC / pcal.trans generated artifacts (the committed .tla carries the
# translation; everything below is regenerated by a local model-check run).
states/
*_TTrace_*.tla
*_TTrace_*.bin
*.old
