.gitignore

.DS_Store
.rebar3
_*
.eunit
*.o
*.beam
*.plt
*.swp
*.swo
.erlang.cookie
ebin
log
erl_crash.dump
.rebar
logs
_build
.idea
*.iml
rebar3.crashdump
.eqc-info
.edts
current_counterexample.eqc
*.coverdata
*.log
*.log.*
doc
# Emacs Backup files
*~
# Emacs temporary files
.#*
*#