From be7e14d011c5f4e1bea29d71f14563360e88131c Mon Sep 17 00:00:00 2001
From: Aaron Stannard <aaron@petabridge.com>
Date: Sat, 9 Apr 2016 15:55:05 -0700
Subject: [PATCH] added some code contracts to TestRunner

---
 src/NBench/Sdk/TestRunner.cs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/NBench/Sdk/TestRunner.cs b/src/NBench/Sdk/TestRunner.cs
index 15a9b601..67a35daa 100644
--- a/src/NBench/Sdk/TestRunner.cs
+++ b/src/NBench/Sdk/TestRunner.cs
@@ -6,6 +6,7 @@
 using NBench.Sdk.Compiler;
 using System;
 using System.Diagnostics;
+using System.Diagnostics.Contracts;
 using System.Threading;
 
 namespace NBench.Sdk
@@ -46,6 +47,7 @@ public TestRunner(TestPackage package)
         /// <returns></returns>
         public static TestRunner CreateRunner(AppDomain domain, TestPackage package)
         {
+            Contract.Requires(domain != null);
             var runnerType = typeof(TestRunner);
             return domain.CreateInstanceAndUnwrap(runnerType.Assembly.FullName, runnerType.FullName, false, 0, null, new object[] { package }, null, null) as TestRunner;
         }
@@ -58,6 +60,7 @@ public static TestRunner CreateRunner(AppDomain domain, TestPackage package)
         /// <remarks>Creates a new AppDomain and executes the tests.</remarks>
         public static TestRunnerResult Run(TestPackage package)
         {
+            Contract.Requires(package != null);
             // create the test app domain
             var testDomain = DomainManager.CreateDomain(package);