Go to the documentation of this file.
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
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
void parse_unwindset_file(const std::string &file_name)
const std::string thread_id
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
nonstd::optional< T > optionalt
std::map< irep_idt, optionalt< unsigned > > loop_mapt
std::map< std::pair< irep_idt, unsigned >, optionalt< unsigned > > thread_loop_mapt
optionalt< unsigned > global_limit