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

Add option_declaration tests

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-08-22 08:59:39 -07:00
parent 5d813c30d0
commit 60fdcf0011
1 changed files with 17 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
src/tests/util/options.cpp
View file

@ -8,6 +8,7 @@ Author: Leonardo de Moura
#include <sstream> #include <sstream>
#include "test.h" #include "test.h"
#include "options.h" #include "options.h"
#include "option_declarations.h"
using namespace lean; using namespace lean;
static void tst1() { static void tst1() {
@ -46,6 +47,7 @@ static void tst4() {
lean_assert(opt.empty()); lean_assert(opt.empty());
lean_assert(opt.size() == 0); lean_assert(opt.size() == 0);
opt = update(opt, "color", 10); opt = update(opt, "color", 10);
opt = opt.update(name("color"), 10u);
lean_assert(!opt.empty()); lean_assert(!opt.empty());
lean_assert(opt.size() == 1); lean_assert(opt.size() == 1);
lean_assert(opt.contains("color")); lean_assert(opt.contains("color"));
@ -108,10 +110,25 @@ static void tst4() {
lean_assert(s.str() == "Bool Int Unsigned Int Double String S-Expression"); lean_assert(s.str() == "Bool Int Unsigned Int Double String S-Expression");
} }
RegisterBoolOption("fakeopt", false, "fake option");
static void tst5() {
option_declarations const & decls = get_option_declarations();
auto it = decls.find("fakeopt");
lean_assert(it != decls.end());
auto decl = it->second;
lean_assert(decl.get_name() == "fakeopt");
lean_assert(decl.get_default_value() == "false");
lean_assert(decl.get_description() == "fake option");
auto it2 = decls.find("fakeopt2");
lean_assert(it2 == decls.end());
}
int main() { int main() {
tst1(); tst1();
tst2(); tst2();
tst3(); tst3();
tst4(); tst4();
tst5();
return has_violations() ? 1 : 0; return has_violations() ? 1 : 0;
} }