Timestamp:
04/16/09 10:44:40 (7 months ago)
Author:
sukyoungryu
Message:

[static checker] Implemented a simple comprises clause check. Added a test.

Files:
1 added