| 462 | } |
| 463 | |
| 464 | inline uint_fast64_t get_unique_event_id(unsigned int thread_id, unsigned int event_id) |
| 465 | { |
| 466 | uint_fast64_t uniqueId = static_cast<uint_fast64_t>(thread_id); |
| 467 | uniqueId = uniqueId << 32; |
| 468 | uniqueId += static_cast<uint_fast64_t>(event_id); |
| 469 | return uniqueId; |
| 470 | } |
| 471 | |
| 472 | inline std::vector<Simple_Event> create_simple_events(const std::vector<Event> &events) |
| 473 | { |
no outgoing calls
no test coverage detected