source: rtems-central/.gitignore

Last change on this file was 74bcb67, checked in by Andrew Butterfield <andrew.butterfield@…>, on 08/04/23 at 16:11:28

Ignore generated Python files
  • Property mode set to 100644
File size: 570 bytes
Line 
1.coverage
2env
3.mypy_cache
4__pycache__
5spec.pickle
6formal/promela/src/src/library.py
7formal/promela/src/src/refine_command.py
8formal/promela/src/src/spin2test.py
9formal/promela/src/src/syntax_ml.py
10formal/promela/src/src/syntax_pml.py
11formal/promela/src/src/syntax_yaml.py
12formal/promela/src/src/testgen.py
13formal/promela/src/testgen_ml.py
14formal/promela/src/testgen_yaml.py
15formal/promela/src/src/tests/library.py
16formal/promela/src/src/tests/test_coverage_spin2test.py
17formal/promela/src/src/tests/test_coverage_testgen.py
18formal/promela/src/src/tests/test_optional.py
Note: See TracBrowser for help on using the repository browser.