Update deps

Edivad99 · Jul 15, 2023 · 42c5e8b · 42c5e8b
1 parent f827fcf
commit 42c5e8b
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 8 deletions.
diff --git a/WhileAbstractInterpreter.Test/WhileAbstractInterpreter.Test.fsproj b/WhileAbstractInterpreter.Test/WhileAbstractInterpreter.Test.fsproj
@@ -16,10 +16,12 @@
   </ItemGroup>
 
   <ItemGroup>
-    <PackageReference Include="Microsoft.NET.Test.Sdk" Version="17.5.0" />
-    <PackageReference Include="MSTest.TestAdapter" Version="3.0.2" />
-    <PackageReference Include="MSTest.TestFramework" Version="3.0.2" />
-    <PackageReference Include="coverlet.collector" Version="3.2.0" />
+    <PackageReference Include="Microsoft.NET.Test.Sdk" Version="17.6.3" />
+    <PackageReference Include="MSTest.TestAdapter" Version="3.1.1" />
+    <PackageReference Include="MSTest.TestFramework" Version="3.1.1" />
+    <PackageReference Include="coverlet.collector" Version="6.0.0"><IncludeAssets>runtime; build; native; contentfiles; analyzers; buildtransitive</IncludeAssets>
+<PrivateAssets>all</PrivateAssets>
+</PackageReference>
   </ItemGroup>
 
   <ItemGroup>

diff --git a/WhileAbstractInterpreter/Domains/CongruenceDomain.fs b/WhileAbstractInterpreter/Domains/CongruenceDomain.fs
@@ -34,8 +34,6 @@ type Congruence =
         static member ( - ) (x, y) =
             match x, y with
             | Value (a, b), Value (a', b') ->
-                //Value (gcd a a', b - b')
-                // Nuovo metodo che converte b in positivo
                 match gcd a a' with
                 | 0 -> Value (0, b - b')
                 | a -> Value (a, (((b - b') % a) + a) % a)
@@ -76,7 +74,9 @@ type CongruenceDomain() =
             Value (gcd a a' |> gcd bb', b)
         | _ -> Bottom
 
-    override this.widening x y = this.union x y
+    override this.widening x y =
+        // No actual widening is used in the congruence domain
+        y
 
     override _.narrowing x y =
         match x, y with

diff --git a/WhileAbstractInterpreter/Report/Report.fs b/WhileAbstractInterpreter/Report/Report.fs
@@ -14,7 +14,7 @@ let private source =
         <title>While Static Analyzer</title>
         <link href="https://cdn.jsdelivr.net/npm/bootstrap@5.3.0-alpha3/dist/css/bootstrap.min.css" rel="stylesheet">
     </head>
-    <body style="margin-left: 20px;background-color: lightgray;">
+    <body style="margin-left: 20px;background-color: white;">
         <h3 class="display-3">While Static Analyzer</h3>
         <strong class="text-body-secondary">Davide Albiero, Damiano Mason</strong>
         <br>