devjaime

public interface IAccount  
    {  
        double CurrentBallance { get; }
        double Deposit(double amount);  
        double Withdraw(double amount);  
    }  
  
public class Account : IAccount  
    {  
        double _balance;  

devjaime

public interface IAccount  
    {  
        double CurrentBallance { get; }
        double Deposit(double amount);  
        double Withdraw(double amount);  
    }  
  
public class Account : IAccount  
    {  
        double _balance;  

devjaime

[TestClass()]  
    public class AccountTests  
    {  
         [TestMethod()]
         public void CurrentBallanceTestPositiveCase()
         {
            IAccount account = new Account();
            account.Deposit(100);
            double result = account.CurrentBallance;
            Assert.AreEqual(100, result);

devjaime

public class Account : IAccount  
    {  
        double _balance;  
  
        public double CurrentBallance { get { return _balance; } }  
          
        public double Deposit(double amount)  
        {  
            if (amount > 0)  
            {  

devjaime

[TestClass()]  
    public class AccountTests  
    {  
        [TestMethod()]  
        public void DepositTest()  
        {  
            Assert.Fail();  
        }  
  
        [TestMethod()]  

devjaime

/// <summary>This class contains parameterized unit tests for Account</summary>  
    [PexClass(typeof(Account))]  
    [PexAllowedExceptionFromTypeUnderTest(typeof(InvalidOperationException))]  
    [PexAllowedExceptionFromTypeUnderTest(typeof(ArgumentException), AcceptExceptionSubtypes = true)]  
    [TestClass]  
    public partial class AccountTest  
    {  
        /// <summary>Test stub for get_CurrentBallance()</summary>  
        [PexMethod]  
        public double CurrentBallanceGetTest([PexAssumeUnderTest]Account target)  

devjaime

public partial class AccountTest  
    {  
  
[TestMethod]  
[PexGeneratedBy(typeof(AccountTest))]  
[ExpectedException(typeof(ArgumentException))]  
public void DepositTestThrowsArgumentException836()  
{  
    Account account;  
    double d;  

devjaime

using System;
using System.Collections.Generic;
using System.Windows.Input;
using Xamarin.Essentials;
using Xamarin.Forms;

namespace Acelerometro.ViewModel
{
    public class AccelerometerViewModel : BaseViewModel
    {

devjaime

using System;
using System.Threading.Tasks;

namespace Acelerometro.ViewModel
{
    public class BaseViewModel : ObservableObject
    {
        bool isBusy;

        public bool IsBusy

devjaime

using System;
using System.Collections.Generic;
using System.ComponentModel;
using System.Runtime.CompilerServices;

namespace Acelerometro.ViewModel
{
    public class ObservableObject : INotifyPropertyChanged
    {
        protected virtual bool SetProperty<T>(ref T backingStore, T value, [CallerMemberName]string propertyName = "", Action onChanged = null, Func<T, T, bool> validateValue = null)