search

albertogoffi / toradocu

Toradocu - automated generation of test oracles from Javadoc documentation
Other
42 stars 21 forks source link

bad interpretation of "one" (incompatible types) #116

Open bjkeller opened 7 years ago

bjkeller commented 7 years ago

The @return of the method net.sf.freecol.server.model.ServerRegion.containsCenter(ServerRegion) says True if the center of the other region is within this one. The "one" in the statement refers to the receiver.

The generated condition is target==1.