Go to the documentation of this file.
12 #ifndef CPROVER_GOTO_INSTRUMENT_UNWINDSET_H
13 #define CPROVER_GOTO_INSTRUMENT_UNWINDSET_H
53 typedef std::map<irep_idt, optionalt<unsigned>>
loop_mapt;
64 #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
#define SINCE(year, month, day, msg)
nonstd::optional< T > optionalt
std::map< irep_idt, optionalt< unsigned > > loop_mapt
std::map< std::pair< irep_idt, unsigned >, optionalt< unsigned > > thread_loop_mapt
void parse_unwindset_one_loop(std::string loop_limit)
optionalt< unsigned > global_limit