Adapt BDD according to Tom's remarks

docs/behavior.rst

@@ -184,7 +184,10 @@ Then state {state} should be active
     Assert that given state name is active.
 
 Then state {state} should not be active
-    Assert that given state name is not active
+    Assert that given state name is not active.
+
+Then the statechart is in a final configuration
+    Assert that the statechart is in a final configuration.
 
 Then event {event_name} should be fired
     Assert that given event name is the latest fired event.
@@ -194,7 +197,7 @@ Then event {event_name} should be fired with {parameter}={value}
     with given *value*, evaluated as Python code.
     Additional parameters can be specified using a table.
 
-Then there should be no fired event
+Then no event should be fired
     Assert that no event was fired by the statechart during the last execution.
 
 Then variable {variable} should be defined

sismic/testing/steps.py

@@ -132,6 +132,11 @@ def state_is_not_active(context, state):
     assert state not in context._interpreter.configuration, 'State {} is active'.format(state)
 
 
+@then('the statechart is in a final configuration')
+def statechart_is_final(context):
+    assert context._interpreter.final, 'The statechart is not in a final configuration: {}'.format(context._interpreter.configuration)
+
+
 @then('event {event_name} should be fired')
 @then('event {event_name} should be fired with {parameter}={value}')
 def event_is_received(context, event_name, parameter=None, value=None):
@@ -156,7 +161,7 @@ def event_is_received(context, event_name, parameter=None, value=None):
     assert False, 'No matching event fired for {} with {} in {}'.format(event_name, parameters, context._events)
 
 
-@then('there should be no fired event')
+@then('no event should be fired')
 def no_event_received(context):
     assert len(context._events) == 0, 'Sent events: {}'.format(context._events)