xxx

Author: ligurio

tests/lapi/lib.lua

@@ -7,12 +7,14 @@ Test helpers.
 
 -- The function determines a Lua version.
 local function lua_version()
+    local maj, min = _VERSION:match("([%d]+)%.(%d+)")
+    local maj_num, min_num = tonumber(maj), tonumber(min)
     local is_luajit, _ = pcall(require, "jit")
     if is_luajit then
-        return "LuaJIT"
+        return "LuaJIT", maj_num, min_num
     end
 
-    return _VERSION
+    return _VERSION, maj_num, min_num
 end
 
 -- By default `lua_Integer` is ptrdiff_t in Lua 5.1 and Lua 5.2
@@ -56,27 +58,21 @@ local function bitwise_op(op_name)
     end
 end
 
-local function approx_equal(a, b, epsilon)
-    local abs = math.abs
-    return abs(a - b) <= ((abs(a) < abs(b) and abs(b) or abs(a)) * epsilon)
-end
-
-local function definitely_lt(a, b, epsilon)
-    local abs = math.abs
-    return (b - a) > ((abs(a) < abs(b) and abs(b) or abs(a)) * epsilon)
+local function math_pow(x, y)
+    local chunk = ("return %f ^ %f"):format(x, y)
+    return assert(load(chunk))()
 end
 
-local function definitely_gt(a, b, epsilon)
+local function approx_equal(a, b, epsilon)
     local abs = math.abs
