Adding test cases

tests for binary formatter, still need to refactor the formatter