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

     1  package property
     2  
     3  //EqualToZero
     4  //main.leftElements
     5  func equalToZero(A int) {
     6      return A == 0
     7  }