Searched refs:SolutionString (Results 1 – 1 of 1) sorted by relevance
159 auto SolutionString = Solution ? "\n" + debugString(Solution.value()) : ""; in debugString() local164 StatusString, SolutionString); in debugString()