tests.sml