public void DisposeTest([PexAssumeUnderTest] TripleDes target) { target.Dispose(); // TODO: add assertions to method TripleDesTest.DisposeTest(TripleDes) }