pub fn clean_run(contract: &Contract) -> Evidence
A run of contract in which nothing went wrong.
contract