CBMC
|
Go to the source code of this file.
Functions | |
template<class T > | |
void | require_vectors_equal_unordered (const std::vector< T > &actual, const std::vector< T > &expected) |
Checks whether two vectors are equal, ignoring ordering. | |
void require_vectors_equal_unordered | ( | const std::vector< T > & | actual, |
const std::vector< T > & | expected | ||
) |
Checks whether two vectors are equal, ignoring ordering.
T | The type of the vector contents |
actual | The vector to check |
expected | The vector to check against |
Definition at line 20 of file require_vectors_equal_unordered.h.