diff options
Diffstat (limited to '.gitignore')
-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 |