public static void Main(string[] args)
{
var test = new CalculatorTests();
test.div_10div5_2Returned();
test.mult_7mult5_35Returned();
test.subtract_7Minus5_2Returned();
test.Sum_2Plus5_7Returned();
Console.WriteLine("Test is done");
}
public void DivideTestTest([PexAssumeUnderTest]CalculatorTests target)
{
target.DivideTest();
// TODO: add assertions to method CalculatorTestsTest.DivideTestTest(CalculatorTests)
}
