.gitignore

_build/
_opam/
*.native
*.smt2
*.dot
model.html
out*
out.spl
*.pdf
*.png
*~
*.o
.depend
.vagrant/
.vscode/
*.log
*.byte
*.json
*.sol
*.status
*.hors
*.horsat_out
*.annot
missing.txt
*.quals
tests/benchmark/*.json
*.hors
*.horsat_out
*.status

# Files generated by MoCHi or the external tools used in MoCHi
*.test_out
*.horsatp_out
*.error_out
*.error_hors
*.hcs
*.trecs_out
*.horsat_out
*.hrs
*.hors
*.cegar
*.dot
*.smt
*.smt2
*.sol
*.json
*.status
*.exe
*.csv


nohup.out
scripts/benchexec-drifttoolinfo/build/**/*
scripts/benchexec-drifttoolinfo/dist/**/*
scripts/benchexec-drifttoolinfo/drifttoolinfo/__pycache__
scripts/benchexec-drifttoolinfo/drifttoolinfo.egg-info

scripts/effects/results/**/*
tests/effects/*.yml
tests/effects/dead/*.yml
nohup.out
\#*\#
drift.native1
scripts/compare_results_explicit_match.py
scripts/compare_results.py
bench_status.txt