_set_output_format(_TWO_DIGIT_EXPONENT);
#endif
xbt_log_preinit();
- xbt_backtrace_preinit();
xbt_os_thread_mod_preinit();
- xbt_fifo_preinit();
xbt_dict_preinit();
srand(seed);
{
if(!_sg_do_clean_atexit) return;
xbt_initialized--;
- xbt_backtrace_postexit();
- xbt_fifo_postexit();
xbt_dict_postexit();
xbt_os_thread_mod_postexit();
xbt_dynar_free(&xbt_cmdline);