Rework the testing script.
[tatoo.git] / src / tatoo.ml
2013-03-14 Kim NguyễnRework the testing script.