The compilers used by the CI infratrsucture do not handle this. In the
future, we might detect if the compiler grokes it and we might
conditionnaly use:
#ifdef __cplusplus
+#define MC_OVERRIDE
+
namespace simgrid {
namespace mc {
// Read memory:
const void* read_bytes(void* buffer, std::size_t size,
remote_ptr<void> address, int process_index = ProcessIndexAny,
- ReadMode mode = Normal) const override;
+ ReadMode mode = Normal) const MC_OVERRIDE;
void read_variable(const char* name, void* target, size_t size) const;
template<class T>
T read_variable(const char *name) const
~Snapshot();
const void* read_bytes(void* buffer, std::size_t size,
remote_ptr<void> address, int process_index = ProcessIndexAny,
- ReadMode mode = Normal) const override;
+ ReadMode mode = Normal) const MC_OVERRIDE;
public: // To be private
mc_process_t process;
int num_state;