utility_tests.cpp

Go to the documentation of this file.

/*******************************************************************************
 * The software programs comprising "CGRA-ME" and the documentation provided
 * with them are copyright by its authors and the University of Toronto. Only
 * non-commercial, not-for-profit use of this software is permitted without ex-
 * plicit permission. This software is provided "as is" with no warranties or
 * guarantees of support. See the LICENCE for more details. You should have re-
 * ceived a copy of the full licence along with this software. If not, see
 * <http://cgra-me.ece.utoronto.ca/license/>.
 ******************************************************************************/
 
/*******
 * A place to put tests for small functions, rather than making a new file
 * If there are too many tests here from any particular file or logical group,
 *   please consider making a new file for those tests.
 ******/
 
#include <CGRA/ConstraintSet.h>
 
#include <catch2/catch.hpp>
 
namespace {
}
 
TEST_CASE("makeNameSolverSafe Tests -- Input vs. Output") {
    const auto test = GENERATE(values<std::string>({
        std::string(GUROBI_MAX_STRING_LENGTH-1, 'l'),
        std::string(GUROBI_MAX_STRING_LENGTH,   'e'),
        std::string(GUROBI_MAX_STRING_LENGTH+1, 'g'),
        "abcdefg",
        "",
    }));
 
    const auto result = makeNameSolverSafe(test);
 
    CHECK((std::ptrdiff_t)result.size() <= GUROBI_MAX_STRING_LENGTH);
    CHECK(result.size() <= test.size());
 
    if (test.size() < GUROBI_MAX_STRING_LENGTH) {
        CHECK(result == test);
    }
}
 
TEST_CASE("makeNameSolverSafe Tests -- Uniqueness") {
    const auto test = GENERATE(values<std::pair<std::string,std::string>>({
        {std::string(GUROBI_MAX_STRING_LENGTH, 'g') + 'a', {std::string(GUROBI_MAX_STRING_LENGTH, 'g') + 'b'} },
        {std::string(GUROBI_MAX_STRING_LENGTH, 'h') + 'c', {std::string(GUROBI_MAX_STRING_LENGTH, 'h') + 'd'} },
        {std::string(GUROBI_MAX_STRING_LENGTH, 'i') + 'e', {std::string(GUROBI_MAX_STRING_LENGTH, 'i') + 'f'} },
    }));
 
    CHECK(makeNameSolverSafe(test.first) != makeNameSolverSafe(test.second));
}