Searched refs:X_str (Results 1 – 1 of 1) sorted by relevance
2849 auto EquationToString = [&] (const char *X_str) { in TEST() argument2850 return (Twine(A) + Twine(X_str) + Twine("^2 + ") + Twine(B) + in TEST()2851 Twine(X_str) + Twine(" + ") + Twine(C) + Twine(", bitwidth: ") + in TEST()2855 auto IsSolution = [&] (const char *X_str, int X) { in TEST() argument2858 << X << " is a solution of " << EquationToString(X_str); in TEST()2861 << EquationToString(X_str); in TEST()2864 auto IsNotSolution = [&] (const char *X_str, int X) { in TEST() argument2867 << X << " is not a solution of " << EquationToString(X_str); in TEST()2870 << EquationToString(X_str); in TEST()