Improvements to the unit tests directory#1111

Merged

kroening merged 5 commits intodiffblue:masterfrom

thk123:feature/unit-test-utility

Jul 18, 2017

Commits on Jul 18, 2017

Correct unit Makefile to use OBJ rather than LIBS
thk123
committed
Added utility functions for checking expressions
thk123
committed
Adding pretty printer to main file
thk123
committed
Added utility class to convert strings into expressions
thk123
committed
Added constructor to auxilary symbol instead of a helper function
thk123
committed