Blog.FsCheck.RestaurantTest.Labels.OutcomeBig.fs

restaurant fully booked always exceeds capacity failed
 { Name = GuestName "xycQKLpdXBCspKq"
  Quantity = Quantity 1
  Date = Date 30/11/2023 00:00:00 +00:00 } [{ Name = GuestName "kWWQQebC"
   Quantity = Quantity 15
   Date = Date 18/11/2023 00:00:00 +00:00 };
 { Name = GuestName "mnvWmFjdYSwqlfJDh"
   Quantity = Quantity 14
   Date = Date 19/11/2023 00:00:00 +00:00 };
 { Name = GuestName "ICg"
   Quantity = Quantity 1
   Date = Date 26/11/2023 00:00:00 +00:00 };
 { Name = GuestName "rHEyLxMWjk"
   Quantity = Quantity 9
   Date = Date 20/11/2023 00:00:00 +00:00 };
 { Name = GuestName "LOPJxbVWAoijNB"
   Quantity = Quantity 2
   Date = Date 18/11/2023 00:00:00 +00:00 }; ...]

Labels of failing property (one or more is failing):
        <> Error CapacityExceeded
        addition quantity: 1
        total capacity: 280 (20 * 14 = 280)