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