| 374 | } |
| 375 | |
| 376 | void enableBuggify(bool enabled, BuggifyType type) { |
| 377 | buggifyActivated[int(type)] = enabled; |
| 378 | } |
| 379 | |
| 380 | // Make OpenSSL use DeterministicRandom as RNG source such that simulation runs stay deterministic w/ e.g. signature ops |
| 381 | void bindDeterministicRandomToOpenssl() { |
no outgoing calls
no test coverage detected