blob: 948ebceb1df7f493288999b3c22a74bbdd25c120 (
plain)
1
2
3
4
5
6
|
#define DEFAULT_RULES_FILE "rules"
#define DEFAULT_VARIABLE_COUNT_FILE "variable_count"
#define DEFAULT_SYMBOL_MAP_FILE "symbol_map"
#define DEFAULT_DEF_CONFIG_FILE "def_config"
#define DEFAULT_CONFIG_MAP_FILE "config_map"
#define DEFAULT_CONFIG_SOLVED_FILE "config_solved"
|