- Channel const& getChannel() const { return channel_; }
- Channel& getChannel() { return channel_; }
- void mainLoop();
- void reportAssertionFailure(const char* description = nullptr);
- void ignoreMemory(void* addr, std::size_t size);
- void ignoreHeap(void* addr, std::size_t size);
- void unignoreHeap(void* addr, std::size_t size);
- void declareSymbol(const char* name, int* value);
+ Channel const& get_channel() const { return channel_; }
+ Channel& get_channel() { return channel_; }
+ XBT_ATTRIB_NORETURN void main_loop();
+ void report_assertion_failure();
+ void ignore_memory(void* addr, std::size_t size);
+ void ignore_heap(void* addr, std::size_t size);
+ void unignore_heap(void* addr, std::size_t size);
+ void declare_symbol(const char* name, int* value);