San Diego

We just got to San Diego and checked into the hotel. Don’t have much time to write. Earlier today, I think I got IMPLIES for @Combine annotations implemented. I had to implement it as one member annotation that is an array of two elements. Otherwise, there’d be no way to guarantee a consistent ordering, since implication is not permutable.


About Mathias

Software development engineer. Principal developer of DrJava. Recent Ph.D. graduate from the Department of Computer Science at Rice University.
This entry was posted in Concurrent Unit Testing. Bookmark the permalink.

Leave a Reply