-
- Downloads
Project 'tchajed/iris-coq' was moved to 'tchajed/iris'. Please update any links and bookmarks that may still have the old path.
Add sampling in logs and some tests
Showing
- include/xtrace_sampler.h 22 additions, 12 deletionsinclude/xtrace_sampler.h
- resources/reference.cfg 8 additions, 2 deletionsresources/reference.cfg
- src/xtrace.cpp 14 additions, 4 deletionssrc/xtrace.cpp
- src/xtrace_sampler.cpp 77 additions, 37 deletionssrc/xtrace_sampler.cpp
- test/xtrace-cpp/test/direct_test_sampler.cpp 43 additions, 9 deletionstest/xtrace-cpp/test/direct_test_sampler.cpp
- test/xtrace-cpp/test/test_sampler.cpp 208 additions, 13 deletionstest/xtrace-cpp/test/test_sampler.cpp
Please register or sign in to comment