Add example for running spec with contract.