update tests

sfiruch · Sep 8, 2023 · 91a23fd · 91a23fd
1 parent 46ff583
commit 91a23fd
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 13 deletions.
diff --git 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
@@ -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);