Commit 105fe261 authored by Philip Makedonski's avatar Philip Makedonski
Browse files

* fix for MultiplePICS constraint, off by 1, #185

parent 34eef8d9
Loading
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -8,7 +8,7 @@ context PICSReference
  inv MultiplePICS ('A \'Comment\' with body containing an \'and\' or \'or\' shall be attached to the \'PICSReference\' as a Boolean operand if there are two or more \'PICSReference\'s and it is not the first \'PICSReference\'.' + self.toString()):
    self.getTestObjective().picsReference->size() < 2 
      or self.getTestObjective().picsReference->forAll(p | 
        self.getTestObjective().picsReference->at(0) = p
        self.getTestObjective().picsReference->at(1) = p
        or (not p.comment->isEmpty()
            and (p.comment->first()._'body' = 'and'
                or p.comment->first()._'body' = 'or')))