diff options
| author | Andrew Butterfield <andrew.butterfield@scss.tcd.ie> | 2023-08-04 17:11:28 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-10-18 11:43:04 +0200 |
| commit | 74bcb67714a15278c2bd7651cc7e92578fbf52ea (patch) | |
| tree | ec6ec58ff2eca5dde74929a032846378d18bb4d7 | |
| parent | formal: Address warnings in generated files (diff) | |
| download | rtems-central-74bcb67714a15278c2bd7651cc7e92578fbf52ea.tar.bz2 | |
Ignore generated Python files
| -rw-r--r-- | .gitignore | 13 |
1 files changed, 13 insertions, 0 deletions
@@ -3,3 +3,16 @@ env .mypy_cache __pycache__ spec.pickle +formal/promela/src/src/library.py +formal/promela/src/src/refine_command.py +formal/promela/src/src/spin2test.py +formal/promela/src/src/syntax_ml.py +formal/promela/src/src/syntax_pml.py +formal/promela/src/src/syntax_yaml.py +formal/promela/src/src/testgen.py +formal/promela/src/testgen_ml.py +formal/promela/src/testgen_yaml.py +formal/promela/src/src/tests/library.py +formal/promela/src/src/tests/test_coverage_spin2test.py +formal/promela/src/src/tests/test_coverage_testgen.py +formal/promela/src/src/tests/test_optional.py |