namespace mc {
RegionSnapshot dense_region(
- mc_region_type_t region_type,
+ RegionType region_type,
void *start_addr, void* permanent_addr, size_t size)
{
std::vector<char> data(size);
* @param size Size of the data*
*/
RegionSnapshot region(
- mc_region_type_t type, void *start_addr, void* permanent_addr, size_t size)
+ RegionType type, void *start_addr, void* permanent_addr, size_t size)
{
if (_sg_mc_sparse_checkpoint) {
return sparse_region(type, start_addr, permanent_addr, size);
}
}
-RegionSnapshot sparse_region(mc_region_type_t region_type,
+RegionSnapshot sparse_region(RegionType region_type,
void *start_addr, void* permanent_addr, size_t size)
{
mc_process_t process = &mc_model_checker->process();