# Files generated by TLC/Apalache.
*.out
states/
x/
detailed.log
bfs.csv
log0.smt
profile-rules.txt
counterexample.json
counterexample.tla

# Files genereated by modelator.
IBCTests_*
