Commit c9207b6a authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+ fix for guard constraint in conditional behaviour

parent d00c5cfd
Loading
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -789,7 +789,7 @@ context AlternativeBehaviour
context ConditionalBehaviour
  -- Guard for 'ConditionalBehaviour' with single block
  inv ConditionalFirstGuard ('If there is only one \'Block\' specified, it shall have a \'guard\'.' + self.toString()):
        self.block->size() > 1 or self.block->first().guard->size() > 1
        self.block->size() > 1 or self.block->first().guard->size() > 0
  

  -- Possible else block for 'ConditionalBehaviour' with multiple blocks