Searched refs:DeinitAddr (Results 1 – 1 of 1) sorted by relevance
151 std::vector<ExecutorAddr> DeinitAddr = {*Init1}; in TEST() local152 EXPECT_THAT_ERROR(deinitialize(*Mapper, DeinitAddr), Succeeded()); in TEST()