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)
}