-    return (a - b) > ((abs(a) < abs(b) and abs(b) or abs(a)) * epsilon)
+    return abs(a - b) <= ((abs(a) < abs(b) and abs(b) or abs(a)) * epsilon)
 end
 
 return {
     approx_equal = approx_equal,
     bitwise_op = bitwise_op,
-    definitely_gt = definitely_gt,
-    definitely_lt= definitely_lt,
     lua_version = lua_version,
+    math_pow = math_pow,
     MAX_INT64 = MAX_INT64,
     MIN_INT64 = MIN_INT64,
     MAX_INT = MAX_INT,

tests/lapi/math_log_test.lua

@@ -17,6 +17,17 @@ Synopsis: math.log(x [, b])
 local luzer = require("luzer")
 local test_lib = require("lib")
 
+-- The function `math.pow()` has been deprecated in PUC Rio Lua 5.3,
+-- see Lua 5.3 Reference Manual, 8.2 – Changes in the Libraries.
+--
+-- 1. https://www.lua.org/manual/5.3/manual.html
+local pow
+if test_lib.lua_version() == "LuaJIT" then
+    pow = math.pow
+else
+    pow = test_lib.math_pow
+end
+
 local function TestOneInput(buf, _size)
     local fdp = luzer.FuzzedDataProvider(buf)
     -- The natural logarithm (base e) of x. If x is ±0,
@@ -30,16 +41,14 @@ local function TestOneInput(buf, _size)
     assert(test_lib.approx_equal(math.log(x * y, b),
                                  math.log(x, b) + math.log(y, b), 0.01))
     -- Quotient rule.
-    -- FIXME: assert(test_lib.approx_equal(math.log(x / y, b), math.log(x, b) - math.log(y, b), 0.5))
-
-    if test_lib.lua_version() == "LuaJIT" then
-        -- Power rule.
-        assert(test_lib.approx_equal(math.log(math.pow(x, y), b), y * math.log(x, b), 0.01))
-        -- Inverse property of logarithm.
-        assert(test_lib.approx_equal(math.log(math.pow(b, x), b), x, 0.01))
-        -- Inverse property of exponent.
-        assert(test_lib.approx_equal(math.pow(b, math.log(x, b)), x, 0.01))
-    end
+    -- assert(test_lib.approx_equal(math.log(x / y, b), math.log(x, b) - math.log(y, b), 0.5))
+
+    -- Power rule.
+    assert(test_lib.approx_equal(math.log(pow(x, y), b), y * math.log(x, b), 0.01))
+    -- Inverse property of logarithm.
+    assert(test_lib.approx_equal(math.log(pow(b, x), b), x, 0.01))
+    -- Inverse property of exponent.
+    assert(test_lib.approx_equal(pow(b, math.log(x, b)), x, 0.01))
     -- Zero rule.
     assert(math.log(1, b) == 0)
     -- Identity rule.

tests/lapi/math_pow_test.lua

@@ -23,16 +23,22 @@ Synopsis: math.pow(x, y)
 local luzer = require("luzer")
 local test_lib = require("lib")
 
-if test_lib.lua_version() ~= "LuaJIT" then
-    print("Unsupported version.")
-    os.exit(0)
+-- The function `math.pow()` has been deprecated in PUC Rio Lua 5.3,
+-- see Lua 5.3 Reference Manual, 8.2 – Changes in the Libraries.
+--
+-- 1. https://www.lua.org/manual/5.3/manual.html
+local pow
+if test_lib.lua_version() == "LuaJIT" then
+    pow = math.pow
+else
+    pow = test_lib.math_pow
 end
 
 local function TestOneInput(buf, _size)
     local fdp = luzer.FuzzedDataProvider(buf)
     local x = fdp:consume_number(test_lib.MIN_INT, test_lib.MAX_INT)
     local y = fdp:consume_number(test_lib.MIN_INT, test_lib.MAX_INT)
-    local res = math.pow(x, y)
+    local res = pow(x, y)
     assert(type(res) == "number")
 end
 

tests/lapi/math_randomseed_test.lua

@@ -18,11 +18,12 @@ local function TestOneInput(buf)
     local fdp = luzer.FuzzedDataProvider(buf)
     local x = fdp:consume_integer(test_lib.MIN_INT, test_lib.MAX_INT)
     local y = fdp:consume_integer(test_lib.MIN_INT, test_lib.MAX_INT)
-    -- The function returns the two seed components that were
-    -- effectively used, so that setting them again repeats the
-    -- sequence.
+    -- Since Lua 5.4 the function returns the two seed components
+    -- that were effectively used, so that setting them again
+    -- repeats the sequence.
     local a, b = math.randomseed(x, y)
-    if test_lib.lua_version() ~= "LuaJIT" then
+    local version_str, maj, min = test_lib.lua_version()
+    if version_str ~= "LuaJIT" and maj >= 5 and min >= 4 then
         assert(type(a) == "number" and type(b) == "number")
     end
 end

tests/lapi/math_sin_test.lua

@@ -21,8 +21,6 @@ local function TestOneInput(buf)
     assert(type(sin_x) == "number")
     local cos_x = math.cos(x)
     assert(type(cos_x) == "number")
-
-    -- cos² α + sin² α = 1
     assert(test_lib.approx_equal(cos_x^2 + sin_x^2, 1, 0.01))
 end
 

tests/lapi/math_sqrt_test.lua

@@ -27,6 +27,10 @@ local function TestOneInput(buf)
     local fdp = luzer.FuzzedDataProvider(buf)
     local x = fdp:consume_number(0, test_lib.MAX_INT)
     assert(type(x) == "number")
+    -- Note, `math.sqrt(x)` and `x^0.5` are not interchangeable,
+    -- see [1].
+    --
+    -- 1. https://github.com/LuaJIT/LuaJIT/issues/684#issuecomment-822427297
     assert(test_lib.approx_equal(math.sqrt(x), x^0.5, 0.01))
 end
 

tests/lapi/math_tan_test.lua

@@ -21,7 +21,6 @@ local function TestOneInput(buf)
     local cos_x = math.cos(x)
     local tan_x = math.tan(x)
 
-    -- tan α = sin α / cos α
     if cos_x ~= 0 then
         assert(test_lib.approx_equal(tan_x, sin_x / cos_x, 0.01))
     end

tests/lapi/math_tointeger_test.lua

@@ -14,7 +14,9 @@ Synopsis: math.tointeger(x)
 local luzer = require("luzer")
 local test_lib = require("lib")
 
-if test_lib.lua_version() == "LuaJIT" then
+-- The function `math.tointeger()` is available since Lua 5.3.
+local _, version_major, version_minor = test_lib.lua_version()
+if version_major <= 5 and version_minor < 3 then
     print("Unsupported version.")
     os.exit(0)
 end

tests/lapi/math_ult_test.lua

@@ -14,8 +14,9 @@ Synopsis: math.ult(m, n)
 local luzer = require("luzer")
 local test_lib = require("lib")
 
--- PUC Rio Lua only.
-if test_lib.lua_version() == "LuaJIT" then
+-- The function `math.tointeger()` is available since Lua 5.3.
+local _, version_major, version_minor = test_lib.lua_version()
+if version_major <= 5 and version_minor < 3 then
     print("Unsupported version.")
     os.exit(0)
 end