2018-09-22 03:01:19 +00:00
|
|
|
# Compiled python files
|
|
|
|
|
*.pyc
|
2018-09-21 15:23:51 +00:00
|
|
|
|
2018-09-22 03:01:19 +00:00
|
|
|
# macOS generated files
|
|
|
|
|
.DS_STORE
|
2018-09-21 15:23:51 +00:00
|
|
|
|
2018-09-22 03:01:19 +00:00
|
|
|
# Temporary and log files
|
|
|
|
|
*.tmp
|
2018-09-21 15:23:51 +00:00
|
|
|
*.log
|
|
|
|
|
|
2018-09-22 03:01:19 +00:00
|
|
|
# Coverage generated files
|
|
|
|
|
.coverage
|
2018-09-21 15:23:51 +00:00
|
|
|
|
2018-09-22 03:01:19 +00:00
|
|
|
# Ply generated files
|
|
|
|
|
parser.out
|
|
|
|
|
parsetab.py
|
2018-09-21 15:23:51 +00:00
|
|
|
|
2018-09-22 03:01:19 +00:00
|
|
|
# JetBrains generated files
|
|
|
|
|
.idea/
|
2018-09-21 15:23:51 +00:00
|
|
|
|
2018-09-22 03:01:19 +00:00
|
|
|
# Build files
|
|
|
|
|
.cache/
|
|
|
|
|
build/
|
|
|
|
|
dist/
|
|
|
|
|
*.egg-info/
|
2018-09-21 15:23:51 +00:00
|
|
|
|
2018-09-22 03:01:19 +00:00
|
|
|
# Tox generated files
|
|
|
|
|
.tox/
|
2018-09-21 15:23:51 +00:00
|
|
|
|
2018-09-22 03:01:19 +00:00
|
|
|
# Python cache
|
|
|
|
|
_pycache_/
|
2018-09-21 15:23:51 +00:00
|
|
|
|
2018-09-22 03:01:19 +00:00
|
|
|
# Z3 library release files
|
|
|
|
|
z3/
|
2018-09-21 15:23:51 +00:00
|
|
|
|
2018-09-22 03:01:19 +00:00
|
|
|
# Output figure
|
|
|
|
|
*.pdf
|
2018-09-21 15:23:51 +00:00
|
|
|
|
2018-09-22 03:01:19 +00:00
|
|
|
# Test run file
|
|
|
|
|
run.py
|
2018-09-21 15:23:51 +00:00
|
|
|
|
2018-09-22 03:01:19 +00:00
|
|
|
# Result data file
|
|
|
|
|
result_*.json
|
|
|
|
|
debug.txt
|
|
|
|
|
runo.py
|
2018-09-21 15:23:51 +00:00
|
|
|
|
2018-09-22 03:01:19 +00:00
|
|
|
# Coverage reports
|
|
|
|
|
.coverage.*
|
2018-09-21 15:23:51 +00:00
|
|
|
|
2018-09-22 03:01:19 +00:00
|
|
|
# pytest cache
|
|
|
|
|
.pytest_cache
|
