Struct UserSettings

• Defined in File user_settings.hpp

Struct Documentation

struct UserSettings

Data structure holding all configurations provided by the user.

Public Functions

inline bool validModel() const

inline bool validProperties() const

Public Members

std::string model_file

std::string properties_file = ""

std::string properties_names = ""

std::string custom_property = ""

std::string constants = {""}

std::string stat_method = {""}

std::string traces_file = {""}

double confidence = {0.95}

double epsilon = {0.01}

int max_trace_length = {1000000}

size_t max_n_traces = {0U}

size_t n_threads = {1U}

size_t batch_size = {100U}

bool stop_after_failure = {false}

bool store_only_not_verified = {false}

bool cache_explored_states = {true}

bool show_statistics = {false}