public ICollection <string> CrashesRecordedGetTest([PexAssumeUnderTest] FileCrashMonitor target) { ICollection <string> result = target.CrashesRecorded; return(result); // TODO: add assertions to method FileCrashMonitorTest.CrashesRecordedGetTest(FileCrashMonitor) }
public void HandleEventTest( [PexAssumeUnderTest] FileCrashMonitor target, DebugTrigger triggerType, DebuggerEventArgs eventArgs, IDebugContext context ) { target.HandleEvent(triggerType, eventArgs, context); // TODO: add assertions to method FileCrashMonitorTest.HandleEventTest(FileCrashMonitor, DebugTrigger, DebuggerEventArgs, IDebugContext) }
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) }
public FileCrashMonitor ConstructorTest( string fileName, int maxCrashes, DumpFlags dumpFlags ) { FileCrashMonitor target = new FileCrashMonitor(fileName, maxCrashes, dumpFlags); return(target); // TODO: add assertions to method FileCrashMonitorTest.ConstructorTest(String, Int32, DumpFlags) }