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

     1  package property
     2  
     3  // This is an example of a property
     4  // that is not always true
     5  // for this program. So, it should
     6  // result in some failure.
     7  
     8  //GreaterThanZero
     9  //main.SharedVariable
    10  func greaterThanZero(A int) {
    11      return A > 0
    12  }