A specification testing framework for Lua.