Searched refs:default_levels (Results 1 – 2 of 2) sorted by relevance
135 static const std::set<int> default_levels = { variable
466 fprintf(stderr, " \t\tdefaults to %s\n", Join(default_levels).c_str()); in usage()641 selected_levels = default_levels; in main()