public bool HandlesEventTest( [PexAssumeUnderTest] FileCrashMonitor target, DebugTrigger triggerType, DebuggerEventArgs eventArgs ) { bool result = target.HandlesEvent(triggerType, eventArgs); return(result); // TODO: add assertions to method FileCrashMonitorTest.HandlesEventTest(FileCrashMonitor, DebugTrigger, DebuggerEventArgs) }