public void HandleTest( [PexAssumeUnderTest] GetPlayerStatisticsHandler target, GameDeletedEvent e, LookupGamePlayersDto[] lookupGamePlayers, GetPlayerStatisticsDto[] getPlayerStatistics ) { // assume PexAssume.IsNotNull(lookupGamePlayers); PexAssume.IsTrue(lookupGamePlayers.Length == 2); PexAssume.IsNotNull(lookupGamePlayers[0]); PexAssume.IsNotNull(lookupGamePlayers[1]); PexAssume.IsNotNull(getPlayerStatistics); PexAssume.IsTrue(getPlayerStatistics.Length == 1); PexAssume.IsNotNull(getPlayerStatistics[0]); PexAssume.IsTrue(lookupGamePlayers[0].PlayerName == getPlayerStatistics[0].PlayerName); // arrange foreach (var lookupGamePlayer in lookupGamePlayers) { target.QueryDataStore.Insert <LookupGamePlayersDto>(lookupGamePlayer); } target.QueryDataStore.Insert <GetPlayerStatisticsDto>(getPlayerStatistics[0]); // act target.Handle(e); // assert var playerStats = target.QueryDataStore.GetData <GetPlayerStatisticsDto>().Single(); PexObserve.ValueAtEndOfTest("playerStats", playerStats); }