lua 5.3.1 test suite

Author: Guilherme Salazar

all.lua

@@ -1,5 +1,5 @@
 #!../lua
--- $Id: all.lua,v 1.91 2014/12/26 17:20:53 roberto Exp $
+-- $Id: all.lua,v 1.93 2015/05/15 12:28:08 roberto Exp $
 
 local version = "Lua 5.3"
 if _VERSION ~= version then
@@ -9,6 +9,9 @@ if _VERSION ~= version then
 end
 
 
+_G._ARG = arg   -- save arg for other tests
+
+
 -- next variables control the execution of some tests
 -- true means no test (so an undefined variable does not skip a test)
 -- defaults are for Linux; test everything.
@@ -203,8 +206,9 @@ _G.showmem = showmem
 
 end   --)
 
-local _G, showmem, print, format, clock, time, assert, open =
-      _G, showmem, print, string.format, os.clock, os.time, assert, io.open
+local _G, showmem, print, format, clock, time, difftime, assert, open =
+      _G, showmem, print, string.format, os.clock, os.time, os.difftime,
+      assert, io.open
 
 -- file with time of last performed test
 local fname = T and "time-debug.txt" or "time.txt"
@@ -238,9 +242,9 @@ collectgarbage()
 collectgarbage();showmem()
 
 local clocktime = clock() - initclock
-walltime = time() - walltime
+walltime = difftime(time(), walltime)
 
-print(format("\n\ntotal time: %.2fs (wall time: %ds)\n", clocktime, walltime))
+print(format("\n\ntotal time: %.2fs (wall time: %gs)\n", clocktime, walltime))
 
 if not usertests then
   lasttime = lasttime or clocktime    -- if no last time, ignore difference

api.lua

@@ -1,4 +1,4 @@
--- $Id: api.lua,v 1.139 2014/12/26 17:20:53 roberto Exp $
+-- $Id: api.lua,v 1.141 2015/05/15 12:25:38 roberto Exp $
 
 if T==nil then
   (Message or print)('\n >>> testC not active: skipping API tests <<<\n')
@@ -35,9 +35,9 @@ assert(T.testC("settop 10; absindex 1; return 1") == 1)
 assert(T.testC("settop 10; absindex R; return 1") < -10)
 
 -- testing alignment
-a = T.d2s(12458954321123)
-assert(a == string.pack("d", 12458954321123))
-assert(T.s2d(a) == 12458954321123)
+a = T.d2s(12458954321123.0)
+assert(a == string.pack("d", 12458954321123.0))
+assert(T.s2d(a) == 12458954321123.0)
 
 a,b,c = T.testC("pushnum 1; pushnum 2; pushnum 3; return 2")
 assert(a == 2 and b == 3 and not c)
@@ -369,8 +369,8 @@ do
 
 
   -- memory error
-  T.totalmem(T.totalmem()+5000)   -- set low memory limit (+5k)
-  assert(T.checkpanic("newuserdata 10000") == "not enough memory")
+  T.totalmem(T.totalmem()+10000)   -- set low memory limit (+10k)
+  assert(T.checkpanic("newuserdata 20000") == "not enough memory")
   T.totalmem(0)          -- restore high limit
 
   -- stack error

attrib.lua

@@ -1,4 +1,4 @@
--- $Id: attrib.lua,v 1.61 2014/12/26 17:20:53 roberto Exp $
+-- $Id: attrib.lua,v 1.62 2015/04/30 14:15:57 roberto Exp $
 
 print "testing require"
 
@@ -395,7 +395,7 @@ a[1].alo(a[2]==10 and b==10 and c==print)
 -- compute maximum integer where all bits fit in a float
 local maxint = math.maxinteger
 
-while maxint - 1.0 == maxint do   -- trim (if needed) to fit in a float
+while maxint - 1.0 == maxint - 0.0 do   -- trim (if needed) to fit in a float
   maxint = maxint // 2
 end
 

bitwise.lua

@@ -1,4 +1,4 @@
--- $Id: bitwise.lua,v 1.24 2014/12/26 17:20:53 roberto Exp $
+-- $Id: bitwise.lua,v 1.25 2015/04/30 14:15:57 roberto Exp $
 
 print("testing bitwise operations")
 
@@ -35,7 +35,7 @@ d = d << 32
 assert(a | b ~ c & d == 0xF4000000 << 32)
 assert(~~a == a and ~a == -1 ~ a and -d == ~d + 1)
 
