utility_tests.cpp File Reference

#include <CGRA/ConstraintSet.h>
#include <catch2/catch.hpp>

Go to the source code of this file.

Functions
	TEST_CASE ("makeNameSolverSafe Tests -- Input vs. Output")
	TEST_CASE ("makeNameSolverSafe Tests -- Uniqueness")

Function Documentation

TEST_CASE() [1/2]

TEST_CASE

(

"makeNameSolverSafe Tests -- Input vs. Output"

)

Definition at line 24 of file utility_tests.cpp.

TEST_CASE() [2/2]

TEST_CASE

(

"makeNameSolverSafe Tests -- Uniqueness"

)

Definition at line 43 of file utility_tests.cpp.