From a40335bbda69246bcb2a0726047d024fa6d72a66 Mon Sep 17 00:00:00 2001
From: Corentin Le Molgat <corentinl@google.com>
Date: Mon, 22 Jul 2024 14:21:26 +0200
Subject: [PATCH] sat: Cleanup SatSolverTests.cs

---
 ortools/sat/csharp/SatSolverTests.cs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/ortools/sat/csharp/SatSolverTests.cs b/ortools/sat/csharp/SatSolverTests.cs
index 9b1c9db5b2..80a7905dbf 100644
--- a/ortools/sat/csharp/SatSolverTests.cs
+++ b/ortools/sat/csharp/SatSolverTests.cs
@@ -20,7 +20,7 @@ public class SolutionCounter : CpSolverSolutionCallback
 {
     public SolutionCounter()
     {
-        Console.WriteLine("SolutionCounter Ctor");
+        // Console.WriteLine("SolutionCounter Ctor");
         solution_count_ = 0;
     }
 
@@ -55,7 +55,7 @@ public class SolutionDivisionCounter : SolutionCounter
         base.OnSolutionCallback();
         foreach (IntVar v in new IntVar[] { a_, b_ })
         {
-            Console.Write(String.Format("{0}={1} ", v.ToString(), Value(v)));
+            Console.Write($"{v.ToString()}={Value(v)} ");
         }
         Console.WriteLine();
         Assert.Equal(result_, Value(a_) / Value(b_));
@@ -80,7 +80,7 @@ public class SolutionModuloCounter : SolutionCounter
         base.OnSolutionCallback();
         foreach (IntVar v in new IntVar[] { a_, b_ })
         {
-            Console.Write(String.Format("{0}={1} ", v.ToString(), Value(v)));
+            Console.Write($"{v.ToString()}={Value(v)} ");
         }
         Console.WriteLine();
         Assert.Equal(result_, Value(a_) % Value(b_));