Update tests.sml