CBMC
|
#include <unwindset.h>
Public Member Functions | |
unwindsett ()=default | |
void | parse_unwind (const std::string &unwind) |
void | parse_unwindset (const std::list< std::string > &unwindset, abstract_goto_modelt &goto_model, message_handlert &message_handler) |
std::optional< unsigned > | get_limit (const irep_idt &loop, unsigned thread_id) const |
void | parse_unwindset_file (const std::string &file_name, abstract_goto_modelt &goto_model, message_handlert &message_handler) |
Protected Types | |
typedef std::map< irep_idt, std::optional< unsigned > > | loop_mapt |
using | thread_loop_mapt = std::map< std::pair< irep_idt, unsigned >, std::optional< unsigned > > |
Protected Member Functions | |
void | parse_unwindset_one_loop (std::string loop_limit, abstract_goto_modelt &goto_model, message_handlert &message_handler) |
Protected Attributes | |
std::optional< unsigned > | global_limit |
loop_mapt | loop_map |
thread_loop_mapt | thread_loop_map |
Definition at line 25 of file unwindset.h.
|
protected |
Definition at line 59 of file unwindset.h.
|
protected |
Definition at line 63 of file unwindset.h.
|
default |
Definition at line 193 of file unwindset.cpp.
Definition at line 23 of file unwindset.cpp.
void unwindsett::parse_unwindset | ( | const std::list< std::string > & | unwindset, |
abstract_goto_modelt & | goto_model, | ||
message_handlert & | message_handler | ||
) |
Definition at line 183 of file unwindset.cpp.
void unwindsett::parse_unwindset_file | ( | const std::string & | file_name, |
abstract_goto_modelt & | goto_model, | ||
message_handlert & | message_handler | ||
) |
Definition at line 214 of file unwindset.cpp.
|
protected |
Definition at line 29 of file unwindset.cpp.
|
protected |
Definition at line 55 of file unwindset.h.
|
protected |
Definition at line 60 of file unwindset.h.
|
protected |
Definition at line 65 of file unwindset.h.