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