I just noticed that
ThreadCheckPredicateCheckTest fails at and after changelist 892, but succeeds at and before changelist 891, so I’ll be looking at the changes I made. Now I need to get ready for the noon seminar.
The problem had to do with the numbering of auto-generated parameter names when arguments are not passed.
Of course, once you’ve found the cause of an error, it’s too tempting not to fix it, so I did fix it before I biked to Rice, and I was 10 minutes late to the seminar. Just in time