[Checkers] Failing tests in Checkers

Mahmood Ali mahmood at MIT.EDU
Mon Jun 16 19:11:35 EDT 2008


I just added some failing tests to the framework regarding polymorphic  
qualifiers.  Specifically, they test for qualifiers relationship to  
other qualifiers.

It's unfortunate, but please tolerate them until I get around to  
fixing them.  If you wish, comment them out in your local workspace.

- Mahmood

More information about the checkers mailing list