| 4221 | } |
| 4222 | |
| 4223 | void validate_numInitRandomPureStates(qindex numPureStates, const char* caller) { |
| 4224 | |
| 4225 | assertThat(numPureStates >= 1, report::INVALID_NUM_INIT_PURE_STATES, {{"${NUM_STATES}", numPureStates}}, caller); |
| 4226 | } |
| 4227 | |
| 4228 | |
| 4229 |
no test coverage detected