From 2368c936d3425dab1a6e35e458a5ece2a9d4bf88 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 15 Jan 2014 17:24:18 -0800 Subject: [PATCH] test(tests/lua): exercise fields method for semantic attachments Signed-off-by: Leonardo de Moura --- tests/lua/fields.lua | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 tests/lua/fields.lua diff --git a/tests/lua/fields.lua b/tests/lua/fields.lua new file mode 100644 index 000000000..bde312725 --- /dev/null +++ b/tests/lua/fields.lua @@ -0,0 +1,8 @@ +assert(nVal(0):fields() == mpz(0)) +assert(iVal(-1):fields() == mpz(-1)) +assert(rVal("1/2"):fields() == mpq("1/2")) +local env = get_environment() +local add = env:find_object({"Nat", "add"}) +assert(add) +assert(add:get_value():fields() == nil) +assert(add:get_value():is_value())