| 179 | } |
| 180 | |
| 181 | void copy() { |
| 182 | real_vector = real_vector_alt; |
| 183 | pre_vector = pre_vector_alt; |
| 184 | } |
| 185 | |
| 186 | ~prevector_tester() { |
| 187 | BOOST_CHECK_MESSAGE(passed, "insecure_rand: " + rand_seed.ToString()); |
no outgoing calls
no test coverage detected