always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

sat: Cleanup SatSolverTests.cs

Browse Source
This commit is contained in:
Corentin Le Molgat
2024-07-22 14:21:26 +02:00
parent ddaaab1c66
commit a40335bbda
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
ortools/sat/csharp/SatSolverTests.cs
View File

@@ -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_));