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

test(lua): use assertions

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-11-05 13:21:01 -08:00
parent 40fde1a69c
commit 76150620c3
1 changed files with 10 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
tests/lua/n1.lua
View file

@ -1,8 +1,13 @@
n = name("foo", 1, 2)
print(n)
print(name(n, "bla"))
print(n == name("foo", 1))
print(n == name("foo", 2))
print(n < name("foo", 2))
print(n < name("foo", 0))
print(name(nil))
assert(name("foo", 1) ~= name("foo", 2))
assert(name("foo", 1) == name("foo", 1))
assert(name(name("foo", 1), 2) == name("foo", 1, 2))
assert(n ~= name("foo", 1))
assert(n ~= name("foo", 2))
assert(n < name("foo", 2))
assert(not (n < name("foo", 0)))
assert(n > name("foo", 0))
assert(name(nil) == name())