gistfile1.rbx

describe SavingsAccount do
  it_should fullfill_role("account") do |contract|
    contract.overdraft do |account|
			initial_balance = account.balance
			account.withdraw(initial_balance + 1)
			account.balance.should == initial_balance
		end
	end
end