| 385 | uint32_t FuzzerContext::GetFreshId() { return next_fresh_id_++; } |
| 386 | |
| 387 | std::vector<uint32_t> FuzzerContext::GetFreshIds(const uint32_t count) { |
| 388 | std::vector<uint32_t> fresh_ids(count); |
| 389 | |
| 390 | for (uint32_t& fresh_id : fresh_ids) { |
| 391 | fresh_id = next_fresh_id_++; |
| 392 | } |
| 393 | |
| 394 | return fresh_ids; |
| 395 | } |
| 396 | |
| 397 | bool FuzzerContext::ChooseEven() { return random_generator_->RandomBool(); } |
| 398 |
no outgoing calls