From c3d39938ac85ec8bd7e57174535a5c5382e556a8 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Mon, 15 Sep 2014 09:47:52 -0700
Subject: [PATCH] test(emacs): add lean-option-test

---
 src/emacs/test/lean-option-test.el | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 src/emacs/test/lean-option-test.el

diff --git a/src/emacs/test/lean-option-test.el b/src/emacs/test/lean-option-test.el
new file mode 100644
index 000000000..2b6d9a5ee
--- /dev/null
+++ b/src/emacs/test/lean-option-test.el
@@ -0,0 +1,18 @@
+;; Copyright (c) 2014 Microsoft Corporation. All rights reserved.
+;; Released under Apache 2.0 license as described in the file LICENSE.
+;;
+;; Author: Soonho Kong
+;;
+
+(require 'ert)
+(require 'lean-option)
+
+(ert-deftest lean-test-update-string-alist ()
+  (lean-update-option-alist "pp::implicit" 'true)
+  (should
+   (equal (assoc-string "pp::implicit" lean-global-option-alist)
+          '("pp::implicit" . true)))
+  (lean-update-option-alist "pp::implicit" 'false)
+  (should
+   (equal (assoc-string "pp::implicit" lean-global-option-alist)
+          '("pp::implicit" . false))))