-assert(-1 >> 1 == 2^(numbits - 1) - 1 and 1 << 31 == 0x80000000)
+assert(-1 >> 1 == (1 << (numbits - 1)) - 1 and 1 << 31 == 0x80000000)
 assert(-1 >> (numbits - 1) == 1)
 assert(-1 >> numbits == 0 and
        -1 >> -numbits == 0 and
@@ -218,7 +218,7 @@ assert(bit32.rshift(0x12345678, 8) == 0x00123456)
 assert(bit32.rshift(0x12345678, 32) == 0)
 assert(bit32.rshift(0x12345678, -32) == 0)
 assert(bit32.arshift(0x12345678, 0) == 0x12345678)
-assert(bit32.arshift(0x12345678, 1) == 0x12345678 / 2)
+assert(bit32.arshift(0x12345678, 1) == 0x12345678 // 2)
 assert(bit32.arshift(0x12345678, -1) == 0x12345678 * 2)
 assert(bit32.arshift(-1, 1) == 0xffffffff)
 assert(bit32.arshift(-1, 24) == 0xffffffff)

calls.lua

@@ -1,4 +1,4 @@
--- $Id: calls.lua,v 1.56 2014/12/26 17:20:53 roberto Exp $
+-- $Id: calls.lua,v 1.57 2015/03/04 13:09:38 roberto Exp $
 
 print("testing functions and calls")
 
@@ -87,7 +87,7 @@ assert(t[1] == 1 and t[2] == 2 and t[3] == 3 and t[4] == 'a')
 
 function fat(x)
   if x <= 1 then return 1
-  else return x*load("return fat(" .. x-1 .. ")")()
+  else return x*load("return fat(" .. x-1 .. ")", "")()
   end
 end
 

constructs.lua

@@ -1,4 +1,4 @@
--- $Id: constructs.lua,v 1.37 2014/12/26 17:20:53 roberto Exp $
+-- $Id: constructs.lua,v 1.39 2015/03/04 13:09:38 roberto Exp $
 
 ;;print "testing syntax";;
 
@@ -228,7 +228,7 @@ a,b = F(nil)==nil; assert(a == true and b == nil)
 ------------------------------------------------------------------
 
 -- sometimes will be 0, sometimes will not...
-_ENV.GLOB1 = os.time() % 2
+_ENV.GLOB1 = math.floor(os.time()) % 2
 
 -- basic expressions with their respective values
 local basiccases = {
@@ -284,7 +284,7 @@ local i = 0
 for n = 1, level do
   for _, v in pairs(cases[n]) do
     local s = v[1]
-    local p = load(string.format(prog, s, s))
+    local p = load(string.format(prog, s, s), "")
     IX = false
     assert(p() == v[2] and IX == not not v[2])
     i = i + 1

coroutine.lua

@@ -1,4 +1,4 @@
--- $Id: coroutine.lua,v 1.37 2014/12/26 17:20:53 roberto Exp $
+-- $Id: coroutine.lua,v 1.39 2015/04/14 18:05:03 roberto Exp $
 
 print "testing coroutines"
 
@@ -362,6 +362,44 @@ else
   assert(_G.XX == 20 and c == 5)
   _G.X = nil; _G.XX = nil
 
+  do
+    -- testing debug library on a coroutine suspended inside a hook
+    -- (bug in 5.2/5.3)
+    c = coroutine.create(function (a, ...)
+      T.sethook("yield 0", "l")   -- will yield on next two lines
+      assert(a == 10)
+      return ...
+    end)
+
+    assert(coroutine.resume(c, 1, 2, 3))   -- start coroutine
+    local n,v = debug.getlocal(c, 0, 1)    -- check its local
+    assert(n == "a" and v == 1)
+    n,v = debug.getlocal(c, 0, -1)         -- check varargs
+    assert(v == 2)
+    n,v = debug.getlocal(c, 0, -2)
+    assert(v == 3)
+    assert(debug.setlocal(c, 0, 1, 10))     -- test 'setlocal'
+    assert(debug.setlocal(c, 0, -2, 20))
+    local t = debug.getinfo(c, 0)        -- test 'getinfo'
+    assert(t.currentline == t.linedefined + 1)
+    assert(not debug.getinfo(c, 1))      -- no other level
+    assert(coroutine.resume(c))          -- run next line
+    v = {coroutine.resume(c)}         -- finish coroutine
+    assert(v[1] == true and v[2] == 2 and v[3] == 20 and v[4] == nil)
+    assert(not coroutine.resume(c))
+  end
+
+  do
+    -- testing debug library on last function in a suspended coroutine
+    -- (bug in 5.2/5.3)
+    local c = coroutine.create(function () T.testC("yield 1", 10, 20) end)
+    local a, b = coroutine.resume(c)
+    assert(a and b == 20)
+    assert(debug.getinfo(c, 0).linedefined == -1)
+    a, b = debug.getlocal(c, 0, 2)
+    assert(b == 10)
+  end
+
 
   print "testing coroutine API"
 
@@ -567,6 +605,47 @@ assert(run(function() return a .. b .. c .. a end,
 assert(run(function() return "a" .. "b" .. a .. "c" .. c .. b .. "x" end,
        {"concat", "concat", "concat"}) == "ab10chello12x")
 
+
+do   -- a few more tests for comparsion operators
+  local mt1 = {
+    __le = function (a,b)
+      coroutine.yield(10)
+      return
+        (type(a) == "table" and a.x or a) <= (type(b) == "table" and b.x or b)
+    end,
+    __lt = function (a,b)
+      coroutine.yield(10)
+      return
+        (type(a) == "table" and a.x or a) < (type(b) == "table" and b.x or b)
+    end,
+  }
+  local mt2 = { __lt = mt1.__lt }   -- no __le
+
+  local function run (f)
+    local co = coroutine.wrap(f)
+    local res
+    repeat
+      res = co()
+    until res ~= 10
+    return res
+  end
+  
+  local function test ()
+    local a1 = setmetatable({x=1}, mt1)
+    local a2 = setmetatable({x=2}, mt2)
+    assert(a1 < a2)
+    assert(a1 <= a2)
+    assert(1 < a2)
+    assert(1 <= a2)
+    assert(2 > a1)
+    assert(2 >= a2)
+    return true
+  end
+  
+  run(test)
+
+end
+
 assert(run(function ()
              a.BB = print
              return a.BB

db.lua

@@ -1,4 +1,4 @@
--- $Id: db.lua,v 1.76 2015/01/01 13:52:01 roberto Exp $
+-- $Id: db.lua,v 1.77 2015/06/01 16:39:11 roberto Exp $
 
 -- testing debug library
 
@@ -331,6 +331,19 @@ assert(debug.gethook() == nil)
 
 -- testing access to function arguments
 
+local function collectlocals (level)
+  local tab = {}
+  for i = 1, math.huge do
+    local n, v = debug.getlocal(level + 1, i)
+    if not (n and string.find(n, "^[a-zA-Z0-9_]+$")) then
+       break   -- consider only real variables
+    end
+    tab[n] = v
+  end
+  return tab
+end
+
+
 X = nil
 a = {}
 function a:f (a, b, ...) local arg = {...}; local c = 13 end
@@ -346,14 +359,7 @@ debug.sethook(function (e)
     assert(m == 'l' and c == 0)
     debug.sethook(nil)  -- hook is called only once
     assert(not X)       -- check that
-    X = {}; local i = 1
-    local x,y
-    while 1 do
-      x,y = debug.getlocal(2, i)
-      if x==nil then break end
-      X[x] = y
-      i = i+1
-    end
+    X = collectlocals(2)
   end, "l")
 end, "c")
 
@@ -363,6 +369,30 @@ assert(XX == 12)
 assert(debug.gethook() == nil)
 
 
+-- testing access to local variables in return hook (bug in 5.2)
+do
+  local function foo (a, b)
+    do local x,y,z end
+    local c, d = 10, 20
+    return
+  end
+
+  local function aux ()
+    if debug.getinfo(2).name == "foo" then
+      foo = nil   -- to signal that it found 'foo'
+      local tab = {a = 100, b = 200, c = 10, d = 20}
+      for n, v in pairs(collectlocals(2)) do
+        assert(tab[n] == v)
+        tab[n] = nil
+      end
+      assert(next(tab) == nil)    -- 'tab' must be empty
+    end
+  end
+
+  debug.sethook(aux, "r"); foo(100, 200); debug.sethook()
+  assert(foo == nil)
+end
+
 -- testing upvalue access
 local function getupvalues (f)
   local t = {}

errors.lua

@@ -1,4 +1,4 @@
--- $Id: errors.lua,v 1.89 2014/12/26 17:20:53 roberto Exp $
+-- $Id: errors.lua,v 1.90 2015/04/30 14:16:36 roberto Exp $
 
 print("testing errors")
 
@@ -488,8 +488,7 @@ testrep("", "function foo () ", "", " end")
 testrep("a=", "a..", "a", "")
 testrep("a=", "a^", "a", "")
 
-checkmessage("a = f(x" .. string.rep(",x", 260) .. ")",
-             "expression too complex")
+checkmessage("a = f(x" .. string.rep(",x", 260) .. ")", "too many registers")
 
 
 -- testing other limits