ebi-yade/double-spec

Hypothesis Validation that Requirements for Test Doubles are Included in the Specification when Considering Collaborators as the SUT.

MIT