From 818f35a33841f0a7bbd22ba953c7f17c3659af41 Mon Sep 17 00:00:00 2001
From: JFoederer <32476108+JFoederer@users.noreply.github.com>
Date: Thu, 18 Dec 2025 22:33:45 +0100
Subject: [PATCH 1/4] access TraceSnapShot model as copy

---
 robotmbt/tracestate.py | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/robotmbt/tracestate.py b/robotmbt/tracestate.py
index 9aaff77b..22526748 100644
--- a/robotmbt/tracestate.py
+++ b/robotmbt/tracestate.py
@@ -162,5 +162,9 @@ class TraceSnapShot:
     def __init__(self, id, inserted_scenario, model_state, drought=0):
         self.id = id
         self.scenario = inserted_scenario
-        self.model = model_state.copy()
+        self._model = model_state.copy()
         self.coverage_drought = drought
+
+    @property
+    def model(self):
+        return self._model.copy()

From 3b6b6f4ea806f72326c9700c3a119482d1e64651 Mon Sep 17 00:00:00 2001
From: JFoederer <32476108+JFoederer@users.noreply.github.com>
Date: Fri, 19 Dec 2025 15:58:57 +0100
Subject: [PATCH 2/4] use exit code to pass/fail autopep8

---
 .github/workflows/autopep8.yml | 13 +------------
 1 file changed, 1 insertion(+), 12 deletions(-)

diff --git a/.github/workflows/autopep8.yml b/.github/workflows/autopep8.yml
index a866977f..999b02cb 100644
--- a/.github/workflows/autopep8.yml
+++ b/.github/workflows/autopep8.yml
@@ -20,15 +20,4 @@ jobs:
         id: check
         run: |
           # Check if autopep8 would make changes
-          formatting_issues=$(autopep8 --diff --recursive --max-line-length 120 .)
-          if [[ formatting_issues ]] then
-            echo "Formatting issues found:"
-            printf "%s\n" "$formatting_issues"
-            echo "------------------------------"
-            echo "-- Formatting issues found! --"
-            echo "------------------------------"
-            exit 1
-          else
-            echo "No formatting issues found."
-          fi
-
+          autopep8 --diff --recursive --max-line-length 120 --exit-code .

From 4fca3c112a63ed613949495a9c75ae8c845b96a0 Mon Sep 17 00:00:00 2001
From: JFoederer <32476108+JFoederer@users.noreply.github.com>
Date: Fri, 19 Dec 2025 16:03:07 +0100
Subject: [PATCH 3/4] test: intentional pep8 violation

---
 utest/test_tracestate.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/utest/test_tracestate.py b/utest/test_tracestate.py
index 5bfb63a3..3d614ebc 100644
--- a/utest/test_tracestate.py
+++ b/utest/test_tracestate.py
@@ -33,7 +33,6 @@
 import unittest
 from robotmbt.tracestate import TraceState
 
-
 class TestTraceState(unittest.TestCase):
     def test_an_empty_tracestate_doesnt_do_so_much(self):
         ts = TraceState(0)

From 6d93de299f23e0f843ca7994a1173598b8c20117 Mon Sep 17 00:00:00 2001
From: JFoederer <32476108+JFoederer@users.noreply.github.com>
Date: Fri, 19 Dec 2025 16:05:18 +0100
Subject: [PATCH 4/4] undo pep8 violation

---
 utest/test_tracestate.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/utest/test_tracestate.py b/utest/test_tracestate.py
index 3d614ebc..5bfb63a3 100644
--- a/utest/test_tracestate.py
+++ b/utest/test_tracestate.py
@@ -33,6 +33,7 @@
 import unittest
 from robotmbt.tracestate import TraceState
 
+
 class TestTraceState(unittest.TestCase):
     def test_an_empty_tracestate_doesnt_do_so_much(self):
         ts = TraceState(0)