More Documentation

I spent virtually this entire weekend horizontally in bed, but at least today I managed to write quite a bit of introductory documentation for the Thread Checker. The description of @Combine-style annotations and invariant inheritance is still missing, though, as is a description of how to invoke the bytecode rewriting process for offline instrumentation or the custom class loader for on-the-fly instrumentation.

Most of today was spent grading the 311 exams, though. With one man short, it took us from about 1:30 PM to 8:30 PM. I also hand-graded my share of the assignment 6 submissions, which means the only major task left as part of my TA requirement is hand-grade a few assignment 7 submissions, and then I’m done. Unless I am forced to pick up someone else’s slack…


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, Uncategorized. Bookmark the permalink.

Leave a Reply