#include "src/mc/mc_private.hpp"
#include "src/mc/mc_snapshot.hpp"
-
static inline void init_memory(void* mem, size_t size)
{
char* dest = (char*) mem;
BOOST_AUTO_TEST_SUITE(Snapshots)
BOOST_AUTO_TEST_CASE(flat_snapshots) {
- BOOST_CHECK_EQUAL(test_snapshot(0), 1);
+ test_snapshot(0);
}
BOOST_AUTO_TEST_CASE(page_snapshots) {
- BOOST_CHECK_EQUAL(test_snapshot(1), 1);
+ test_snapshot(1);
}
BOOST_AUTO_TEST_SUITE_END()
APPEND PROPERTY
INCLUDE_DIRECTORIES "${INTERNAL_INCLUDES}"
)
+ # PAGESTORE_mod
+# add_executable (unit_PAGESTORE_mod src/mc/snapshot/unitTest/PageStore_unit_mod.cpp)
+# target_link_libraries(unit_PAGESTORE_mod simgrid boost_unit_test_framework)
+# ADD_TEST(unit_PAGESTORE ${CMAKE_BINARY_DIR}/unit_PAGESTORE --build_info=yes)
+# set_property(
+# TARGET unit_PAGESTORE_mod
+# APPEND PROPERTY
+# INCLUDE_DIRECTORIES "${INTERNAL_INCLUDES}"
+# )
+#
endif()