add unittest in FormatGen.py