fn invariant_contract_name(contract_name: &str) -> &str
Returns the invariant test contract name without the file path prefix.