- measure_util: added time_with_result function
- measure_util: added time_with_result function
scalaris-team/scalaris,caijieming-baidu/scalaris,scalaris-team/scalaris,caijieming-baidu/scalaris,jvf/scalaris,scalaris-team/scalaris,jvf/scalaris,scalaris-team/scalaris,jvf/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,jvf/scalaris,caijieming-baidu/scalaris,caijieming-baidu/scalaris,jvf/scalaris,scalaris-team/scalaris,caijieming-baidu/scalaris,scalaris-team/scalaris,jvf/scalaris,caijieming-baidu/scalaris,jvf/scalaris,caijieming-baidu/scalaris