Function require_contracts 

pub fn require_contracts<T>(
    path: &Path,
    corpus: &[T],
    filter: Option<&str>,
) -> Result<(), ZeroContracts>

Refuse an empty corpus: Err(ZeroContracts) when corpus is empty.