Remove unused code about sequential conditions & fix test for step st…

…arted
AlexandreDecan · Aug 20, 2018 · 11da70e · 11da70e
1 parent 2403e1a
commit 11da70e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/sismic/code/python.py b/sismic/code/python.py
@@ -320,8 +320,7 @@ def evaluate_preconditions(self, obj, event: Optional[Event]=None) -> Iterator[s
         })  # type: ignore
 
         # Only needed if there is an invariant, a postcondition or a sequential condition
-        if len(getattr(obj, 'invariants', [])) > 0 or len(getattr(obj, 'postconditions', [])) > 0 or len(
-                getattr(obj, 'sequences', [])) > 0:
+        if len(getattr(obj, 'invariants', [])) > 0 or len(getattr(obj, 'postconditions', [])) > 0:
             self._memory[id(obj)] = FrozenContext(self._context)
 
         return filter(

diff --git a/tests/test_property.py b/tests/test_property.py
@@ -26,7 +26,7 @@ def test_synchronised_time(self, microwave, property_statechart):
 
     def test_empty_step(self, microwave, property_statechart):
         microwave.execute()
-        assert property_statechart.queue.call_args_list[0][0][0] == MetaEvent('step started')
+        assert property_statechart.queue.call_args_list[0][0][0] == MetaEvent('step started', time=0)
         assert property_statechart.queue.call_args_list[-1][0][0] == MetaEvent('step ended')
 
         for call in property_statechart.queue.call_args_list:
@@ -56,13 +56,13 @@ def test_trace(self, microwave, property_statechart):
         microwave.execute()
 
         call_list = [
-            MetaEvent('step started'),
+            MetaEvent('step started', time=0),
             MetaEvent('state entered', state='controller'),
             MetaEvent('state entered', state='door closed'),
             MetaEvent('state entered', state='closed without item'),
             MetaEvent('step ended'),
 
-            MetaEvent('step started'),
+            MetaEvent('step started', time=0),
             MetaEvent('event consumed', event=Event('door_opened')),
             MetaEvent('state exited', state='closed without item'),
             MetaEvent('state exited', state='door closed'),