/unjust

A command-line tool for detecting the "unjustified assumption in subclasses" defect in EO programs.

Primary LanguageScala

Stargazers

No one’s star this repository yet.