.gitignore

# VSCode
**/.vscode

# results
**/*.xlsx
**/*.csv

# Byte-compiled / optimized / DLL files
__pycache__/
*.py[cod]
*$py.class

# C extensions
*.so
*.o

# Distribution / packaging
.Python
build/
develop-eggs/
dist/
downloads/
eggs/
.eggs/
lib/
lib64/
parts/
sdist/
var/
wheels/
*.egg-info/
.installed.cfg
*.egg
MANIFEST

# PyInstaller
#  Usually these files are written by a python script from a template
#  before PyInstaller builds the exe, so as to inject date/other infos into it.
*.manifest
*.spec

# Installer logs
pip-log.txt
pip-delete-this-directory.txt

# Unit test / coverage reports
htmlcov/
.tox/
.coverage
.coverage.*
.cache
nosetests.xml
coverage.xml
*.cover
.hypothesis/
.pytest_cache/

# Translations
*.mo
*.pot

# Django stuff:
*.log
local_settings.py
db.sqlite3

# Flask stuff:
instance/
.webassets-cache

# Scrapy stuff:
.scrapy

# Sphinx documentation
docs/_build/

# PyBuilder
target/

# Jupyter Notebook
.ipynb_checkpoints

# pyenv
.python-version

# celery beat schedule file
celerybeat-schedule

# SageMath parsed files
*.sage.py

# Environments
.env
.venv
env/
**/venv/
ENV/
env.bak/
venv.bak/

# Spyder project settings
.spyderproject
.spyproject

# Rope project settings
.ropeproject

# mkdocs documentation
/site

# mypy
.mypy_cache/

# pyc
**/*.pyc
/venv/
**/*.idea


# Ignore input files
**/inputs/

# Ignore test cases
**/tests/

# Ignore instrumented binaries
**/instrs/

# Proof of error
PoE/

# Ignore environment
venv/

# helpers
coverage_plotter.py
ProgramUnderTest
Results
trace
#Baselines

# temps
**/*.swp

# Tests
Testing/**/*[!c]
# !*/ANGRTests/test_2.c
# !*/Testing/ANGTesting/*.c

## MacOS
**/.DS_Store

# Experiments
Legion-status.py
Legion-exp.py

#Testings
Testing/ANGRTests/test_2
Testing/ANGRTests/test_2.c
Testing/ANGRTests/test_2.instr
Testing/ANGRTests/test_2.instr.s
Testing/ANGRTests/test_2.s
Testing/ANGRTests/test_2NM
Testing/ANGRTests/test_2NM.c
Testing/ANGRTests/test_N
Testing/ANGRTests/test_N.instr
Testing/ANGRTests/test_N.instr.s
Testing/ANGRTests/test_N.s
Testing/ANGRTests/test_NI
Testing/ANGRTests/test_NI.c
Testing/ANGRTests/test_NI.instr
Testing/ANGRTests/test_NI.instr.s
Testing/ANGRTests/test_NI.s
Testing/ANGRTests/test_NM
Testing/ANGRTests/test_NM.c
Testing/ANGRTests/test_NMO
Testing/ANGRTests/test_NMO.c
Testing/ANGRTests/test_NMO.instr
Testing/ANGRTests/test_NMO.instr.s
Testing/ANGRTests/test_NMO.s
Testing/ANGRTests/test_assume_trap.c
Testing/ANGRTests/test_assume_trap.instr
Testing/ANGRTests/test_assume_typeerror.c
Testing/TraceJumpTests/test_2.c
Testing/TraceJumpTests/test_2.instr
Testing/TraceJumpTests/test_2.instr.s
Testing/TraceJumpTests/test_2.s
Testing/TraceJumpTests/test_N
Testing/TraceJumpTests/test_N.instr
Testing/TraceJumpTests/test_N.instr.s
Testing/TraceJumpTests/test_N.s
Testing/TraceJumpTests/test_assume.c
Testing/TraceJumpTests/test_assume.instr
Testing/TraceJumpTests/test_goto.c
Testing/TraceJumpTests/test_goto.instr
Testing/TraceJumpTests/test_if.instr
Testing/TraceJumpTests/test_if.instr.s
Testing/TraceJumpTests/test_if.s
Testing/TraceJumpTests/test_while.instr
Testing/TraceJumpTests/test_while.instr.s
Testing/TraceJumpTests/test_while.s

# Intermediate files
__VERIFIER.s
__VERIFIER_assume.s
binary
binary.instr.s
binary.s
__VERIFIER_assume.instr.s
binary.instr
binary.instr.instr.s

# Results
past-scoes.ods
statistics/
test/results