From 05d7c201f857a1fdfcd50ce85f626fbbd9f7b0df Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B8ren=20Fuglede=20J=C3=B8rgensen?= <s@fuglede.dk>
Date: Mon, 19 Oct 2015 17:23:49 +0200
Subject: [PATCH] Add config for http checking of non-default_offs but no
 coverage check

---
 http.checker.config | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 http.checker.config

diff --git a/http.checker.config b/http.checker.config
new file mode 100644
index 0000000..8d268e4
--- /dev/null
+++ b/http.checker.config
@@ -0,0 +1,33 @@
+# Config for checking connections of non-default_off rules
+# without checking coverage.
+[rulesets]
+# Directory with XML files describing HTTPS Everywhere rulesets
+rulesdir = src/chrome/content/rules
+check_coverage = false
+auto_disable = false
+include_default_off = false
+
+[certificates]
+# Certificate trust anchors for checking chains in HTTPS connections
+basedir = test/rules/platform_certs
+
+[http]
+user_agent = Mozilla/5.0 (X11; Linux x86_64; rv:36.0) Gecko/20100101 Firefox/36.0
+enabled = true
+connect_timeout = 10
+read_timeout = 15
+redirect_depth = 10
+threads = 40
+fetch_in_subprocess = false
+
+[log]
+logfile = -
+loglevel = info
+
+[thresholds]
+metric = markup
+max_distance = 0.1
+
+[debug]
+graphviz_file = HTEC_trie.dot
+exit_after_dump = true