path: root/.gitignore

# TLC model-checker metadata (verify-model directs it to /tmp, but guard anyway)
states/

# Go profiling output from the `profile` make target
memprofile.out
cpuprofile.out