From 97e7e4e7622245ff06424ecd5f1d55ac2ac85005 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 29 Apr 2014 17:08:50 -0700 Subject: [PATCH] test(lua): remove obsolete test Signed-off-by: Leonardo de Moura --- tests/lua/old/level1.lua | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 tests/lua/old/level1.lua diff --git a/tests/lua/old/level1.lua b/tests/lua/old/level1.lua deleted file mode 100644 index 8eecf8f34..000000000 --- a/tests/lua/old/level1.lua +++ /dev/null @@ -1,22 +0,0 @@ -l = level() -assert(is_level(l)) -assert(l:is_bottom()) -assert(l:kind() == level_kind.UVar) -l = level(l, 1) -assert(is_level(l)) -assert(not l:is_bottom()) -assert(l:is_lift()) -assert(l:kind() == level_kind.Lift) -assert(l:lift_of() == level()) -assert(l:lift_offset() == 1) -l = level("U") -assert(l:is_uvar()) -assert(l:uvar_name() == name("U")) -assert(not l:is_lift()) -l = level(level("U"), level("M"), level("m")) -assert(l:is_max()) -assert(l:max_size() == 3) -assert(l:max_level(0) == level("U")) -assert(l:max_level(1) == level("M")) -print(l) -assert(l:kind() == level_kind.Max)