init.h

Go to the documentation of this file.

#pragma once

#include <statistics/statistics.h>

enum param_codes {
    PARAM_SCHEDULER = 0,
    PARAM_CKTRM_MODE,
    PARAM_LPS_DISTRIBUTION,
    PARAM_VERBOSE,
    PARAM_STATS,
    PARAM_STATE_SAVING,
    PARAM_SNAPSHOT,
};

extern const char *const param_to_text[][5];

typedef struct _simulation_configuration {
    char *output_dir;       
    int scheduler;          
    int gvt_time_period;        
    int simulation_time;        
    int lps_distribution;       
    int ckpt_mode;          
    int checkpointing;      
    int ckpt_period;        
    int snapshot;           
    int check_termination_mode; 
    bool deterministic_seed;    
    int verbose;            
    enum stats_levels stats;    
    bool serial;            
    seed_type set_seed;     
    bool core_binding;      
    bool disable_preemption;    
    bool silent_output;     
} simulation_configuration;

extern simulation_configuration rootsim_config;

extern void SystemInit(int argc, char **argv);