github.com/DARA-Project/GoDist-Scheduler@v0.0.0-20201030134746-668de4acea0d/examples/ProducerConsumer/property/ProducerConsumer.prop (about)

     1  package property
     2  
     3  //EqualSendingsDeliveries
     4  //NumSendings
     5  //NumDeliveries
     6  func equalSendingsDeliveries(A int, B int) bool {
     7      return A == B
     8  }