コード例 #1
0
        public void Score([PexTarget] BlindWatchMaker1 target,
                          string candidate, string alphabet)
        {
            int result = target.Score(candidate, alphabet);

            PexValue.Add("result", result);
        }
コード例 #2
0
        public void RandomString([PexTarget] BlindWatchMaker1 target,
                                 int length, string alphabet)
        {
            string result = target.RandomString(length, alphabet);

            PexValue.Add("result", result);
        }
コード例 #3
0
        public void RunCumulativeSelection([PexTarget] BlindWatchMaker1 target,
                                           string goal, string alphabet)
        {
            Cobra.Lang.CobraImp.Reset(Console.Out);
            double result = target.RunCumulativeSelection(goal, alphabet);

            PexValue.Add("result", result);
        }