Beispiel #1
0
 public void TestMethod1Test([PexAssumeUnderTest] WorkflowController target)
 {
     target.TestMethod1();
     // TODO: add assertions to method WorkflowControllerTest.TestMethod1Test(WorkflowController)
 }