A testing framework for sml