...
The course staff is also providing a very simple test file for the eval function and reduce functions and a file containing a sequence of raw input formulas (to be parsed by parse function in parse.ss). A good solution to this problem will include much more comprehensive test data for all functions, including some much larger test cases for reduce. The normalize function is difficult to test on large data because the printed output for some important normalized trees (represented as DAGs (Directed Acyclic Graphs) in memory) is so large.
...