public void Log417() { using (PexTraceListenerContext.Create()) { LogHelperTest.TestPersonEntity s0 = new LogHelperTest.TestPersonEntity(); s0.Name = (string)null; this.Log<LogHelperTest.TestPersonEntity>(s0, (string)null); } }