12 #ifndef CPROVER_GOTO_INSTRUMENT_UNWINDSET_H
13 #define CPROVER_GOTO_INSTRUMENT_UNWINDSET_H
48 typedef std::map<irep_idt, optionalt<unsigned>>
loop_mapt;
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
void parse_unwind(const std::string &unwind)
std::map< irep_idt, optionalt< unsigned > > loop_mapt
optionalt< unsigned > global_limit
void parse_unwindset(const std::list< std::string > &unwindset)
void parse_unwindset_file(const std::string &file_name)
std::map< std::pair< irep_idt, unsigned >, optionalt< unsigned > > thread_loop_mapt
thread_loop_mapt thread_loop_map
optionalt< unsigned > get_limit(const irep_idt &loop, unsigned thread_id) const
void parse_unwindset_one_loop(std::string loop_limit)
const std::string thread_id
nonstd::optional< T > optionalt