final

.cs

public partial class AccountTest  
    {  
  
[TestMethod]  
[PexGeneratedBy(typeof(AccountTest))]  
[ExpectedException(typeof(ArgumentException))]  
public void DepositTestThrowsArgumentException836()  
{  
    Account account;  
    double d;  
    account = new Account();  
    d = this.DepositTest(account, 0);  
}  
  
[TestMethod]  
[PexGeneratedBy(typeof(AccountTest))]  
public void DepositTest716()  
{  
    Account account;  
    double d;  
    account = new Account();  
    d = this.DepositTest(account, 1);  
    Assert.AreEqual<double>(1, d);  
    Assert.IsNotNull((object)account);  
    Assert.AreEqual<double>(1, account.CurrentBallance);  
}  
    }