gsmendoza/verified_double — pull request #30 by jasonong (2013-12-24 05:10:15+00:00)
Title: Add example for running spec with contract.

Adding an example of running a spec with its contract so it's more obvious. :)