[Checkers] Bug in handling -J arguments
Michael Ernst
mernst at cs.washington.edu
Sat Dec 13 18:02:36 EST 2008
Mahmood-
Thanks for pointing out the problem. I have pushed a fix into the
repository. Let me know if it doesn't work for you.
-Mike
More information about the checkers
mailing list