From 74bcb67714a15278c2bd7651cc7e92578fbf52ea Mon Sep 17 00:00:00 2001
From: Andrew Butterfield <andrew.butterfield@scss.tcd.ie>
Date: Fri, 4 Aug 2023 17:11:28 +0100
Subject: Ignore generated Python files

---
 .gitignore | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/.gitignore b/.gitignore
index b4bd5187..1a68eecd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -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
-- 
cgit v1.2.3