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)
///
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)
/// Creates a new AppDomain and executes the tests.
public static TestRunnerResult Run(TestPackage package)
{
+ Contract.Requires(package != null);
// create the test app domain
var testDomain = DomainManager.CreateDomain(package);