C# (CSharp) PexExplorationBase Examples

Example #1

        /// <inheritdoc/>
        public override void MarkTestMethod(PexExplorationBase exploration,
                                            IPexGeneratedTest test,
                                            MethodDefinitionBuilder method)
        {
            SafeDebug.AssumeNotNull(test, "test");
            SafeDebug.AssumeNotNull(method, "method");

            method.CustomAttributes.Add(new CustomAttributeBuilder(XunitTestFrameworkMetadata.Ctor_FactAttribute));
        }

Example #2

File: XunitTestFramework.cs Project: xunit/testextensions.xunit

        /// <inheritdoc/>
        public override void MarkTestMethod(PexExplorationBase exploration,
                                            IPexGeneratedTest test,
                                            MethodDefinitionBuilder method)
        {
            SafeDebug.AssumeNotNull(test, "test");
            SafeDebug.AssumeNotNull(method, "method");

            method.CustomAttributes.Add(new CustomAttributeBuilder(XunitTestFrameworkMetadata.Ctor_FactAttribute));
        }