Module Core_set_unit_tests