SymbolicLua is a Dynamic Symbolic Execution Engine for Lua.
SymbolicLua adds "?" syntax to Lua programming language. It represents a symbolic value, which can be used as an all-purpose stub.
You need Lua 5.2, Java 7, Python 2.7, and z3py installed on your computer.
Tested only on Linux Mint 17.
You have to build conv before using SymbolicLua
$ cd conv
$ mvn assembly:single
$ bin/symboliclua.sh sample/sum.lua