CBMC
require_vectors_equal_unordered.h File Reference
#include <testing-utils/use_catch.h>
#include <vector>
+ 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. More...
 

Function Documentation

◆ require_vectors_equal_unordered()

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.

Template Parameters
TThe type of the vector contents
Parameters
actualThe vector to check
expectedThe vector to check against

Definition at line 20 of file require_vectors_equal_unordered.h.