/unjust

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

Primary LanguageScala

No issues in this repository yet.