|
CBMC
|
Include dependency graph for require_vectors_equal_unordered.h: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.