From d077c2c12ff9d33caf00ca254ca6f45ed3e4e137 Mon Sep 17 00:00:00 2001
From: Laurent Perron <lperron@google.com>
Date: Mon, 22 Jul 2024 14:16:53 +0200
Subject: [PATCH] fix

---
 ortools/sat/csharp/SatSolverTests.cs | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/ortools/sat/csharp/SatSolverTests.cs b/ortools/sat/csharp/SatSolverTests.cs
index cfe27d2a08..9b1c9db5b2 100644
--- a/ortools/sat/csharp/SatSolverTests.cs
+++ b/ortools/sat/csharp/SatSolverTests.cs
@@ -631,7 +631,21 @@ public class SatSolverTest
     {
         Console.WriteLine("LinearExprBoolVarNotOperatorTest");
         CpModel model = new CpModel();
-        ILiteral v = model.NewBoolVar("v");TestInter
+        ILiteral v = model.NewBoolVar("v");
+        LinearExpr e = v.NotAsExpr() * 2;
+        Console.WriteLine(e);
+        e = 2 * v.NotAsExpr();
+        Console.WriteLine(e);
+        e = v.NotAsExpr() + 2;
+        Console.WriteLine(e);
+        e = 2 + v.NotAsExpr();
+        Console.WriteLine(e);
+        e = v.NotAsExpr();
+        Console.WriteLine(e);
+        e = -v.NotAsExpr();
+        Console.WriteLine(e);
+        e = 1 - v.NotAsExpr();
+        Console.WriteLine(e);
         e = v.NotAsExpr() - 1;
         Console.WriteLine(e);
     }