A tool for finding assumptions on APIs with under-determined specifications.
Primary LanguageJavaOtherNOASSERTION