# TLC model checker output
states/
*.dump
