Adds specficiation for Log#run()