diff --git a/src/harness/harness.ts b/src/harness/harness.ts
index f804dc4eb6a..0b4a58260ec 100644
--- a/src/harness/harness.ts
+++ b/src/harness/harness.ts
@@ -1051,7 +1051,7 @@ namespace Harness {
             options.target = options.target || ts.ScriptTarget.ES3;
             options.newLine = options.newLine || ts.NewLineKind.CarriageReturnLineFeed;
             options.noErrorTruncation = true;
-            options.skipDefaultLibCheck = true;
+            options.skipDefaultLibCheck = typeof options.skipDefaultLibCheck === "undefined" ? true : options.skipDefaultLibCheck;
 
             if (typeof currentDirectory === "undefined") {
                 currentDirectory = Harness.IO.getCurrentDirectory();
diff --git a/tests/baselines/reference/verifyDefaultLib_dom.js b/tests/baselines/reference/verifyDefaultLib_dom.js
new file mode 100644
index 00000000000..b65e133572a
--- /dev/null
+++ b/tests/baselines/reference/verifyDefaultLib_dom.js
@@ -0,0 +1,6 @@
+//// [verifyDefaultLib_dom.ts]
+
+var x: HTMLElement;
+
+//// [verifyDefaultLib_dom.js]
+var x;
diff --git a/tests/baselines/reference/verifyDefaultLib_dom.symbols b/tests/baselines/reference/verifyDefaultLib_dom.symbols
new file mode 100644
index 00000000000..53502b040c3
--- /dev/null
+++ b/tests/baselines/reference/verifyDefaultLib_dom.symbols
@@ -0,0 +1,6 @@
+=== tests/cases/compiler/verifyDefaultLib_dom.ts ===
+
+var x: HTMLElement;
+>x : Symbol(x, Decl(verifyDefaultLib_dom.ts, 1, 3))
+>HTMLElement : Symbol(HTMLElement, Decl(lib.dom.d.ts, --, --), Decl(lib.dom.d.ts, --, --))
+
diff --git a/tests/baselines/reference/verifyDefaultLib_dom.types b/tests/baselines/reference/verifyDefaultLib_dom.types
new file mode 100644
index 00000000000..aafd063846d
--- /dev/null
+++ b/tests/baselines/reference/verifyDefaultLib_dom.types
@@ -0,0 +1,6 @@
+=== tests/cases/compiler/verifyDefaultLib_dom.ts ===
+
+var x: HTMLElement;
+>x : HTMLElement
+>HTMLElement : HTMLElement
+
diff --git a/tests/baselines/reference/verifyDefaultLib_webworker.js b/tests/baselines/reference/verifyDefaultLib_webworker.js
new file mode 100644
index 00000000000..515b5d9632f
--- /dev/null
+++ b/tests/baselines/reference/verifyDefaultLib_webworker.js
@@ -0,0 +1,6 @@
+//// [verifyDefaultLib_webworker.ts]
+
+var x: Worker;
+
+//// [verifyDefaultLib_webworker.js]
+var x;
diff --git a/tests/baselines/reference/verifyDefaultLib_webworker.symbols b/tests/baselines/reference/verifyDefaultLib_webworker.symbols
new file mode 100644
index 00000000000..ac27e7c83dc
--- /dev/null
+++ b/tests/baselines/reference/verifyDefaultLib_webworker.symbols
@@ -0,0 +1,6 @@
+=== tests/cases/compiler/verifyDefaultLib_webworker.ts ===
+
+var x: Worker;
+>x : Symbol(x, Decl(verifyDefaultLib_webworker.ts, 1, 3))
+>Worker : Symbol(Worker, Decl(lib.webworker.d.ts, --, --), Decl(lib.webworker.d.ts, --, --))
+
diff --git a/tests/baselines/reference/verifyDefaultLib_webworker.types b/tests/baselines/reference/verifyDefaultLib_webworker.types
new file mode 100644
index 00000000000..38accb39842
--- /dev/null
+++ b/tests/baselines/reference/verifyDefaultLib_webworker.types
@@ -0,0 +1,6 @@
+=== tests/cases/compiler/verifyDefaultLib_webworker.ts ===
+
+var x: Worker;
+>x : Worker
+>Worker : Worker
+
diff --git a/tests/cases/compiler/verifyDefaultLib_dom.ts b/tests/cases/compiler/verifyDefaultLib_dom.ts
new file mode 100644
index 00000000000..519485320ae
--- /dev/null
+++ b/tests/cases/compiler/verifyDefaultLib_dom.ts
@@ -0,0 +1,7 @@
+// @strictNullChecks: true
+// @noImplicitAny: true
+// @noImplicitThis: true
+// @skipDefaultLibCheck: false
+// @lib: es2015,es2016,es2017,dom,scripthost
+
+var x: HTMLElement;
\ No newline at end of file
diff --git a/tests/cases/compiler/verifyDefaultLib_webworker.ts b/tests/cases/compiler/verifyDefaultLib_webworker.ts
new file mode 100644
index 00000000000..7da62387d2f
--- /dev/null
+++ b/tests/cases/compiler/verifyDefaultLib_webworker.ts
@@ -0,0 +1,7 @@
+// @strictNullChecks: true
+// @noImplicitAny: true
+// @noImplicitThis: true
+// @skipDefaultLibCheck: false
+// @lib: es2015,es2016,es2017,webworker
+
+var x: Worker;
\ No newline at end of file