tests

tests for binary formatter, still need to refactor the formatter