X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/18f3ec7b57418d4881c22646dfbb991ac6f9b7a7..a2b07e1db97dbd4d8acb6c83de13d2e9449520e1:/src/mc/api.cpp diff --git a/src/mc/api.cpp b/src/mc/api.cpp index 70f4c57cfd..d866d445e1 100644 --- a/src/mc/api.cpp +++ b/src/mc/api.cpp @@ -35,16 +35,4 @@ std::size_t Api::get_remote_heap_bytes() const auto heap_bytes_used = mmalloc_get_bytes_used_remote(process.get_heap()->heaplimit, process.get_malloc_info()); return heap_bytes_used; } - -bool Api::snapshot_equal(const Snapshot* s1, const Snapshot* s2) const -{ - return simgrid::mc::snapshot_equal(s1, s2); -} - -simgrid::mc::Snapshot* Api::take_snapshot(long num_state) const -{ - auto snapshot = new simgrid::mc::Snapshot(num_state); - return snapshot; -} - } // namespace simgrid::mc