public void AddConstantTest([PexAssumeUnderTest] SparseMatrix target, double constant) { target.AddConstant(constant); // TODO: add assertions to method SparseMatrixTest.AddConstantTest(SparseMatrix, Double) }