[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