michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

test(emacs): add lean-option-test

Browse source
This commit is contained in:
Soonho Kong 2014-09-15 09:47:52 -07:00
parent 4bbfe4ec79
commit c3d39938ac
1 changed files with 18 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
src/emacs/test/lean-option-test.el Normal file
View file

@ -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))))