12 #ifndef CPROVER_GOTO_INSTRUMENT_UNWINDSET_H 13 #define CPROVER_GOTO_INSTRUMENT_UNWINDSET_H 47 typedef std::map<irep_idt, optionalt<unsigned>>
loop_mapt;
56 #endif // CPROVER_GOTO_INSTRUMENT_UNWINDSET_H
std::map< irep_idt, optionalt< unsigned > > loop_mapt
std::map< std::pair< irep_idt, unsigned >, optionalt< unsigned > > thread_loop_mapt
const std::string thread_id
nonstd::optional< T > optionalt
optionalt< unsigned > global_limit
void parse_unwindset_file(const std::string &file_name)
void parse_unwindset(const std::string &unwindset)
thread_loop_mapt thread_loop_map
void parse_unwind(const std::string &unwind)
optionalt< unsigned > get_limit(const irep_idt &loop, unsigned thread_id) const