github.com/DARA-Project/GoDist-Scheduler@v0.0.0-20201030134746-668de4acea0d/u-benchmarks/propchecker/sample1.prop (about)

     1  package property
     2  //Sample Property file
     3  //A property file should only have function definitions
     4  //and comment for the function. The definition corresponds
     5  //to the property to be checked. The comment provides
     6  //the meta information: Property name and full qualified
     7  //path of each variable in the source package. The full
     8  //qualified path is used for data collection 
     9  //Caveat: The variables used in the property must start
    10  //with an uppercase letter
    11  
    12  //Equality
    13  //main.a
    14  //main.b
    15  func equality(A int, B int) {
    16      return A == B
    17  }