#ifndef OPTIONS_HH
#define OPTIONS_HH

#include <string>

void print_help_and_exit(std::string);
void set_options(int argc, char* argv[]);

extern bool debug;
extern bool print_task_tick;
extern bool quiet;
extern bool really_quiet;
extern bool log_tick;
extern bool latex;

extern std::string task_system;
extern bool run;
extern bool hard;

extern bool poll_llc;
extern bool do_freeze_BE_core;
extern int memory_budget_add_on;
extern bool test_cgroup_overhead;

extern bool fork_processes;
extern bool wait_for_forked_processes;
extern bool random_delay;

#endif