From 91a23fdc0c539dd5db9aa03367035ae7356a6c6b Mon Sep 17 00:00:00 2001
From: Simon Felix <de@iru.ch>
Date: Fri, 8 Sep 2023 21:10:13 +0200
Subject: [PATCH] update tests

---
 Tests/Tests.csproj | 12 +-----------
 Tests/UIntTests.cs |  4 ++--
 2 files changed, 3 insertions(+), 13 deletions(-)

diff --git a/Tests/Tests.csproj b/Tests/Tests.csproj
index 0191a0c..a803926 100644
--- a/Tests/Tests.csproj
+++ b/Tests/Tests.csproj
@@ -4,18 +4,8 @@
     <TargetFramework>net7.0</TargetFramework>
 
     <IsPackable>false</IsPackable>
-  </PropertyGroup>
-
-  <PropertyGroup>
-    <PlatformTarget>x64</PlatformTarget>
-  </PropertyGroup>
-
-  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|AnyCPU'">
-    <NoWarn>1701;1702;1822</NoWarn>
-  </PropertyGroup>
-
-  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|AnyCPU'">
     <NoWarn>1701;1702;1822</NoWarn>
+    <PlatformTarget>x64</PlatformTarget>
   </PropertyGroup>
 
   <ItemGroup>
diff --git a/Tests/UIntTests.cs b/Tests/UIntTests.cs
index 34176e9..0bbffbc 100644
--- a/Tests/UIntTests.cs
+++ b/Tests/UIntTests.cs
@@ -128,8 +128,8 @@ public void UIntAddUInt()
                     });
 
                     var v = m.AddUIntConst(0);
-                    v += i;
-                    v += j;
+                    v += m.AddUIntConst(i);
+                    v += m.AddUIntConst(j);
                     m.Solve();
                     Assert.AreEqual(State.Satisfiable, m.State);
                     Assert.AreEqual(i + j, v.X);