diff --git a/Directory.Packages.props b/Directory.Packages.props
index 13425ae1..fa6b3694 100644
--- a/Directory.Packages.props
+++ b/Directory.Packages.props
@@ -14,21 +14,21 @@
-
+
-
+
-
+
-
+
diff --git a/THIRD-PARTY-NOTICES.md b/THIRD-PARTY-NOTICES.md
index b1e958a3..8c942f98 100644
--- a/THIRD-PARTY-NOTICES.md
+++ b/THIRD-PARTY-NOTICES.md
@@ -51,7 +51,7 @@ These packages are linked into the `equiv` binaries and container image, so thei
| ModelContextProtocol.Core | 2.2.0 | Apache-2.0 |
| Newtonsoft.Json | 13.0.3 | MIT |
| Newtonsoft.Json | 13.0.4 | MIT |
-| Sarif.Sdk | 5.7.0 | MIT |
+| Sarif.Sdk | 5.8.0 | MIT |
| System.CommandLine | 2.0.12 | MIT |
| System.Composition | 10.0.1 | MIT |
| System.Composition.AttributedModel | 10.0.1 | MIT |
@@ -99,22 +99,22 @@ These are development dependencies (tests, analyzers, local tools). They are nev
| Argon | 0.38.2 | MIT |
| CsCheck | 4.9.1 | Apache-2.0 |
| CycleDetection | 2.0.0 | MIT |
-| DiffEngine | 20.7.2 | MIT |
+| DiffEngine | 20.8.2 | MIT |
| EmptyFiles | 8.20.1 | MIT |
| JetBrains.Annotations | 2026.2.0 | MIT |
-| Meziantou.Analyzer | 3.0.296 | MIT |
+| Meziantou.Analyzer | 3.0.303 | MIT |
| Microsoft.ApplicationInsights | 2.23.0 | MIT |
| Microsoft.Bcl.AsyncInterfaces | 6.0.0 | MIT |
-| Microsoft.Bcl.AsyncInterfaces | 10.0.12 | MIT |
+| Microsoft.Bcl.AsyncInterfaces | 10.0.13 | MIT |
| Microsoft.Extensions.Configuration | 10.0.12 | MIT |
| Microsoft.Extensions.Configuration.FileExtensions | 10.0.12 | MIT |
| Microsoft.Extensions.Configuration.Json | 10.0.12 | MIT |
| Microsoft.Extensions.FileProviders.Physical | 10.0.12 | MIT |
| Microsoft.Extensions.FileSystemGlobbing | 10.0.12 | MIT |
-| Microsoft.Testing.Extensions.Telemetry | 2.4.0 | MIT |
-| Microsoft.Testing.Extensions.TrxReport.Abstractions | 2.4.0 | MIT |
-| Microsoft.Testing.Platform | 2.4.1 | MIT |
-| Microsoft.Testing.Platform.MSBuild | 2.4.0 | MIT |
+| Microsoft.Testing.Extensions.Telemetry | 2.5.1 | MIT |
+| Microsoft.Testing.Extensions.TrxReport.Abstractions | 2.5.1 | MIT |
+| Microsoft.Testing.Platform | 2.5.1 | MIT |
+| Microsoft.Testing.Platform.MSBuild | 2.5.1 | MIT |
| Microsoft.Win32.Registry | 5.0.0 | MIT |
| MinVer | 8.0.0 | Apache-2.0 |
| Mono.Cecil | 0.11.6 | MIT |
@@ -123,21 +123,21 @@ These are development dependencies (tests, analyzers, local tools). They are nev
| System.ValueTuple | 4.6.2 | MIT |
| TngTech.ArchUnitNET | 0.13.4 | Apache-2.0 |
| TngTech.ArchUnitNET.xUnitV3 | 0.13.4 | Apache-2.0 |
-| Verify | 33.3.2 | MIT |
-| Verify.XunitV3 | 33.3.2 | MIT |
+| Verify | 33.3.4 | MIT |
+| Verify.XunitV3 | 33.3.4 | MIT |
| coverlet.MTP | 10.1.0 | MIT |
| dotnet-sonarscanner | 11.3.0 | LGPL-3.0 |
| dotnet-stryker | 5.0.0 | Apache-2.0 |
| nuget-license | 4.0.18 | Apache-2.0 |
-| xunit.analyzers | 2.1.0 | Apache-2.0 |
-| xunit.v3 | 4.0.1 | Apache-2.0 |
-| xunit.v3.assert | 4.0.1 | Apache-2.0 |
-| xunit.v3.common | 4.0.1 | Apache-2.0 |
-| xunit.v3.core.mtp-v2 | 4.0.1 | Apache-2.0 |
-| xunit.v3.extensibility.core | 4.0.1 | Apache-2.0 |
-| xunit.v3.mtp-v2 | 4.0.1 | Apache-2.0 |
-| xunit.v3.runner.common | 4.0.1 | Apache-2.0 |
-| xunit.v3.runner.inproc.console | 4.0.1 | Apache-2.0 |
+| xunit.analyzers | 2.2.0 | Apache-2.0 |
+| xunit.v3 | 4.0.2 | Apache-2.0 |
+| xunit.v3.assert | 4.0.2 | Apache-2.0 |
+| xunit.v3.common | 4.0.2 | Apache-2.0 |
+| xunit.v3.core.mtp-v2 | 4.0.2 | Apache-2.0 |
+| xunit.v3.extensibility.core | 4.0.2 | Apache-2.0 |
+| xunit.v3.mtp-v2 | 4.0.2 | Apache-2.0 |
+| xunit.v3.runner.common | 4.0.2 | Apache-2.0 |
+| xunit.v3.runner.inproc.console | 4.0.2 | Apache-2.0 |
## Samples only — not redistributed
diff --git a/src/Equiv.Cli/packages.lock.json b/src/Equiv.Cli/packages.lock.json
index b8224adc..ee8f502a 100644
--- a/src/Equiv.Cli/packages.lock.json
+++ b/src/Equiv.Cli/packages.lock.json
@@ -4,9 +4,9 @@
"net10.0": {
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"MinVer": {
"type": "Direct",
@@ -240,7 +240,7 @@
"equiv.core": {
"type": "Project",
"dependencies": {
- "Sarif.Sdk": "[5.7.0, )"
+ "Sarif.Sdk": "[5.8.0, )"
}
},
"equiv.execute": {
@@ -328,9 +328,9 @@
},
"Sarif.Sdk": {
"type": "CentralTransitive",
- "requested": "[5.7.0, )",
- "resolved": "5.7.0",
- "contentHash": "UVBzw+EDLcdj0DLyxypTtGiNqaP3+Zm3RAP3rHoo20jaEzKv9JFvBLOq6chjV9IuKEGcDMgFnB1D+4DmSLjU8w==",
+ "requested": "[5.8.0, )",
+ "resolved": "5.8.0",
+ "contentHash": "7twZQxftcjxGvz2sQ9DysTdMFAm0PWGYzHibN+O25TenFDtJtCWxKLTzoWtX+jXx7biFh9+QzOqh3WwEJtSu8A==",
"dependencies": {
"Microsoft.Diagnostics.Tracing.EventRegister": "1.1.28",
"Microsoft.Diagnostics.Tracing.TraceEvent": "3.1.3",
diff --git a/src/Equiv.Core/packages.lock.json b/src/Equiv.Core/packages.lock.json
index be397fe7..8861a9a9 100644
--- a/src/Equiv.Core/packages.lock.json
+++ b/src/Equiv.Core/packages.lock.json
@@ -4,9 +4,9 @@
"net10.0": {
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"MinVer": {
"type": "Direct",
@@ -16,9 +16,9 @@
},
"Sarif.Sdk": {
"type": "Direct",
- "requested": "[5.7.0, )",
- "resolved": "5.7.0",
- "contentHash": "UVBzw+EDLcdj0DLyxypTtGiNqaP3+Zm3RAP3rHoo20jaEzKv9JFvBLOq6chjV9IuKEGcDMgFnB1D+4DmSLjU8w==",
+ "requested": "[5.8.0, )",
+ "resolved": "5.8.0",
+ "contentHash": "7twZQxftcjxGvz2sQ9DysTdMFAm0PWGYzHibN+O25TenFDtJtCWxKLTzoWtX+jXx7biFh9+QzOqh3WwEJtSu8A==",
"dependencies": {
"Microsoft.Diagnostics.Tracing.EventRegister": "1.1.28",
"Microsoft.Diagnostics.Tracing.TraceEvent": "3.1.3",
diff --git a/src/Equiv.Execute/packages.lock.json b/src/Equiv.Execute/packages.lock.json
index ac40095e..87736ee5 100644
--- a/src/Equiv.Execute/packages.lock.json
+++ b/src/Equiv.Execute/packages.lock.json
@@ -4,9 +4,9 @@
"net10.0": {
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"MinVer": {
"type": "Direct",
@@ -32,14 +32,14 @@
"equiv.core": {
"type": "Project",
"dependencies": {
- "Sarif.Sdk": "[5.7.0, )"
+ "Sarif.Sdk": "[5.8.0, )"
}
},
"Sarif.Sdk": {
"type": "CentralTransitive",
- "requested": "[5.7.0, )",
- "resolved": "5.7.0",
- "contentHash": "UVBzw+EDLcdj0DLyxypTtGiNqaP3+Zm3RAP3rHoo20jaEzKv9JFvBLOq6chjV9IuKEGcDMgFnB1D+4DmSLjU8w==",
+ "requested": "[5.8.0, )",
+ "resolved": "5.8.0",
+ "contentHash": "7twZQxftcjxGvz2sQ9DysTdMFAm0PWGYzHibN+O25TenFDtJtCWxKLTzoWtX+jXx7biFh9+QzOqh3WwEJtSu8A==",
"dependencies": {
"Microsoft.Diagnostics.Tracing.EventRegister": "1.1.28",
"Microsoft.Diagnostics.Tracing.TraceEvent": "3.1.3",
diff --git a/src/Equiv.Frontend.CSharp/packages.lock.json b/src/Equiv.Frontend.CSharp/packages.lock.json
index 243b3025..d07537d3 100644
--- a/src/Equiv.Frontend.CSharp/packages.lock.json
+++ b/src/Equiv.Frontend.CSharp/packages.lock.json
@@ -10,9 +10,9 @@
},
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"Microsoft.CodeAnalysis.CSharp.Workspaces": {
"type": "Direct",
@@ -203,7 +203,7 @@
"equiv.core": {
"type": "Project",
"dependencies": {
- "Sarif.Sdk": "[5.7.0, )"
+ "Sarif.Sdk": "[5.8.0, )"
}
},
"Microsoft.CodeAnalysis.CSharp": {
@@ -218,9 +218,9 @@
},
"Sarif.Sdk": {
"type": "CentralTransitive",
- "requested": "[5.7.0, )",
- "resolved": "5.7.0",
- "contentHash": "UVBzw+EDLcdj0DLyxypTtGiNqaP3+Zm3RAP3rHoo20jaEzKv9JFvBLOq6chjV9IuKEGcDMgFnB1D+4DmSLjU8w==",
+ "requested": "[5.8.0, )",
+ "resolved": "5.8.0",
+ "contentHash": "7twZQxftcjxGvz2sQ9DysTdMFAm0PWGYzHibN+O25TenFDtJtCWxKLTzoWtX+jXx7biFh9+QzOqh3WwEJtSu8A==",
"dependencies": {
"Microsoft.Diagnostics.Tracing.EventRegister": "1.1.28",
"Microsoft.Diagnostics.Tracing.TraceEvent": "3.1.3",
diff --git a/src/Equiv.Verify.Cvc5/packages.lock.json b/src/Equiv.Verify.Cvc5/packages.lock.json
index ac40095e..87736ee5 100644
--- a/src/Equiv.Verify.Cvc5/packages.lock.json
+++ b/src/Equiv.Verify.Cvc5/packages.lock.json
@@ -4,9 +4,9 @@
"net10.0": {
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"MinVer": {
"type": "Direct",
@@ -32,14 +32,14 @@
"equiv.core": {
"type": "Project",
"dependencies": {
- "Sarif.Sdk": "[5.7.0, )"
+ "Sarif.Sdk": "[5.8.0, )"
}
},
"Sarif.Sdk": {
"type": "CentralTransitive",
- "requested": "[5.7.0, )",
- "resolved": "5.7.0",
- "contentHash": "UVBzw+EDLcdj0DLyxypTtGiNqaP3+Zm3RAP3rHoo20jaEzKv9JFvBLOq6chjV9IuKEGcDMgFnB1D+4DmSLjU8w==",
+ "requested": "[5.8.0, )",
+ "resolved": "5.8.0",
+ "contentHash": "7twZQxftcjxGvz2sQ9DysTdMFAm0PWGYzHibN+O25TenFDtJtCWxKLTzoWtX+jXx7biFh9+QzOqh3WwEJtSu8A==",
"dependencies": {
"Microsoft.Diagnostics.Tracing.EventRegister": "1.1.28",
"Microsoft.Diagnostics.Tracing.TraceEvent": "3.1.3",
diff --git a/src/Equiv.Verify.Z3/packages.lock.json b/src/Equiv.Verify.Z3/packages.lock.json
index 7b26896a..391c397a 100644
--- a/src/Equiv.Verify.Z3/packages.lock.json
+++ b/src/Equiv.Verify.Z3/packages.lock.json
@@ -4,9 +4,9 @@
"net10.0": {
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"Microsoft.Z3": {
"type": "Direct",
@@ -38,14 +38,14 @@
"equiv.core": {
"type": "Project",
"dependencies": {
- "Sarif.Sdk": "[5.7.0, )"
+ "Sarif.Sdk": "[5.8.0, )"
}
},
"Sarif.Sdk": {
"type": "CentralTransitive",
- "requested": "[5.7.0, )",
- "resolved": "5.7.0",
- "contentHash": "UVBzw+EDLcdj0DLyxypTtGiNqaP3+Zm3RAP3rHoo20jaEzKv9JFvBLOq6chjV9IuKEGcDMgFnB1D+4DmSLjU8w==",
+ "requested": "[5.8.0, )",
+ "resolved": "5.8.0",
+ "contentHash": "7twZQxftcjxGvz2sQ9DysTdMFAm0PWGYzHibN+O25TenFDtJtCWxKLTzoWtX+jXx7biFh9+QzOqh3WwEJtSu8A==",
"dependencies": {
"Microsoft.Diagnostics.Tracing.EventRegister": "1.1.28",
"Microsoft.Diagnostics.Tracing.TraceEvent": "3.1.3",
diff --git a/tests/Equiv.Cli.Tests/packages.lock.json b/tests/Equiv.Cli.Tests/packages.lock.json
index 167c6bf2..cf53761c 100644
--- a/tests/Equiv.Cli.Tests/packages.lock.json
+++ b/tests/Equiv.Cli.Tests/packages.lock.json
@@ -22,9 +22,9 @@
},
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"MinVer": {
"type": "Direct",
@@ -34,9 +34,9 @@
},
"Sarif.Sdk": {
"type": "Direct",
- "requested": "[5.7.0, )",
- "resolved": "5.7.0",
- "contentHash": "UVBzw+EDLcdj0DLyxypTtGiNqaP3+Zm3RAP3rHoo20jaEzKv9JFvBLOq6chjV9IuKEGcDMgFnB1D+4DmSLjU8w==",
+ "requested": "[5.8.0, )",
+ "resolved": "5.8.0",
+ "contentHash": "7twZQxftcjxGvz2sQ9DysTdMFAm0PWGYzHibN+O25TenFDtJtCWxKLTzoWtX+jXx7biFh9+QzOqh3WwEJtSu8A==",
"dependencies": {
"Microsoft.Diagnostics.Tracing.EventRegister": "1.1.28",
"Microsoft.Diagnostics.Tracing.TraceEvent": "3.1.3",
@@ -45,25 +45,25 @@
},
"Verify.XunitV3": {
"type": "Direct",
- "requested": "[33.3.2, )",
- "resolved": "33.3.2",
- "contentHash": "N6F9Rz8GZtyexZovptbhkWMqQ0tafdorUmgOoKAeHMouzWNU0rmYjXxTG19rRa027sIaGALMR+2kPdQhrmNaKQ==",
+ "requested": "[33.3.4, )",
+ "resolved": "33.3.4",
+ "contentHash": "2bEFSlKjrg785+wbN9FZky9o1tu2M4ZeAPdYHPSRw8xG2JEJfCte+egTXli+KvwYAec+35i3qNtlLqFRLKGh+w==",
"dependencies": {
"Argon": "0.38.2",
- "DiffEngine": "20.7.2",
- "Microsoft.Bcl.AsyncInterfaces": "10.0.12",
+ "DiffEngine": "20.8.2",
+ "Microsoft.Bcl.AsyncInterfaces": "10.0.13",
"SimpleInfoName": "3.2.1",
- "Verify": "33.3.2",
- "xunit.v3.extensibility.core": "4.0.1"
+ "Verify": "33.3.4",
+ "xunit.v3.extensibility.core": "4.0.2"
}
},
"xunit.v3": {
"type": "Direct",
- "requested": "[4.0.1, )",
- "resolved": "4.0.1",
- "contentHash": "KpDYf6jFjYfOchuRJOAXPOpwN03hLE1AF4kWzCUSnhr8JZMiGH4BT1YidCcm6BE1H4E90GyJzuKoCwXbg9PXmA==",
+ "requested": "[4.0.2, )",
+ "resolved": "4.0.2",
+ "contentHash": "TdjM2OAx7w/0E88E6PgaigLoTbQaxbSR3HF/8p92plchTjf29jPHW27ylvEOz+Nx8CvPwWKGQlOR1fDv6/Qh5A==",
"dependencies": {
- "xunit.v3.mtp-v2": "[4.0.1]"
+ "xunit.v3.mtp-v2": "[4.0.2]"
}
},
"Argon": {
@@ -73,8 +73,8 @@
},
"DiffEngine": {
"type": "Transitive",
- "resolved": "20.7.2",
- "contentHash": "GULvEiwPjnJp+xBy56wqIewmF7/QrTAw/gQWddgQMSXESpUpjF+1PT+ukHLG5TqNXSs9q8Dp9DDub0eeyKc6ww==",
+ "resolved": "20.8.2",
+ "contentHash": "913FZh0PW/wL53zdx+go/doxQuulU8C6SSgmAHMAuVS/mF1JCYcBgg29F8XkpWEGW0JotbIscsifjlaLwE71bw==",
"dependencies": {
"EmptyFiles": "8.20.1"
}
@@ -96,8 +96,8 @@
},
"Microsoft.Bcl.AsyncInterfaces": {
"type": "Transitive",
- "resolved": "10.0.12",
- "contentHash": "vHPomsJPqUvf1ExdzCCSEUMQqloONPTBMGqNqBUdr4UgSTs9bCzH1oLkuS6WgUgIu+xqWngQbjelUBNlDuzLWQ=="
+ "resolved": "10.0.13",
+ "contentHash": "PEC80XidOaP1vyHWiSIOHOfh6MpkFln/gkLXKaSmjrAdBSwcAaowvOaVBKvnb+HAb2UTGrZqROajIKMVFu2jdw=="
},
"Microsoft.Build.Framework": {
"type": "Transitive",
@@ -282,32 +282,32 @@
},
"Microsoft.Testing.Extensions.Telemetry": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "JeP1RFqBa11fWmBk8xEfZcMKr4rxWSyI6OZ+659V069CaMkTEOQBW2UdSSeNz3absOsygcn7JJkzerC4LGnZ9w==",
+ "resolved": "2.5.1",
+ "contentHash": "mu2iyoHovwl0q1mGeeRU0h8+LALXC7HqbxniLa1shTKYdJGl+KPoCEgjWIQ8MLzk1tlTGPOfg1JsxdH3RxhMCA==",
"dependencies": {
"Microsoft.ApplicationInsights": "2.23.0",
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Extensions.TrxReport.Abstractions": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "uRb+4qM42dFDg4kWJZ2kFEcwESNVCRZJjItp5vETorN3rSJGysP617LqYirOcrCYmxg+obPreHMM5JcsNDKtBw==",
+ "resolved": "2.5.1",
+ "contentHash": "DYTZAguaHz0wNJdHDTTGYOXtnlDoLoIbTMDKSApNNcytm55DJcnwpwELfQGLk5DB5QlgaEjNhnGo1Pu5QvL5VA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Platform": {
"type": "Transitive",
- "resolved": "2.4.1",
- "contentHash": "3nW9NyhN1BnHRF994DCOOUQCqVA9pDT+gPpbuhI/xUntZnGnXO4ySovKxFlFuoT/48pnI74LK/DeKVlve1L3VQ=="
+ "resolved": "2.5.1",
+ "contentHash": "FAMaFFWnULW+hDHMb40Qzhcgz9cAU2/EtgRCBNX/DdQoKo0sPG2EiY+w7bQdl/BgHnf/DbpXLbf5Xy0o15M8NA=="
},
"Microsoft.Testing.Platform.MSBuild": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "qr5M6h16YHMJLFDcWELFVMMpGte2BUmveBZKT5YoBV+bmuJRPu9bv/Zqke4yQuOEKRNxoAETrG5jr+/6Rnr3Hg==",
+ "resolved": "2.5.1",
+ "contentHash": "lYawcAwY+h76rQmpma2n0HaL8zkOFbbKapso0Eb+uOAUQn7333pIByLftEuiO67csAoZufHNMwi6PqhNemWQXA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.VisualStudio.SolutionPersistence": {
@@ -394,80 +394,80 @@
},
"Verify": {
"type": "Transitive",
- "resolved": "33.3.2",
- "contentHash": "c4CrBw4QlcHyHPuk/PBcCWd7iQsc8o506BDRhfeaydwKeEr0wdpKJxQo0pSWl2i6YOfgy3CuXMgq6N6QYkf1jg==",
+ "resolved": "33.3.4",
+ "contentHash": "0Fz2d9Ta0A5lg12V8t3rrEFDEAnJLp8HAMCCQZA6ur3ZLfWlZvah9b2dXZr9H5TipjW+8NEYlie9bsHhKFe+ig==",
"dependencies": {
"Argon": "0.38.2",
- "DiffEngine": "20.7.2",
+ "DiffEngine": "20.8.2",
"SimpleInfoName": "3.2.1"
}
},
"xunit.analyzers": {
"type": "Transitive",
- "resolved": "2.1.0",
- "contentHash": "X7QXEcZQGz0G/HL4HUyK+aAvNa/IMGbOCnFIq4jD/Evktq12xANKwzOUr7b08vCmC1LXu/47qHWOdjm3KfaJ0A=="
+ "resolved": "2.2.0",
+ "contentHash": "dXMIIztipcAyL3a19gtUrih/RLrE33/4VJdICoinYqIXXo1KLtsMPsaQ9dO2pE8xajDguwE2kqVbBqE5/EoJ0Q=="
},
"xunit.v3.assert": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "nC7d3cY06Oo7hkdwWPZkBR0Ud75xNhgx0P7i0GmMMZC3puCGlc4szFiT30biH03IN/eDnr8h+nv3A1UD17bk/A=="
+ "resolved": "4.0.2",
+ "contentHash": "5PKRexYlvufWFdXenRcRGKqvaJBBZFJZpqUGlUs9p13eKEgVdOrLpkPknjzUvLY5kEUicK9871DIUDcCPA6AXA=="
},
"xunit.v3.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Qf25TVdadDQYf9zVxSd7L9RNQhuP0jCUHmo96XTmIKLxGefylIEV63jRbXBPFzdXmV09TCdcurk+AQ9LiWS2Hg==",
+ "resolved": "4.0.2",
+ "contentHash": "++CtT8daIf6qfieQev/8V88U3zViIDWou5cj+oWps1/Hf73UoaY/L0hKyi3v7Zlt3BmbU0pUc73zCB1GiB4nYA==",
"dependencies": {
"Microsoft.Bcl.AsyncInterfaces": "6.0.0"
}
},
"xunit.v3.core.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "7qfTfrIfS2wybpSVyRLmhXHbSudD2eNw66LfukixmKsRCTcfvOrLsx0qGL/lObcEh3Z2F4SIXgoFnLIiB8yfjQ==",
+ "resolved": "4.0.2",
+ "contentHash": "XyPMcQRsnUQLhmBBRRgYWsuPc8TyiANzcXtqfzyWfDpPuyh3Q0K4oWozZYQKZRNGnqJ97ifD6qUDWhsEEe32uw==",
"dependencies": {
- "Microsoft.Testing.Extensions.Telemetry": "2.4.0",
- "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.4.0",
- "Microsoft.Testing.Platform": "2.4.0",
- "Microsoft.Testing.Platform.MSBuild": "2.4.0",
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.inproc.console": "[4.0.1]"
+ "Microsoft.Testing.Extensions.Telemetry": "2.5.1",
+ "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.5.1",
+ "Microsoft.Testing.Platform": "2.5.1",
+ "Microsoft.Testing.Platform.MSBuild": "2.5.1",
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.inproc.console": "[4.0.2]"
}
},
"xunit.v3.extensibility.core": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "J0d5OfFcp920nZxCRIvU14+TZhiSPQR0wvqEMZ3MRiJLPu1VmYlcRNkmcSW0i1DwkB81gAHc+fHUQf/cU64MYg==",
+ "resolved": "4.0.2",
+ "contentHash": "ARTt+pGyd86mdtiFBkKpyBQvRC3u0rr8oidBlII2GsAg7D6TfOsDFCsoQtFij83V5pE57m3whUIqT4xjiARXbQ==",
"dependencies": {
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "s88KiWwDDYgOWV3A+ViJiqCe9cLU/Rt6Gb5TfOC7Abv/HKSoj4IHVPcOQk7jPt7HhZHHEts5IuaVpB30eO5B1w==",
+ "resolved": "4.0.2",
+ "contentHash": "XLV32FhkuvheBStvX0DvjfPEtI+4SOVcIhnlTS+549r8VfVwsjpWdkJtQmQ7D23PA+Zoaqo+sTjBkRSkidC6Tw==",
"dependencies": {
- "xunit.analyzers": "2.1.0",
- "xunit.v3.assert": "[4.0.1]",
- "xunit.v3.core.mtp-v2": "[4.0.1]"
+ "xunit.analyzers": "2.2.0",
+ "xunit.v3.assert": "[4.0.2]",
+ "xunit.v3.core.mtp-v2": "[4.0.2]"
}
},
"xunit.v3.runner.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "p9AyfBpj2e5Iws8B57SbLiSngg7mEdvegHInKR4T2cjt2mis9h8htVgCnmu//agZO4zri6p6VQOj5EkHHTy3gA==",
+ "resolved": "4.0.2",
+ "contentHash": "YlYKVhTJVcwEgJ6rm59Pjf71lQqKwKxEHqVRxWUuwrwm/nxB/mNFP/lP4vlntDO3GclNnLT9BjYOpJH9gViGQg==",
"dependencies": {
"Microsoft.Win32.Registry": "[5.0.0]",
"System.Security.AccessControl": "[6.0.1]",
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.runner.inproc.console": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Hqwfd6ehMIhPmVWUQ2dgmknzuLFTWeyp8ES1q3D4YR5bQVyiXDcaIoaFwqAz2zgLr49WaW4Mz7VVncP7u/Q8/Q==",
+ "resolved": "4.0.2",
+ "contentHash": "cg4XNpCN4Ry9nswutknpreN3ckSUBwtjMRmEQSNK/sIKPo6KN5tDGGGCaHDm5HGA4yFVVtTJX65tLCsZArUNfQ==",
"dependencies": {
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.common": "[4.0.1]"
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.common": "[4.0.2]"
}
},
"equiv.cli": {
@@ -485,7 +485,7 @@
"equiv.core": {
"type": "Project",
"dependencies": {
- "Sarif.Sdk": "[5.7.0, )"
+ "Sarif.Sdk": "[5.8.0, )"
}
},
"equiv.execute": {
diff --git a/tests/Equiv.Core.Tests/packages.lock.json b/tests/Equiv.Core.Tests/packages.lock.json
index 6bcf5561..35da84e6 100644
--- a/tests/Equiv.Core.Tests/packages.lock.json
+++ b/tests/Equiv.Core.Tests/packages.lock.json
@@ -22,9 +22,9 @@
},
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"MinVer": {
"type": "Direct",
@@ -34,9 +34,9 @@
},
"Sarif.Sdk": {
"type": "Direct",
- "requested": "[5.7.0, )",
- "resolved": "5.7.0",
- "contentHash": "UVBzw+EDLcdj0DLyxypTtGiNqaP3+Zm3RAP3rHoo20jaEzKv9JFvBLOq6chjV9IuKEGcDMgFnB1D+4DmSLjU8w==",
+ "requested": "[5.8.0, )",
+ "resolved": "5.8.0",
+ "contentHash": "7twZQxftcjxGvz2sQ9DysTdMFAm0PWGYzHibN+O25TenFDtJtCWxKLTzoWtX+jXx7biFh9+QzOqh3WwEJtSu8A==",
"dependencies": {
"Microsoft.Diagnostics.Tracing.EventRegister": "1.1.28",
"Microsoft.Diagnostics.Tracing.TraceEvent": "3.1.3",
@@ -45,25 +45,25 @@
},
"Verify.XunitV3": {
"type": "Direct",
- "requested": "[33.3.2, )",
- "resolved": "33.3.2",
- "contentHash": "N6F9Rz8GZtyexZovptbhkWMqQ0tafdorUmgOoKAeHMouzWNU0rmYjXxTG19rRa027sIaGALMR+2kPdQhrmNaKQ==",
+ "requested": "[33.3.4, )",
+ "resolved": "33.3.4",
+ "contentHash": "2bEFSlKjrg785+wbN9FZky9o1tu2M4ZeAPdYHPSRw8xG2JEJfCte+egTXli+KvwYAec+35i3qNtlLqFRLKGh+w==",
"dependencies": {
"Argon": "0.38.2",
- "DiffEngine": "20.7.2",
- "Microsoft.Bcl.AsyncInterfaces": "10.0.12",
+ "DiffEngine": "20.8.2",
+ "Microsoft.Bcl.AsyncInterfaces": "10.0.13",
"SimpleInfoName": "3.2.1",
- "Verify": "33.3.2",
- "xunit.v3.extensibility.core": "4.0.1"
+ "Verify": "33.3.4",
+ "xunit.v3.extensibility.core": "4.0.2"
}
},
"xunit.v3": {
"type": "Direct",
- "requested": "[4.0.1, )",
- "resolved": "4.0.1",
- "contentHash": "KpDYf6jFjYfOchuRJOAXPOpwN03hLE1AF4kWzCUSnhr8JZMiGH4BT1YidCcm6BE1H4E90GyJzuKoCwXbg9PXmA==",
+ "requested": "[4.0.2, )",
+ "resolved": "4.0.2",
+ "contentHash": "TdjM2OAx7w/0E88E6PgaigLoTbQaxbSR3HF/8p92plchTjf29jPHW27ylvEOz+Nx8CvPwWKGQlOR1fDv6/Qh5A==",
"dependencies": {
- "xunit.v3.mtp-v2": "[4.0.1]"
+ "xunit.v3.mtp-v2": "[4.0.2]"
}
},
"Argon": {
@@ -73,8 +73,8 @@
},
"DiffEngine": {
"type": "Transitive",
- "resolved": "20.7.2",
- "contentHash": "GULvEiwPjnJp+xBy56wqIewmF7/QrTAw/gQWddgQMSXESpUpjF+1PT+ukHLG5TqNXSs9q8Dp9DDub0eeyKc6ww==",
+ "resolved": "20.8.2",
+ "contentHash": "913FZh0PW/wL53zdx+go/doxQuulU8C6SSgmAHMAuVS/mF1JCYcBgg29F8XkpWEGW0JotbIscsifjlaLwE71bw==",
"dependencies": {
"EmptyFiles": "8.20.1"
}
@@ -91,8 +91,8 @@
},
"Microsoft.Bcl.AsyncInterfaces": {
"type": "Transitive",
- "resolved": "10.0.12",
- "contentHash": "vHPomsJPqUvf1ExdzCCSEUMQqloONPTBMGqNqBUdr4UgSTs9bCzH1oLkuS6WgUgIu+xqWngQbjelUBNlDuzLWQ=="
+ "resolved": "10.0.13",
+ "contentHash": "PEC80XidOaP1vyHWiSIOHOfh6MpkFln/gkLXKaSmjrAdBSwcAaowvOaVBKvnb+HAb2UTGrZqROajIKMVFu2jdw=="
},
"Microsoft.CodeAnalysis.Analyzers": {
"type": "Transitive",
@@ -200,32 +200,32 @@
},
"Microsoft.Testing.Extensions.Telemetry": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "JeP1RFqBa11fWmBk8xEfZcMKr4rxWSyI6OZ+659V069CaMkTEOQBW2UdSSeNz3absOsygcn7JJkzerC4LGnZ9w==",
+ "resolved": "2.5.1",
+ "contentHash": "mu2iyoHovwl0q1mGeeRU0h8+LALXC7HqbxniLa1shTKYdJGl+KPoCEgjWIQ8MLzk1tlTGPOfg1JsxdH3RxhMCA==",
"dependencies": {
"Microsoft.ApplicationInsights": "2.23.0",
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Extensions.TrxReport.Abstractions": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "uRb+4qM42dFDg4kWJZ2kFEcwESNVCRZJjItp5vETorN3rSJGysP617LqYirOcrCYmxg+obPreHMM5JcsNDKtBw==",
+ "resolved": "2.5.1",
+ "contentHash": "DYTZAguaHz0wNJdHDTTGYOXtnlDoLoIbTMDKSApNNcytm55DJcnwpwELfQGLk5DB5QlgaEjNhnGo1Pu5QvL5VA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Platform": {
"type": "Transitive",
- "resolved": "2.4.1",
- "contentHash": "3nW9NyhN1BnHRF994DCOOUQCqVA9pDT+gPpbuhI/xUntZnGnXO4ySovKxFlFuoT/48pnI74LK/DeKVlve1L3VQ=="
+ "resolved": "2.5.1",
+ "contentHash": "FAMaFFWnULW+hDHMb40Qzhcgz9cAU2/EtgRCBNX/DdQoKo0sPG2EiY+w7bQdl/BgHnf/DbpXLbf5Xy0o15M8NA=="
},
"Microsoft.Testing.Platform.MSBuild": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "qr5M6h16YHMJLFDcWELFVMMpGte2BUmveBZKT5YoBV+bmuJRPu9bv/Zqke4yQuOEKRNxoAETrG5jr+/6Rnr3Hg==",
+ "resolved": "2.5.1",
+ "contentHash": "lYawcAwY+h76rQmpma2n0HaL8zkOFbbKapso0Eb+uOAUQn7333pIByLftEuiO67csAoZufHNMwi6PqhNemWQXA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Win32.Registry": {
@@ -250,86 +250,86 @@
},
"Verify": {
"type": "Transitive",
- "resolved": "33.3.2",
- "contentHash": "c4CrBw4QlcHyHPuk/PBcCWd7iQsc8o506BDRhfeaydwKeEr0wdpKJxQo0pSWl2i6YOfgy3CuXMgq6N6QYkf1jg==",
+ "resolved": "33.3.4",
+ "contentHash": "0Fz2d9Ta0A5lg12V8t3rrEFDEAnJLp8HAMCCQZA6ur3ZLfWlZvah9b2dXZr9H5TipjW+8NEYlie9bsHhKFe+ig==",
"dependencies": {
"Argon": "0.38.2",
- "DiffEngine": "20.7.2",
+ "DiffEngine": "20.8.2",
"SimpleInfoName": "3.2.1"
}
},
"xunit.analyzers": {
"type": "Transitive",
- "resolved": "2.1.0",
- "contentHash": "X7QXEcZQGz0G/HL4HUyK+aAvNa/IMGbOCnFIq4jD/Evktq12xANKwzOUr7b08vCmC1LXu/47qHWOdjm3KfaJ0A=="
+ "resolved": "2.2.0",
+ "contentHash": "dXMIIztipcAyL3a19gtUrih/RLrE33/4VJdICoinYqIXXo1KLtsMPsaQ9dO2pE8xajDguwE2kqVbBqE5/EoJ0Q=="
},
"xunit.v3.assert": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "nC7d3cY06Oo7hkdwWPZkBR0Ud75xNhgx0P7i0GmMMZC3puCGlc4szFiT30biH03IN/eDnr8h+nv3A1UD17bk/A=="
+ "resolved": "4.0.2",
+ "contentHash": "5PKRexYlvufWFdXenRcRGKqvaJBBZFJZpqUGlUs9p13eKEgVdOrLpkPknjzUvLY5kEUicK9871DIUDcCPA6AXA=="
},
"xunit.v3.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Qf25TVdadDQYf9zVxSd7L9RNQhuP0jCUHmo96XTmIKLxGefylIEV63jRbXBPFzdXmV09TCdcurk+AQ9LiWS2Hg==",
+ "resolved": "4.0.2",
+ "contentHash": "++CtT8daIf6qfieQev/8V88U3zViIDWou5cj+oWps1/Hf73UoaY/L0hKyi3v7Zlt3BmbU0pUc73zCB1GiB4nYA==",
"dependencies": {
"Microsoft.Bcl.AsyncInterfaces": "6.0.0"
}
},
"xunit.v3.core.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "7qfTfrIfS2wybpSVyRLmhXHbSudD2eNw66LfukixmKsRCTcfvOrLsx0qGL/lObcEh3Z2F4SIXgoFnLIiB8yfjQ==",
+ "resolved": "4.0.2",
+ "contentHash": "XyPMcQRsnUQLhmBBRRgYWsuPc8TyiANzcXtqfzyWfDpPuyh3Q0K4oWozZYQKZRNGnqJ97ifD6qUDWhsEEe32uw==",
"dependencies": {
- "Microsoft.Testing.Extensions.Telemetry": "2.4.0",
- "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.4.0",
- "Microsoft.Testing.Platform": "2.4.0",
- "Microsoft.Testing.Platform.MSBuild": "2.4.0",
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.inproc.console": "[4.0.1]"
+ "Microsoft.Testing.Extensions.Telemetry": "2.5.1",
+ "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.5.1",
+ "Microsoft.Testing.Platform": "2.5.1",
+ "Microsoft.Testing.Platform.MSBuild": "2.5.1",
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.inproc.console": "[4.0.2]"
}
},
"xunit.v3.extensibility.core": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "J0d5OfFcp920nZxCRIvU14+TZhiSPQR0wvqEMZ3MRiJLPu1VmYlcRNkmcSW0i1DwkB81gAHc+fHUQf/cU64MYg==",
+ "resolved": "4.0.2",
+ "contentHash": "ARTt+pGyd86mdtiFBkKpyBQvRC3u0rr8oidBlII2GsAg7D6TfOsDFCsoQtFij83V5pE57m3whUIqT4xjiARXbQ==",
"dependencies": {
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "s88KiWwDDYgOWV3A+ViJiqCe9cLU/Rt6Gb5TfOC7Abv/HKSoj4IHVPcOQk7jPt7HhZHHEts5IuaVpB30eO5B1w==",
+ "resolved": "4.0.2",
+ "contentHash": "XLV32FhkuvheBStvX0DvjfPEtI+4SOVcIhnlTS+549r8VfVwsjpWdkJtQmQ7D23PA+Zoaqo+sTjBkRSkidC6Tw==",
"dependencies": {
- "xunit.analyzers": "2.1.0",
- "xunit.v3.assert": "[4.0.1]",
- "xunit.v3.core.mtp-v2": "[4.0.1]"
+ "xunit.analyzers": "2.2.0",
+ "xunit.v3.assert": "[4.0.2]",
+ "xunit.v3.core.mtp-v2": "[4.0.2]"
}
},
"xunit.v3.runner.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "p9AyfBpj2e5Iws8B57SbLiSngg7mEdvegHInKR4T2cjt2mis9h8htVgCnmu//agZO4zri6p6VQOj5EkHHTy3gA==",
+ "resolved": "4.0.2",
+ "contentHash": "YlYKVhTJVcwEgJ6rm59Pjf71lQqKwKxEHqVRxWUuwrwm/nxB/mNFP/lP4vlntDO3GclNnLT9BjYOpJH9gViGQg==",
"dependencies": {
"Microsoft.Win32.Registry": "[5.0.0]",
"System.Security.AccessControl": "[6.0.1]",
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.runner.inproc.console": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Hqwfd6ehMIhPmVWUQ2dgmknzuLFTWeyp8ES1q3D4YR5bQVyiXDcaIoaFwqAz2zgLr49WaW4Mz7VVncP7u/Q8/Q==",
+ "resolved": "4.0.2",
+ "contentHash": "cg4XNpCN4Ry9nswutknpreN3ckSUBwtjMRmEQSNK/sIKPo6KN5tDGGGCaHDm5HGA4yFVVtTJX65tLCsZArUNfQ==",
"dependencies": {
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.common": "[4.0.1]"
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.common": "[4.0.2]"
}
},
"equiv.core": {
"type": "Project",
"dependencies": {
- "Sarif.Sdk": "[5.7.0, )"
+ "Sarif.Sdk": "[5.8.0, )"
}
},
"equiv.corpus.seeder": {
diff --git a/tests/Equiv.Execute.Tests/packages.lock.json b/tests/Equiv.Execute.Tests/packages.lock.json
index 60cf59af..8b6f483d 100644
--- a/tests/Equiv.Execute.Tests/packages.lock.json
+++ b/tests/Equiv.Execute.Tests/packages.lock.json
@@ -16,9 +16,9 @@
},
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"MinVer": {
"type": "Direct",
@@ -28,11 +28,11 @@
},
"xunit.v3": {
"type": "Direct",
- "requested": "[4.0.1, )",
- "resolved": "4.0.1",
- "contentHash": "KpDYf6jFjYfOchuRJOAXPOpwN03hLE1AF4kWzCUSnhr8JZMiGH4BT1YidCcm6BE1H4E90GyJzuKoCwXbg9PXmA==",
+ "requested": "[4.0.2, )",
+ "resolved": "4.0.2",
+ "contentHash": "TdjM2OAx7w/0E88E6PgaigLoTbQaxbSR3HF/8p92plchTjf29jPHW27ylvEOz+Nx8CvPwWKGQlOR1fDv6/Qh5A==",
"dependencies": {
- "xunit.v3.mtp-v2": "[4.0.1]"
+ "xunit.v3.mtp-v2": "[4.0.2]"
}
},
"Microsoft.ApplicationInsights": {
@@ -138,32 +138,32 @@
},
"Microsoft.Testing.Extensions.Telemetry": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "JeP1RFqBa11fWmBk8xEfZcMKr4rxWSyI6OZ+659V069CaMkTEOQBW2UdSSeNz3absOsygcn7JJkzerC4LGnZ9w==",
+ "resolved": "2.5.1",
+ "contentHash": "mu2iyoHovwl0q1mGeeRU0h8+LALXC7HqbxniLa1shTKYdJGl+KPoCEgjWIQ8MLzk1tlTGPOfg1JsxdH3RxhMCA==",
"dependencies": {
"Microsoft.ApplicationInsights": "2.23.0",
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Extensions.TrxReport.Abstractions": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "uRb+4qM42dFDg4kWJZ2kFEcwESNVCRZJjItp5vETorN3rSJGysP617LqYirOcrCYmxg+obPreHMM5JcsNDKtBw==",
+ "resolved": "2.5.1",
+ "contentHash": "DYTZAguaHz0wNJdHDTTGYOXtnlDoLoIbTMDKSApNNcytm55DJcnwpwELfQGLk5DB5QlgaEjNhnGo1Pu5QvL5VA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Platform": {
"type": "Transitive",
- "resolved": "2.4.1",
- "contentHash": "3nW9NyhN1BnHRF994DCOOUQCqVA9pDT+gPpbuhI/xUntZnGnXO4ySovKxFlFuoT/48pnI74LK/DeKVlve1L3VQ=="
+ "resolved": "2.5.1",
+ "contentHash": "FAMaFFWnULW+hDHMb40Qzhcgz9cAU2/EtgRCBNX/DdQoKo0sPG2EiY+w7bQdl/BgHnf/DbpXLbf5Xy0o15M8NA=="
},
"Microsoft.Testing.Platform.MSBuild": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "qr5M6h16YHMJLFDcWELFVMMpGte2BUmveBZKT5YoBV+bmuJRPu9bv/Zqke4yQuOEKRNxoAETrG5jr+/6Rnr3Hg==",
+ "resolved": "2.5.1",
+ "contentHash": "lYawcAwY+h76rQmpma2n0HaL8zkOFbbKapso0Eb+uOAUQn7333pIByLftEuiO67csAoZufHNMwi6PqhNemWQXA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Win32.Registry": {
@@ -183,76 +183,76 @@
},
"xunit.analyzers": {
"type": "Transitive",
- "resolved": "2.1.0",
- "contentHash": "X7QXEcZQGz0G/HL4HUyK+aAvNa/IMGbOCnFIq4jD/Evktq12xANKwzOUr7b08vCmC1LXu/47qHWOdjm3KfaJ0A=="
+ "resolved": "2.2.0",
+ "contentHash": "dXMIIztipcAyL3a19gtUrih/RLrE33/4VJdICoinYqIXXo1KLtsMPsaQ9dO2pE8xajDguwE2kqVbBqE5/EoJ0Q=="
},
"xunit.v3.assert": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "nC7d3cY06Oo7hkdwWPZkBR0Ud75xNhgx0P7i0GmMMZC3puCGlc4szFiT30biH03IN/eDnr8h+nv3A1UD17bk/A=="
+ "resolved": "4.0.2",
+ "contentHash": "5PKRexYlvufWFdXenRcRGKqvaJBBZFJZpqUGlUs9p13eKEgVdOrLpkPknjzUvLY5kEUicK9871DIUDcCPA6AXA=="
},
"xunit.v3.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Qf25TVdadDQYf9zVxSd7L9RNQhuP0jCUHmo96XTmIKLxGefylIEV63jRbXBPFzdXmV09TCdcurk+AQ9LiWS2Hg==",
+ "resolved": "4.0.2",
+ "contentHash": "++CtT8daIf6qfieQev/8V88U3zViIDWou5cj+oWps1/Hf73UoaY/L0hKyi3v7Zlt3BmbU0pUc73zCB1GiB4nYA==",
"dependencies": {
"Microsoft.Bcl.AsyncInterfaces": "6.0.0"
}
},
"xunit.v3.core.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "7qfTfrIfS2wybpSVyRLmhXHbSudD2eNw66LfukixmKsRCTcfvOrLsx0qGL/lObcEh3Z2F4SIXgoFnLIiB8yfjQ==",
+ "resolved": "4.0.2",
+ "contentHash": "XyPMcQRsnUQLhmBBRRgYWsuPc8TyiANzcXtqfzyWfDpPuyh3Q0K4oWozZYQKZRNGnqJ97ifD6qUDWhsEEe32uw==",
"dependencies": {
- "Microsoft.Testing.Extensions.Telemetry": "2.4.0",
- "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.4.0",
- "Microsoft.Testing.Platform": "2.4.0",
- "Microsoft.Testing.Platform.MSBuild": "2.4.0",
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.inproc.console": "[4.0.1]"
+ "Microsoft.Testing.Extensions.Telemetry": "2.5.1",
+ "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.5.1",
+ "Microsoft.Testing.Platform": "2.5.1",
+ "Microsoft.Testing.Platform.MSBuild": "2.5.1",
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.inproc.console": "[4.0.2]"
}
},
"xunit.v3.extensibility.core": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "J0d5OfFcp920nZxCRIvU14+TZhiSPQR0wvqEMZ3MRiJLPu1VmYlcRNkmcSW0i1DwkB81gAHc+fHUQf/cU64MYg==",
+ "resolved": "4.0.2",
+ "contentHash": "ARTt+pGyd86mdtiFBkKpyBQvRC3u0rr8oidBlII2GsAg7D6TfOsDFCsoQtFij83V5pE57m3whUIqT4xjiARXbQ==",
"dependencies": {
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "s88KiWwDDYgOWV3A+ViJiqCe9cLU/Rt6Gb5TfOC7Abv/HKSoj4IHVPcOQk7jPt7HhZHHEts5IuaVpB30eO5B1w==",
+ "resolved": "4.0.2",
+ "contentHash": "XLV32FhkuvheBStvX0DvjfPEtI+4SOVcIhnlTS+549r8VfVwsjpWdkJtQmQ7D23PA+Zoaqo+sTjBkRSkidC6Tw==",
"dependencies": {
- "xunit.analyzers": "2.1.0",
- "xunit.v3.assert": "[4.0.1]",
- "xunit.v3.core.mtp-v2": "[4.0.1]"
+ "xunit.analyzers": "2.2.0",
+ "xunit.v3.assert": "[4.0.2]",
+ "xunit.v3.core.mtp-v2": "[4.0.2]"
}
},
"xunit.v3.runner.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "p9AyfBpj2e5Iws8B57SbLiSngg7mEdvegHInKR4T2cjt2mis9h8htVgCnmu//agZO4zri6p6VQOj5EkHHTy3gA==",
+ "resolved": "4.0.2",
+ "contentHash": "YlYKVhTJVcwEgJ6rm59Pjf71lQqKwKxEHqVRxWUuwrwm/nxB/mNFP/lP4vlntDO3GclNnLT9BjYOpJH9gViGQg==",
"dependencies": {
"Microsoft.Win32.Registry": "[5.0.0]",
"System.Security.AccessControl": "[6.0.1]",
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.runner.inproc.console": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Hqwfd6ehMIhPmVWUQ2dgmknzuLFTWeyp8ES1q3D4YR5bQVyiXDcaIoaFwqAz2zgLr49WaW4Mz7VVncP7u/Q8/Q==",
+ "resolved": "4.0.2",
+ "contentHash": "cg4XNpCN4Ry9nswutknpreN3ckSUBwtjMRmEQSNK/sIKPo6KN5tDGGGCaHDm5HGA4yFVVtTJX65tLCsZArUNfQ==",
"dependencies": {
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.common": "[4.0.1]"
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.common": "[4.0.2]"
}
},
"equiv.core": {
"type": "Project",
"dependencies": {
- "Sarif.Sdk": "[5.7.0, )"
+ "Sarif.Sdk": "[5.8.0, )"
}
},
"equiv.execute": {
@@ -263,9 +263,9 @@
},
"Sarif.Sdk": {
"type": "CentralTransitive",
- "requested": "[5.7.0, )",
- "resolved": "5.7.0",
- "contentHash": "UVBzw+EDLcdj0DLyxypTtGiNqaP3+Zm3RAP3rHoo20jaEzKv9JFvBLOq6chjV9IuKEGcDMgFnB1D+4DmSLjU8w==",
+ "requested": "[5.8.0, )",
+ "resolved": "5.8.0",
+ "contentHash": "7twZQxftcjxGvz2sQ9DysTdMFAm0PWGYzHibN+O25TenFDtJtCWxKLTzoWtX+jXx7biFh9+QzOqh3WwEJtSu8A==",
"dependencies": {
"Microsoft.Diagnostics.Tracing.EventRegister": "1.1.28",
"Microsoft.Diagnostics.Tracing.TraceEvent": "3.1.3",
diff --git a/tests/Equiv.Frontend.CSharp.Tests/packages.lock.json b/tests/Equiv.Frontend.CSharp.Tests/packages.lock.json
index 43de6bb8..81062eac 100644
--- a/tests/Equiv.Frontend.CSharp.Tests/packages.lock.json
+++ b/tests/Equiv.Frontend.CSharp.Tests/packages.lock.json
@@ -22,9 +22,9 @@
},
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"MinVer": {
"type": "Direct",
@@ -34,25 +34,25 @@
},
"Verify.XunitV3": {
"type": "Direct",
- "requested": "[33.3.2, )",
- "resolved": "33.3.2",
- "contentHash": "N6F9Rz8GZtyexZovptbhkWMqQ0tafdorUmgOoKAeHMouzWNU0rmYjXxTG19rRa027sIaGALMR+2kPdQhrmNaKQ==",
+ "requested": "[33.3.4, )",
+ "resolved": "33.3.4",
+ "contentHash": "2bEFSlKjrg785+wbN9FZky9o1tu2M4ZeAPdYHPSRw8xG2JEJfCte+egTXli+KvwYAec+35i3qNtlLqFRLKGh+w==",
"dependencies": {
"Argon": "0.38.2",
- "DiffEngine": "20.7.2",
- "Microsoft.Bcl.AsyncInterfaces": "10.0.12",
+ "DiffEngine": "20.8.2",
+ "Microsoft.Bcl.AsyncInterfaces": "10.0.13",
"SimpleInfoName": "3.2.1",
- "Verify": "33.3.2",
- "xunit.v3.extensibility.core": "4.0.1"
+ "Verify": "33.3.4",
+ "xunit.v3.extensibility.core": "4.0.2"
}
},
"xunit.v3": {
"type": "Direct",
- "requested": "[4.0.1, )",
- "resolved": "4.0.1",
- "contentHash": "KpDYf6jFjYfOchuRJOAXPOpwN03hLE1AF4kWzCUSnhr8JZMiGH4BT1YidCcm6BE1H4E90GyJzuKoCwXbg9PXmA==",
+ "requested": "[4.0.2, )",
+ "resolved": "4.0.2",
+ "contentHash": "TdjM2OAx7w/0E88E6PgaigLoTbQaxbSR3HF/8p92plchTjf29jPHW27ylvEOz+Nx8CvPwWKGQlOR1fDv6/Qh5A==",
"dependencies": {
- "xunit.v3.mtp-v2": "[4.0.1]"
+ "xunit.v3.mtp-v2": "[4.0.2]"
}
},
"Argon": {
@@ -62,8 +62,8 @@
},
"DiffEngine": {
"type": "Transitive",
- "resolved": "20.7.2",
- "contentHash": "GULvEiwPjnJp+xBy56wqIewmF7/QrTAw/gQWddgQMSXESpUpjF+1PT+ukHLG5TqNXSs9q8Dp9DDub0eeyKc6ww==",
+ "resolved": "20.8.2",
+ "contentHash": "913FZh0PW/wL53zdx+go/doxQuulU8C6SSgmAHMAuVS/mF1JCYcBgg29F8XkpWEGW0JotbIscsifjlaLwE71bw==",
"dependencies": {
"EmptyFiles": "8.20.1"
}
@@ -85,8 +85,8 @@
},
"Microsoft.Bcl.AsyncInterfaces": {
"type": "Transitive",
- "resolved": "10.0.12",
- "contentHash": "vHPomsJPqUvf1ExdzCCSEUMQqloONPTBMGqNqBUdr4UgSTs9bCzH1oLkuS6WgUgIu+xqWngQbjelUBNlDuzLWQ=="
+ "resolved": "10.0.13",
+ "contentHash": "PEC80XidOaP1vyHWiSIOHOfh6MpkFln/gkLXKaSmjrAdBSwcAaowvOaVBKvnb+HAb2UTGrZqROajIKMVFu2jdw=="
},
"Microsoft.Build.Framework": {
"type": "Transitive",
@@ -237,32 +237,32 @@
},
"Microsoft.Testing.Extensions.Telemetry": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "JeP1RFqBa11fWmBk8xEfZcMKr4rxWSyI6OZ+659V069CaMkTEOQBW2UdSSeNz3absOsygcn7JJkzerC4LGnZ9w==",
+ "resolved": "2.5.1",
+ "contentHash": "mu2iyoHovwl0q1mGeeRU0h8+LALXC7HqbxniLa1shTKYdJGl+KPoCEgjWIQ8MLzk1tlTGPOfg1JsxdH3RxhMCA==",
"dependencies": {
"Microsoft.ApplicationInsights": "2.23.0",
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Extensions.TrxReport.Abstractions": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "uRb+4qM42dFDg4kWJZ2kFEcwESNVCRZJjItp5vETorN3rSJGysP617LqYirOcrCYmxg+obPreHMM5JcsNDKtBw==",
+ "resolved": "2.5.1",
+ "contentHash": "DYTZAguaHz0wNJdHDTTGYOXtnlDoLoIbTMDKSApNNcytm55DJcnwpwELfQGLk5DB5QlgaEjNhnGo1Pu5QvL5VA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Platform": {
"type": "Transitive",
- "resolved": "2.4.1",
- "contentHash": "3nW9NyhN1BnHRF994DCOOUQCqVA9pDT+gPpbuhI/xUntZnGnXO4ySovKxFlFuoT/48pnI74LK/DeKVlve1L3VQ=="
+ "resolved": "2.5.1",
+ "contentHash": "FAMaFFWnULW+hDHMb40Qzhcgz9cAU2/EtgRCBNX/DdQoKo0sPG2EiY+w7bQdl/BgHnf/DbpXLbf5Xy0o15M8NA=="
},
"Microsoft.Testing.Platform.MSBuild": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "qr5M6h16YHMJLFDcWELFVMMpGte2BUmveBZKT5YoBV+bmuJRPu9bv/Zqke4yQuOEKRNxoAETrG5jr+/6Rnr3Hg==",
+ "resolved": "2.5.1",
+ "contentHash": "lYawcAwY+h76rQmpma2n0HaL8zkOFbbKapso0Eb+uOAUQn7333pIByLftEuiO67csAoZufHNMwi6PqhNemWQXA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.VisualStudio.SolutionPersistence": {
@@ -340,86 +340,86 @@
},
"Verify": {
"type": "Transitive",
- "resolved": "33.3.2",
- "contentHash": "c4CrBw4QlcHyHPuk/PBcCWd7iQsc8o506BDRhfeaydwKeEr0wdpKJxQo0pSWl2i6YOfgy3CuXMgq6N6QYkf1jg==",
+ "resolved": "33.3.4",
+ "contentHash": "0Fz2d9Ta0A5lg12V8t3rrEFDEAnJLp8HAMCCQZA6ur3ZLfWlZvah9b2dXZr9H5TipjW+8NEYlie9bsHhKFe+ig==",
"dependencies": {
"Argon": "0.38.2",
- "DiffEngine": "20.7.2",
+ "DiffEngine": "20.8.2",
"SimpleInfoName": "3.2.1"
}
},
"xunit.analyzers": {
"type": "Transitive",
- "resolved": "2.1.0",
- "contentHash": "X7QXEcZQGz0G/HL4HUyK+aAvNa/IMGbOCnFIq4jD/Evktq12xANKwzOUr7b08vCmC1LXu/47qHWOdjm3KfaJ0A=="
+ "resolved": "2.2.0",
+ "contentHash": "dXMIIztipcAyL3a19gtUrih/RLrE33/4VJdICoinYqIXXo1KLtsMPsaQ9dO2pE8xajDguwE2kqVbBqE5/EoJ0Q=="
},
"xunit.v3.assert": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "nC7d3cY06Oo7hkdwWPZkBR0Ud75xNhgx0P7i0GmMMZC3puCGlc4szFiT30biH03IN/eDnr8h+nv3A1UD17bk/A=="
+ "resolved": "4.0.2",
+ "contentHash": "5PKRexYlvufWFdXenRcRGKqvaJBBZFJZpqUGlUs9p13eKEgVdOrLpkPknjzUvLY5kEUicK9871DIUDcCPA6AXA=="
},
"xunit.v3.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Qf25TVdadDQYf9zVxSd7L9RNQhuP0jCUHmo96XTmIKLxGefylIEV63jRbXBPFzdXmV09TCdcurk+AQ9LiWS2Hg==",
+ "resolved": "4.0.2",
+ "contentHash": "++CtT8daIf6qfieQev/8V88U3zViIDWou5cj+oWps1/Hf73UoaY/L0hKyi3v7Zlt3BmbU0pUc73zCB1GiB4nYA==",
"dependencies": {
"Microsoft.Bcl.AsyncInterfaces": "6.0.0"
}
},
"xunit.v3.core.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "7qfTfrIfS2wybpSVyRLmhXHbSudD2eNw66LfukixmKsRCTcfvOrLsx0qGL/lObcEh3Z2F4SIXgoFnLIiB8yfjQ==",
+ "resolved": "4.0.2",
+ "contentHash": "XyPMcQRsnUQLhmBBRRgYWsuPc8TyiANzcXtqfzyWfDpPuyh3Q0K4oWozZYQKZRNGnqJ97ifD6qUDWhsEEe32uw==",
"dependencies": {
- "Microsoft.Testing.Extensions.Telemetry": "2.4.0",
- "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.4.0",
- "Microsoft.Testing.Platform": "2.4.0",
- "Microsoft.Testing.Platform.MSBuild": "2.4.0",
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.inproc.console": "[4.0.1]"
+ "Microsoft.Testing.Extensions.Telemetry": "2.5.1",
+ "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.5.1",
+ "Microsoft.Testing.Platform": "2.5.1",
+ "Microsoft.Testing.Platform.MSBuild": "2.5.1",
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.inproc.console": "[4.0.2]"
}
},
"xunit.v3.extensibility.core": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "J0d5OfFcp920nZxCRIvU14+TZhiSPQR0wvqEMZ3MRiJLPu1VmYlcRNkmcSW0i1DwkB81gAHc+fHUQf/cU64MYg==",
+ "resolved": "4.0.2",
+ "contentHash": "ARTt+pGyd86mdtiFBkKpyBQvRC3u0rr8oidBlII2GsAg7D6TfOsDFCsoQtFij83V5pE57m3whUIqT4xjiARXbQ==",
"dependencies": {
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "s88KiWwDDYgOWV3A+ViJiqCe9cLU/Rt6Gb5TfOC7Abv/HKSoj4IHVPcOQk7jPt7HhZHHEts5IuaVpB30eO5B1w==",
+ "resolved": "4.0.2",
+ "contentHash": "XLV32FhkuvheBStvX0DvjfPEtI+4SOVcIhnlTS+549r8VfVwsjpWdkJtQmQ7D23PA+Zoaqo+sTjBkRSkidC6Tw==",
"dependencies": {
- "xunit.analyzers": "2.1.0",
- "xunit.v3.assert": "[4.0.1]",
- "xunit.v3.core.mtp-v2": "[4.0.1]"
+ "xunit.analyzers": "2.2.0",
+ "xunit.v3.assert": "[4.0.2]",
+ "xunit.v3.core.mtp-v2": "[4.0.2]"
}
},
"xunit.v3.runner.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "p9AyfBpj2e5Iws8B57SbLiSngg7mEdvegHInKR4T2cjt2mis9h8htVgCnmu//agZO4zri6p6VQOj5EkHHTy3gA==",
+ "resolved": "4.0.2",
+ "contentHash": "YlYKVhTJVcwEgJ6rm59Pjf71lQqKwKxEHqVRxWUuwrwm/nxB/mNFP/lP4vlntDO3GclNnLT9BjYOpJH9gViGQg==",
"dependencies": {
"Microsoft.Win32.Registry": "[5.0.0]",
"System.Security.AccessControl": "[6.0.1]",
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.runner.inproc.console": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Hqwfd6ehMIhPmVWUQ2dgmknzuLFTWeyp8ES1q3D4YR5bQVyiXDcaIoaFwqAz2zgLr49WaW4Mz7VVncP7u/Q8/Q==",
+ "resolved": "4.0.2",
+ "contentHash": "cg4XNpCN4Ry9nswutknpreN3ckSUBwtjMRmEQSNK/sIKPo6KN5tDGGGCaHDm5HGA4yFVVtTJX65tLCsZArUNfQ==",
"dependencies": {
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.common": "[4.0.1]"
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.common": "[4.0.2]"
}
},
"equiv.core": {
"type": "Project",
"dependencies": {
- "Sarif.Sdk": "[5.7.0, )"
+ "Sarif.Sdk": "[5.8.0, )"
}
},
"equiv.corpus.seeder": {
@@ -502,9 +502,9 @@
},
"Sarif.Sdk": {
"type": "CentralTransitive",
- "requested": "[5.7.0, )",
- "resolved": "5.7.0",
- "contentHash": "UVBzw+EDLcdj0DLyxypTtGiNqaP3+Zm3RAP3rHoo20jaEzKv9JFvBLOq6chjV9IuKEGcDMgFnB1D+4DmSLjU8w==",
+ "requested": "[5.8.0, )",
+ "resolved": "5.8.0",
+ "contentHash": "7twZQxftcjxGvz2sQ9DysTdMFAm0PWGYzHibN+O25TenFDtJtCWxKLTzoWtX+jXx7biFh9+QzOqh3WwEJtSu8A==",
"dependencies": {
"Microsoft.Diagnostics.Tracing.EventRegister": "1.1.28",
"Microsoft.Diagnostics.Tracing.TraceEvent": "3.1.3",
diff --git a/tests/Equiv.TestSupport/packages.lock.json b/tests/Equiv.TestSupport/packages.lock.json
index f6153d99..ad305254 100644
--- a/tests/Equiv.TestSupport/packages.lock.json
+++ b/tests/Equiv.TestSupport/packages.lock.json
@@ -10,9 +10,9 @@
},
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"MinVer": {
"type": "Direct",
@@ -51,7 +51,7 @@
"equiv.core": {
"type": "Project",
"dependencies": {
- "Sarif.Sdk": "[5.7.0, )"
+ "Sarif.Sdk": "[5.8.0, )"
}
},
"equiv.corpus.seeder": {
@@ -72,9 +72,9 @@
},
"Sarif.Sdk": {
"type": "CentralTransitive",
- "requested": "[5.7.0, )",
- "resolved": "5.7.0",
- "contentHash": "UVBzw+EDLcdj0DLyxypTtGiNqaP3+Zm3RAP3rHoo20jaEzKv9JFvBLOq6chjV9IuKEGcDMgFnB1D+4DmSLjU8w==",
+ "requested": "[5.8.0, )",
+ "resolved": "5.8.0",
+ "contentHash": "7twZQxftcjxGvz2sQ9DysTdMFAm0PWGYzHibN+O25TenFDtJtCWxKLTzoWtX+jXx7biFh9+QzOqh3WwEJtSu8A==",
"dependencies": {
"Microsoft.Diagnostics.Tracing.EventRegister": "1.1.28",
"Microsoft.Diagnostics.Tracing.TraceEvent": "3.1.3",
diff --git a/tests/Equiv.Tests.Architecture/packages.lock.json b/tests/Equiv.Tests.Architecture/packages.lock.json
index ac15a3bf..badae8bf 100644
--- a/tests/Equiv.Tests.Architecture/packages.lock.json
+++ b/tests/Equiv.Tests.Architecture/packages.lock.json
@@ -16,9 +16,9 @@
},
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"MinVer": {
"type": "Direct",
@@ -38,11 +38,11 @@
},
"xunit.v3": {
"type": "Direct",
- "requested": "[4.0.1, )",
- "resolved": "4.0.1",
- "contentHash": "KpDYf6jFjYfOchuRJOAXPOpwN03hLE1AF4kWzCUSnhr8JZMiGH4BT1YidCcm6BE1H4E90GyJzuKoCwXbg9PXmA==",
+ "requested": "[4.0.2, )",
+ "resolved": "4.0.2",
+ "contentHash": "TdjM2OAx7w/0E88E6PgaigLoTbQaxbSR3HF/8p92plchTjf29jPHW27ylvEOz+Nx8CvPwWKGQlOR1fDv6/Qh5A==",
"dependencies": {
- "xunit.v3.mtp-v2": "[4.0.1]"
+ "xunit.v3.mtp-v2": "[4.0.2]"
}
},
"CycleDetection": {
@@ -253,32 +253,32 @@
},
"Microsoft.Testing.Extensions.Telemetry": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "JeP1RFqBa11fWmBk8xEfZcMKr4rxWSyI6OZ+659V069CaMkTEOQBW2UdSSeNz3absOsygcn7JJkzerC4LGnZ9w==",
+ "resolved": "2.5.1",
+ "contentHash": "mu2iyoHovwl0q1mGeeRU0h8+LALXC7HqbxniLa1shTKYdJGl+KPoCEgjWIQ8MLzk1tlTGPOfg1JsxdH3RxhMCA==",
"dependencies": {
"Microsoft.ApplicationInsights": "2.23.0",
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Extensions.TrxReport.Abstractions": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "uRb+4qM42dFDg4kWJZ2kFEcwESNVCRZJjItp5vETorN3rSJGysP617LqYirOcrCYmxg+obPreHMM5JcsNDKtBw==",
+ "resolved": "2.5.1",
+ "contentHash": "DYTZAguaHz0wNJdHDTTGYOXtnlDoLoIbTMDKSApNNcytm55DJcnwpwELfQGLk5DB5QlgaEjNhnGo1Pu5QvL5VA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Platform": {
"type": "Transitive",
- "resolved": "2.4.1",
- "contentHash": "3nW9NyhN1BnHRF994DCOOUQCqVA9pDT+gPpbuhI/xUntZnGnXO4ySovKxFlFuoT/48pnI74LK/DeKVlve1L3VQ=="
+ "resolved": "2.5.1",
+ "contentHash": "FAMaFFWnULW+hDHMb40Qzhcgz9cAU2/EtgRCBNX/DdQoKo0sPG2EiY+w7bQdl/BgHnf/DbpXLbf5Xy0o15M8NA=="
},
"Microsoft.Testing.Platform.MSBuild": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "qr5M6h16YHMJLFDcWELFVMMpGte2BUmveBZKT5YoBV+bmuJRPu9bv/Zqke4yQuOEKRNxoAETrG5jr+/6Rnr3Hg==",
+ "resolved": "2.5.1",
+ "contentHash": "lYawcAwY+h76rQmpma2n0HaL8zkOFbbKapso0Eb+uOAUQn7333pIByLftEuiO67csAoZufHNMwi6PqhNemWQXA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.VisualStudio.SolutionPersistence": {
@@ -382,70 +382,70 @@
},
"xunit.analyzers": {
"type": "Transitive",
- "resolved": "2.1.0",
- "contentHash": "X7QXEcZQGz0G/HL4HUyK+aAvNa/IMGbOCnFIq4jD/Evktq12xANKwzOUr7b08vCmC1LXu/47qHWOdjm3KfaJ0A=="
+ "resolved": "2.2.0",
+ "contentHash": "dXMIIztipcAyL3a19gtUrih/RLrE33/4VJdICoinYqIXXo1KLtsMPsaQ9dO2pE8xajDguwE2kqVbBqE5/EoJ0Q=="
},
"xunit.v3.assert": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "nC7d3cY06Oo7hkdwWPZkBR0Ud75xNhgx0P7i0GmMMZC3puCGlc4szFiT30biH03IN/eDnr8h+nv3A1UD17bk/A=="
+ "resolved": "4.0.2",
+ "contentHash": "5PKRexYlvufWFdXenRcRGKqvaJBBZFJZpqUGlUs9p13eKEgVdOrLpkPknjzUvLY5kEUicK9871DIUDcCPA6AXA=="
},
"xunit.v3.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Qf25TVdadDQYf9zVxSd7L9RNQhuP0jCUHmo96XTmIKLxGefylIEV63jRbXBPFzdXmV09TCdcurk+AQ9LiWS2Hg==",
+ "resolved": "4.0.2",
+ "contentHash": "++CtT8daIf6qfieQev/8V88U3zViIDWou5cj+oWps1/Hf73UoaY/L0hKyi3v7Zlt3BmbU0pUc73zCB1GiB4nYA==",
"dependencies": {
"Microsoft.Bcl.AsyncInterfaces": "6.0.0"
}
},
"xunit.v3.core.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "7qfTfrIfS2wybpSVyRLmhXHbSudD2eNw66LfukixmKsRCTcfvOrLsx0qGL/lObcEh3Z2F4SIXgoFnLIiB8yfjQ==",
+ "resolved": "4.0.2",
+ "contentHash": "XyPMcQRsnUQLhmBBRRgYWsuPc8TyiANzcXtqfzyWfDpPuyh3Q0K4oWozZYQKZRNGnqJ97ifD6qUDWhsEEe32uw==",
"dependencies": {
- "Microsoft.Testing.Extensions.Telemetry": "2.4.0",
- "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.4.0",
- "Microsoft.Testing.Platform": "2.4.0",
- "Microsoft.Testing.Platform.MSBuild": "2.4.0",
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.inproc.console": "[4.0.1]"
+ "Microsoft.Testing.Extensions.Telemetry": "2.5.1",
+ "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.5.1",
+ "Microsoft.Testing.Platform": "2.5.1",
+ "Microsoft.Testing.Platform.MSBuild": "2.5.1",
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.inproc.console": "[4.0.2]"
}
},
"xunit.v3.extensibility.core": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "J0d5OfFcp920nZxCRIvU14+TZhiSPQR0wvqEMZ3MRiJLPu1VmYlcRNkmcSW0i1DwkB81gAHc+fHUQf/cU64MYg==",
+ "resolved": "4.0.2",
+ "contentHash": "ARTt+pGyd86mdtiFBkKpyBQvRC3u0rr8oidBlII2GsAg7D6TfOsDFCsoQtFij83V5pE57m3whUIqT4xjiARXbQ==",
"dependencies": {
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "s88KiWwDDYgOWV3A+ViJiqCe9cLU/Rt6Gb5TfOC7Abv/HKSoj4IHVPcOQk7jPt7HhZHHEts5IuaVpB30eO5B1w==",
+ "resolved": "4.0.2",
+ "contentHash": "XLV32FhkuvheBStvX0DvjfPEtI+4SOVcIhnlTS+549r8VfVwsjpWdkJtQmQ7D23PA+Zoaqo+sTjBkRSkidC6Tw==",
"dependencies": {
- "xunit.analyzers": "2.1.0",
- "xunit.v3.assert": "[4.0.1]",
- "xunit.v3.core.mtp-v2": "[4.0.1]"
+ "xunit.analyzers": "2.2.0",
+ "xunit.v3.assert": "[4.0.2]",
+ "xunit.v3.core.mtp-v2": "[4.0.2]"
}
},
"xunit.v3.runner.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "p9AyfBpj2e5Iws8B57SbLiSngg7mEdvegHInKR4T2cjt2mis9h8htVgCnmu//agZO4zri6p6VQOj5EkHHTy3gA==",
+ "resolved": "4.0.2",
+ "contentHash": "YlYKVhTJVcwEgJ6rm59Pjf71lQqKwKxEHqVRxWUuwrwm/nxB/mNFP/lP4vlntDO3GclNnLT9BjYOpJH9gViGQg==",
"dependencies": {
"Microsoft.Win32.Registry": "[5.0.0]",
"System.Security.AccessControl": "[6.0.1]",
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.runner.inproc.console": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Hqwfd6ehMIhPmVWUQ2dgmknzuLFTWeyp8ES1q3D4YR5bQVyiXDcaIoaFwqAz2zgLr49WaW4Mz7VVncP7u/Q8/Q==",
+ "resolved": "4.0.2",
+ "contentHash": "cg4XNpCN4Ry9nswutknpreN3ckSUBwtjMRmEQSNK/sIKPo6KN5tDGGGCaHDm5HGA4yFVVtTJX65tLCsZArUNfQ==",
"dependencies": {
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.common": "[4.0.1]"
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.common": "[4.0.2]"
}
},
"equiv.cli": {
@@ -463,7 +463,7 @@
"equiv.core": {
"type": "Project",
"dependencies": {
- "Sarif.Sdk": "[5.7.0, )"
+ "Sarif.Sdk": "[5.8.0, )"
}
},
"equiv.execute": {
@@ -562,9 +562,9 @@
},
"Sarif.Sdk": {
"type": "CentralTransitive",
- "requested": "[5.7.0, )",
- "resolved": "5.7.0",
- "contentHash": "UVBzw+EDLcdj0DLyxypTtGiNqaP3+Zm3RAP3rHoo20jaEzKv9JFvBLOq6chjV9IuKEGcDMgFnB1D+4DmSLjU8w==",
+ "requested": "[5.8.0, )",
+ "resolved": "5.8.0",
+ "contentHash": "7twZQxftcjxGvz2sQ9DysTdMFAm0PWGYzHibN+O25TenFDtJtCWxKLTzoWtX+jXx7biFh9+QzOqh3WwEJtSu8A==",
"dependencies": {
"Microsoft.Diagnostics.Tracing.EventRegister": "1.1.28",
"Microsoft.Diagnostics.Tracing.TraceEvent": "3.1.3",
diff --git a/tests/Equiv.Tests.Integration/packages.lock.json b/tests/Equiv.Tests.Integration/packages.lock.json
index 0104dcce..dea8d78d 100644
--- a/tests/Equiv.Tests.Integration/packages.lock.json
+++ b/tests/Equiv.Tests.Integration/packages.lock.json
@@ -22,9 +22,9 @@
},
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"MinVer": {
"type": "Direct",
@@ -34,9 +34,9 @@
},
"Sarif.Sdk": {
"type": "Direct",
- "requested": "[5.7.0, )",
- "resolved": "5.7.0",
- "contentHash": "UVBzw+EDLcdj0DLyxypTtGiNqaP3+Zm3RAP3rHoo20jaEzKv9JFvBLOq6chjV9IuKEGcDMgFnB1D+4DmSLjU8w==",
+ "requested": "[5.8.0, )",
+ "resolved": "5.8.0",
+ "contentHash": "7twZQxftcjxGvz2sQ9DysTdMFAm0PWGYzHibN+O25TenFDtJtCWxKLTzoWtX+jXx7biFh9+QzOqh3WwEJtSu8A==",
"dependencies": {
"Microsoft.Diagnostics.Tracing.EventRegister": "1.1.28",
"Microsoft.Diagnostics.Tracing.TraceEvent": "3.1.3",
@@ -45,25 +45,25 @@
},
"Verify.XunitV3": {
"type": "Direct",
- "requested": "[33.3.2, )",
- "resolved": "33.3.2",
- "contentHash": "N6F9Rz8GZtyexZovptbhkWMqQ0tafdorUmgOoKAeHMouzWNU0rmYjXxTG19rRa027sIaGALMR+2kPdQhrmNaKQ==",
+ "requested": "[33.3.4, )",
+ "resolved": "33.3.4",
+ "contentHash": "2bEFSlKjrg785+wbN9FZky9o1tu2M4ZeAPdYHPSRw8xG2JEJfCte+egTXli+KvwYAec+35i3qNtlLqFRLKGh+w==",
"dependencies": {
"Argon": "0.38.2",
- "DiffEngine": "20.7.2",
- "Microsoft.Bcl.AsyncInterfaces": "10.0.12",
+ "DiffEngine": "20.8.2",
+ "Microsoft.Bcl.AsyncInterfaces": "10.0.13",
"SimpleInfoName": "3.2.1",
- "Verify": "33.3.2",
- "xunit.v3.extensibility.core": "4.0.1"
+ "Verify": "33.3.4",
+ "xunit.v3.extensibility.core": "4.0.2"
}
},
"xunit.v3": {
"type": "Direct",
- "requested": "[4.0.1, )",
- "resolved": "4.0.1",
- "contentHash": "KpDYf6jFjYfOchuRJOAXPOpwN03hLE1AF4kWzCUSnhr8JZMiGH4BT1YidCcm6BE1H4E90GyJzuKoCwXbg9PXmA==",
+ "requested": "[4.0.2, )",
+ "resolved": "4.0.2",
+ "contentHash": "TdjM2OAx7w/0E88E6PgaigLoTbQaxbSR3HF/8p92plchTjf29jPHW27ylvEOz+Nx8CvPwWKGQlOR1fDv6/Qh5A==",
"dependencies": {
- "xunit.v3.mtp-v2": "[4.0.1]"
+ "xunit.v3.mtp-v2": "[4.0.2]"
}
},
"Argon": {
@@ -73,8 +73,8 @@
},
"DiffEngine": {
"type": "Transitive",
- "resolved": "20.7.2",
- "contentHash": "GULvEiwPjnJp+xBy56wqIewmF7/QrTAw/gQWddgQMSXESpUpjF+1PT+ukHLG5TqNXSs9q8Dp9DDub0eeyKc6ww==",
+ "resolved": "20.8.2",
+ "contentHash": "913FZh0PW/wL53zdx+go/doxQuulU8C6SSgmAHMAuVS/mF1JCYcBgg29F8XkpWEGW0JotbIscsifjlaLwE71bw==",
"dependencies": {
"EmptyFiles": "8.20.1"
}
@@ -96,8 +96,8 @@
},
"Microsoft.Bcl.AsyncInterfaces": {
"type": "Transitive",
- "resolved": "10.0.12",
- "contentHash": "vHPomsJPqUvf1ExdzCCSEUMQqloONPTBMGqNqBUdr4UgSTs9bCzH1oLkuS6WgUgIu+xqWngQbjelUBNlDuzLWQ=="
+ "resolved": "10.0.13",
+ "contentHash": "PEC80XidOaP1vyHWiSIOHOfh6MpkFln/gkLXKaSmjrAdBSwcAaowvOaVBKvnb+HAb2UTGrZqROajIKMVFu2jdw=="
},
"Microsoft.Build.Framework": {
"type": "Transitive",
@@ -282,32 +282,32 @@
},
"Microsoft.Testing.Extensions.Telemetry": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "JeP1RFqBa11fWmBk8xEfZcMKr4rxWSyI6OZ+659V069CaMkTEOQBW2UdSSeNz3absOsygcn7JJkzerC4LGnZ9w==",
+ "resolved": "2.5.1",
+ "contentHash": "mu2iyoHovwl0q1mGeeRU0h8+LALXC7HqbxniLa1shTKYdJGl+KPoCEgjWIQ8MLzk1tlTGPOfg1JsxdH3RxhMCA==",
"dependencies": {
"Microsoft.ApplicationInsights": "2.23.0",
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Extensions.TrxReport.Abstractions": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "uRb+4qM42dFDg4kWJZ2kFEcwESNVCRZJjItp5vETorN3rSJGysP617LqYirOcrCYmxg+obPreHMM5JcsNDKtBw==",
+ "resolved": "2.5.1",
+ "contentHash": "DYTZAguaHz0wNJdHDTTGYOXtnlDoLoIbTMDKSApNNcytm55DJcnwpwELfQGLk5DB5QlgaEjNhnGo1Pu5QvL5VA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Platform": {
"type": "Transitive",
- "resolved": "2.4.1",
- "contentHash": "3nW9NyhN1BnHRF994DCOOUQCqVA9pDT+gPpbuhI/xUntZnGnXO4ySovKxFlFuoT/48pnI74LK/DeKVlve1L3VQ=="
+ "resolved": "2.5.1",
+ "contentHash": "FAMaFFWnULW+hDHMb40Qzhcgz9cAU2/EtgRCBNX/DdQoKo0sPG2EiY+w7bQdl/BgHnf/DbpXLbf5Xy0o15M8NA=="
},
"Microsoft.Testing.Platform.MSBuild": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "qr5M6h16YHMJLFDcWELFVMMpGte2BUmveBZKT5YoBV+bmuJRPu9bv/Zqke4yQuOEKRNxoAETrG5jr+/6Rnr3Hg==",
+ "resolved": "2.5.1",
+ "contentHash": "lYawcAwY+h76rQmpma2n0HaL8zkOFbbKapso0Eb+uOAUQn7333pIByLftEuiO67csAoZufHNMwi6PqhNemWQXA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.VisualStudio.SolutionPersistence": {
@@ -394,80 +394,80 @@
},
"Verify": {
"type": "Transitive",
- "resolved": "33.3.2",
- "contentHash": "c4CrBw4QlcHyHPuk/PBcCWd7iQsc8o506BDRhfeaydwKeEr0wdpKJxQo0pSWl2i6YOfgy3CuXMgq6N6QYkf1jg==",
+ "resolved": "33.3.4",
+ "contentHash": "0Fz2d9Ta0A5lg12V8t3rrEFDEAnJLp8HAMCCQZA6ur3ZLfWlZvah9b2dXZr9H5TipjW+8NEYlie9bsHhKFe+ig==",
"dependencies": {
"Argon": "0.38.2",
- "DiffEngine": "20.7.2",
+ "DiffEngine": "20.8.2",
"SimpleInfoName": "3.2.1"
}
},
"xunit.analyzers": {
"type": "Transitive",
- "resolved": "2.1.0",
- "contentHash": "X7QXEcZQGz0G/HL4HUyK+aAvNa/IMGbOCnFIq4jD/Evktq12xANKwzOUr7b08vCmC1LXu/47qHWOdjm3KfaJ0A=="
+ "resolved": "2.2.0",
+ "contentHash": "dXMIIztipcAyL3a19gtUrih/RLrE33/4VJdICoinYqIXXo1KLtsMPsaQ9dO2pE8xajDguwE2kqVbBqE5/EoJ0Q=="
},
"xunit.v3.assert": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "nC7d3cY06Oo7hkdwWPZkBR0Ud75xNhgx0P7i0GmMMZC3puCGlc4szFiT30biH03IN/eDnr8h+nv3A1UD17bk/A=="
+ "resolved": "4.0.2",
+ "contentHash": "5PKRexYlvufWFdXenRcRGKqvaJBBZFJZpqUGlUs9p13eKEgVdOrLpkPknjzUvLY5kEUicK9871DIUDcCPA6AXA=="
},
"xunit.v3.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Qf25TVdadDQYf9zVxSd7L9RNQhuP0jCUHmo96XTmIKLxGefylIEV63jRbXBPFzdXmV09TCdcurk+AQ9LiWS2Hg==",
+ "resolved": "4.0.2",
+ "contentHash": "++CtT8daIf6qfieQev/8V88U3zViIDWou5cj+oWps1/Hf73UoaY/L0hKyi3v7Zlt3BmbU0pUc73zCB1GiB4nYA==",
"dependencies": {
"Microsoft.Bcl.AsyncInterfaces": "6.0.0"
}
},
"xunit.v3.core.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "7qfTfrIfS2wybpSVyRLmhXHbSudD2eNw66LfukixmKsRCTcfvOrLsx0qGL/lObcEh3Z2F4SIXgoFnLIiB8yfjQ==",
+ "resolved": "4.0.2",
+ "contentHash": "XyPMcQRsnUQLhmBBRRgYWsuPc8TyiANzcXtqfzyWfDpPuyh3Q0K4oWozZYQKZRNGnqJ97ifD6qUDWhsEEe32uw==",
"dependencies": {
- "Microsoft.Testing.Extensions.Telemetry": "2.4.0",
- "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.4.0",
- "Microsoft.Testing.Platform": "2.4.0",
- "Microsoft.Testing.Platform.MSBuild": "2.4.0",
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.inproc.console": "[4.0.1]"
+ "Microsoft.Testing.Extensions.Telemetry": "2.5.1",
+ "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.5.1",
+ "Microsoft.Testing.Platform": "2.5.1",
+ "Microsoft.Testing.Platform.MSBuild": "2.5.1",
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.inproc.console": "[4.0.2]"
}
},
"xunit.v3.extensibility.core": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "J0d5OfFcp920nZxCRIvU14+TZhiSPQR0wvqEMZ3MRiJLPu1VmYlcRNkmcSW0i1DwkB81gAHc+fHUQf/cU64MYg==",
+ "resolved": "4.0.2",
+ "contentHash": "ARTt+pGyd86mdtiFBkKpyBQvRC3u0rr8oidBlII2GsAg7D6TfOsDFCsoQtFij83V5pE57m3whUIqT4xjiARXbQ==",
"dependencies": {
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "s88KiWwDDYgOWV3A+ViJiqCe9cLU/Rt6Gb5TfOC7Abv/HKSoj4IHVPcOQk7jPt7HhZHHEts5IuaVpB30eO5B1w==",
+ "resolved": "4.0.2",
+ "contentHash": "XLV32FhkuvheBStvX0DvjfPEtI+4SOVcIhnlTS+549r8VfVwsjpWdkJtQmQ7D23PA+Zoaqo+sTjBkRSkidC6Tw==",
"dependencies": {
- "xunit.analyzers": "2.1.0",
- "xunit.v3.assert": "[4.0.1]",
- "xunit.v3.core.mtp-v2": "[4.0.1]"
+ "xunit.analyzers": "2.2.0",
+ "xunit.v3.assert": "[4.0.2]",
+ "xunit.v3.core.mtp-v2": "[4.0.2]"
}
},
"xunit.v3.runner.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "p9AyfBpj2e5Iws8B57SbLiSngg7mEdvegHInKR4T2cjt2mis9h8htVgCnmu//agZO4zri6p6VQOj5EkHHTy3gA==",
+ "resolved": "4.0.2",
+ "contentHash": "YlYKVhTJVcwEgJ6rm59Pjf71lQqKwKxEHqVRxWUuwrwm/nxB/mNFP/lP4vlntDO3GclNnLT9BjYOpJH9gViGQg==",
"dependencies": {
"Microsoft.Win32.Registry": "[5.0.0]",
"System.Security.AccessControl": "[6.0.1]",
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.runner.inproc.console": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Hqwfd6ehMIhPmVWUQ2dgmknzuLFTWeyp8ES1q3D4YR5bQVyiXDcaIoaFwqAz2zgLr49WaW4Mz7VVncP7u/Q8/Q==",
+ "resolved": "4.0.2",
+ "contentHash": "cg4XNpCN4Ry9nswutknpreN3ckSUBwtjMRmEQSNK/sIKPo6KN5tDGGGCaHDm5HGA4yFVVtTJX65tLCsZArUNfQ==",
"dependencies": {
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.common": "[4.0.1]"
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.common": "[4.0.2]"
}
},
"equiv.cli": {
@@ -485,7 +485,7 @@
"equiv.core": {
"type": "Project",
"dependencies": {
- "Sarif.Sdk": "[5.7.0, )"
+ "Sarif.Sdk": "[5.8.0, )"
}
},
"equiv.corpus.seeder": {
diff --git a/tests/Equiv.Verify.Cvc5.Tests/packages.lock.json b/tests/Equiv.Verify.Cvc5.Tests/packages.lock.json
index 9636e0ae..67f028a7 100644
--- a/tests/Equiv.Verify.Cvc5.Tests/packages.lock.json
+++ b/tests/Equiv.Verify.Cvc5.Tests/packages.lock.json
@@ -16,9 +16,9 @@
},
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"MinVer": {
"type": "Direct",
@@ -28,11 +28,11 @@
},
"xunit.v3": {
"type": "Direct",
- "requested": "[4.0.1, )",
- "resolved": "4.0.1",
- "contentHash": "KpDYf6jFjYfOchuRJOAXPOpwN03hLE1AF4kWzCUSnhr8JZMiGH4BT1YidCcm6BE1H4E90GyJzuKoCwXbg9PXmA==",
+ "requested": "[4.0.2, )",
+ "resolved": "4.0.2",
+ "contentHash": "TdjM2OAx7w/0E88E6PgaigLoTbQaxbSR3HF/8p92plchTjf29jPHW27ylvEOz+Nx8CvPwWKGQlOR1fDv6/Qh5A==",
"dependencies": {
- "xunit.v3.mtp-v2": "[4.0.1]"
+ "xunit.v3.mtp-v2": "[4.0.2]"
}
},
"Microsoft.ApplicationInsights": {
@@ -138,32 +138,32 @@
},
"Microsoft.Testing.Extensions.Telemetry": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "JeP1RFqBa11fWmBk8xEfZcMKr4rxWSyI6OZ+659V069CaMkTEOQBW2UdSSeNz3absOsygcn7JJkzerC4LGnZ9w==",
+ "resolved": "2.5.1",
+ "contentHash": "mu2iyoHovwl0q1mGeeRU0h8+LALXC7HqbxniLa1shTKYdJGl+KPoCEgjWIQ8MLzk1tlTGPOfg1JsxdH3RxhMCA==",
"dependencies": {
"Microsoft.ApplicationInsights": "2.23.0",
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Extensions.TrxReport.Abstractions": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "uRb+4qM42dFDg4kWJZ2kFEcwESNVCRZJjItp5vETorN3rSJGysP617LqYirOcrCYmxg+obPreHMM5JcsNDKtBw==",
+ "resolved": "2.5.1",
+ "contentHash": "DYTZAguaHz0wNJdHDTTGYOXtnlDoLoIbTMDKSApNNcytm55DJcnwpwELfQGLk5DB5QlgaEjNhnGo1Pu5QvL5VA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Platform": {
"type": "Transitive",
- "resolved": "2.4.1",
- "contentHash": "3nW9NyhN1BnHRF994DCOOUQCqVA9pDT+gPpbuhI/xUntZnGnXO4ySovKxFlFuoT/48pnI74LK/DeKVlve1L3VQ=="
+ "resolved": "2.5.1",
+ "contentHash": "FAMaFFWnULW+hDHMb40Qzhcgz9cAU2/EtgRCBNX/DdQoKo0sPG2EiY+w7bQdl/BgHnf/DbpXLbf5Xy0o15M8NA=="
},
"Microsoft.Testing.Platform.MSBuild": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "qr5M6h16YHMJLFDcWELFVMMpGte2BUmveBZKT5YoBV+bmuJRPu9bv/Zqke4yQuOEKRNxoAETrG5jr+/6Rnr3Hg==",
+ "resolved": "2.5.1",
+ "contentHash": "lYawcAwY+h76rQmpma2n0HaL8zkOFbbKapso0Eb+uOAUQn7333pIByLftEuiO67csAoZufHNMwi6PqhNemWQXA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Win32.Registry": {
@@ -183,76 +183,76 @@
},
"xunit.analyzers": {
"type": "Transitive",
- "resolved": "2.1.0",
- "contentHash": "X7QXEcZQGz0G/HL4HUyK+aAvNa/IMGbOCnFIq4jD/Evktq12xANKwzOUr7b08vCmC1LXu/47qHWOdjm3KfaJ0A=="
+ "resolved": "2.2.0",
+ "contentHash": "dXMIIztipcAyL3a19gtUrih/RLrE33/4VJdICoinYqIXXo1KLtsMPsaQ9dO2pE8xajDguwE2kqVbBqE5/EoJ0Q=="
},
"xunit.v3.assert": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "nC7d3cY06Oo7hkdwWPZkBR0Ud75xNhgx0P7i0GmMMZC3puCGlc4szFiT30biH03IN/eDnr8h+nv3A1UD17bk/A=="
+ "resolved": "4.0.2",
+ "contentHash": "5PKRexYlvufWFdXenRcRGKqvaJBBZFJZpqUGlUs9p13eKEgVdOrLpkPknjzUvLY5kEUicK9871DIUDcCPA6AXA=="
},
"xunit.v3.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Qf25TVdadDQYf9zVxSd7L9RNQhuP0jCUHmo96XTmIKLxGefylIEV63jRbXBPFzdXmV09TCdcurk+AQ9LiWS2Hg==",
+ "resolved": "4.0.2",
+ "contentHash": "++CtT8daIf6qfieQev/8V88U3zViIDWou5cj+oWps1/Hf73UoaY/L0hKyi3v7Zlt3BmbU0pUc73zCB1GiB4nYA==",
"dependencies": {
"Microsoft.Bcl.AsyncInterfaces": "6.0.0"
}
},
"xunit.v3.core.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "7qfTfrIfS2wybpSVyRLmhXHbSudD2eNw66LfukixmKsRCTcfvOrLsx0qGL/lObcEh3Z2F4SIXgoFnLIiB8yfjQ==",
+ "resolved": "4.0.2",
+ "contentHash": "XyPMcQRsnUQLhmBBRRgYWsuPc8TyiANzcXtqfzyWfDpPuyh3Q0K4oWozZYQKZRNGnqJ97ifD6qUDWhsEEe32uw==",
"dependencies": {
- "Microsoft.Testing.Extensions.Telemetry": "2.4.0",
- "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.4.0",
- "Microsoft.Testing.Platform": "2.4.0",
- "Microsoft.Testing.Platform.MSBuild": "2.4.0",
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.inproc.console": "[4.0.1]"
+ "Microsoft.Testing.Extensions.Telemetry": "2.5.1",
+ "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.5.1",
+ "Microsoft.Testing.Platform": "2.5.1",
+ "Microsoft.Testing.Platform.MSBuild": "2.5.1",
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.inproc.console": "[4.0.2]"
}
},
"xunit.v3.extensibility.core": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "J0d5OfFcp920nZxCRIvU14+TZhiSPQR0wvqEMZ3MRiJLPu1VmYlcRNkmcSW0i1DwkB81gAHc+fHUQf/cU64MYg==",
+ "resolved": "4.0.2",
+ "contentHash": "ARTt+pGyd86mdtiFBkKpyBQvRC3u0rr8oidBlII2GsAg7D6TfOsDFCsoQtFij83V5pE57m3whUIqT4xjiARXbQ==",
"dependencies": {
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "s88KiWwDDYgOWV3A+ViJiqCe9cLU/Rt6Gb5TfOC7Abv/HKSoj4IHVPcOQk7jPt7HhZHHEts5IuaVpB30eO5B1w==",
+ "resolved": "4.0.2",
+ "contentHash": "XLV32FhkuvheBStvX0DvjfPEtI+4SOVcIhnlTS+549r8VfVwsjpWdkJtQmQ7D23PA+Zoaqo+sTjBkRSkidC6Tw==",
"dependencies": {
- "xunit.analyzers": "2.1.0",
- "xunit.v3.assert": "[4.0.1]",
- "xunit.v3.core.mtp-v2": "[4.0.1]"
+ "xunit.analyzers": "2.2.0",
+ "xunit.v3.assert": "[4.0.2]",
+ "xunit.v3.core.mtp-v2": "[4.0.2]"
}
},
"xunit.v3.runner.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "p9AyfBpj2e5Iws8B57SbLiSngg7mEdvegHInKR4T2cjt2mis9h8htVgCnmu//agZO4zri6p6VQOj5EkHHTy3gA==",
+ "resolved": "4.0.2",
+ "contentHash": "YlYKVhTJVcwEgJ6rm59Pjf71lQqKwKxEHqVRxWUuwrwm/nxB/mNFP/lP4vlntDO3GclNnLT9BjYOpJH9gViGQg==",
"dependencies": {
"Microsoft.Win32.Registry": "[5.0.0]",
"System.Security.AccessControl": "[6.0.1]",
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.runner.inproc.console": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Hqwfd6ehMIhPmVWUQ2dgmknzuLFTWeyp8ES1q3D4YR5bQVyiXDcaIoaFwqAz2zgLr49WaW4Mz7VVncP7u/Q8/Q==",
+ "resolved": "4.0.2",
+ "contentHash": "cg4XNpCN4Ry9nswutknpreN3ckSUBwtjMRmEQSNK/sIKPo6KN5tDGGGCaHDm5HGA4yFVVtTJX65tLCsZArUNfQ==",
"dependencies": {
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.common": "[4.0.1]"
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.common": "[4.0.2]"
}
},
"equiv.core": {
"type": "Project",
"dependencies": {
- "Sarif.Sdk": "[5.7.0, )"
+ "Sarif.Sdk": "[5.8.0, )"
}
},
"equiv.verify.cvc5": {
@@ -263,9 +263,9 @@
},
"Sarif.Sdk": {
"type": "CentralTransitive",
- "requested": "[5.7.0, )",
- "resolved": "5.7.0",
- "contentHash": "UVBzw+EDLcdj0DLyxypTtGiNqaP3+Zm3RAP3rHoo20jaEzKv9JFvBLOq6chjV9IuKEGcDMgFnB1D+4DmSLjU8w==",
+ "requested": "[5.8.0, )",
+ "resolved": "5.8.0",
+ "contentHash": "7twZQxftcjxGvz2sQ9DysTdMFAm0PWGYzHibN+O25TenFDtJtCWxKLTzoWtX+jXx7biFh9+QzOqh3WwEJtSu8A==",
"dependencies": {
"Microsoft.Diagnostics.Tracing.EventRegister": "1.1.28",
"Microsoft.Diagnostics.Tracing.TraceEvent": "3.1.3",
diff --git a/tests/Equiv.Verify.Z3.Tests/packages.lock.json b/tests/Equiv.Verify.Z3.Tests/packages.lock.json
index e240e628..89db628b 100644
--- a/tests/Equiv.Verify.Z3.Tests/packages.lock.json
+++ b/tests/Equiv.Verify.Z3.Tests/packages.lock.json
@@ -22,9 +22,9 @@
},
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"MinVer": {
"type": "Direct",
@@ -34,25 +34,25 @@
},
"Verify.XunitV3": {
"type": "Direct",
- "requested": "[33.3.2, )",
- "resolved": "33.3.2",
- "contentHash": "N6F9Rz8GZtyexZovptbhkWMqQ0tafdorUmgOoKAeHMouzWNU0rmYjXxTG19rRa027sIaGALMR+2kPdQhrmNaKQ==",
+ "requested": "[33.3.4, )",
+ "resolved": "33.3.4",
+ "contentHash": "2bEFSlKjrg785+wbN9FZky9o1tu2M4ZeAPdYHPSRw8xG2JEJfCte+egTXli+KvwYAec+35i3qNtlLqFRLKGh+w==",
"dependencies": {
"Argon": "0.38.2",
- "DiffEngine": "20.7.2",
- "Microsoft.Bcl.AsyncInterfaces": "10.0.12",
+ "DiffEngine": "20.8.2",
+ "Microsoft.Bcl.AsyncInterfaces": "10.0.13",
"SimpleInfoName": "3.2.1",
- "Verify": "33.3.2",
- "xunit.v3.extensibility.core": "4.0.1"
+ "Verify": "33.3.4",
+ "xunit.v3.extensibility.core": "4.0.2"
}
},
"xunit.v3": {
"type": "Direct",
- "requested": "[4.0.1, )",
- "resolved": "4.0.1",
- "contentHash": "KpDYf6jFjYfOchuRJOAXPOpwN03hLE1AF4kWzCUSnhr8JZMiGH4BT1YidCcm6BE1H4E90GyJzuKoCwXbg9PXmA==",
+ "requested": "[4.0.2, )",
+ "resolved": "4.0.2",
+ "contentHash": "TdjM2OAx7w/0E88E6PgaigLoTbQaxbSR3HF/8p92plchTjf29jPHW27ylvEOz+Nx8CvPwWKGQlOR1fDv6/Qh5A==",
"dependencies": {
- "xunit.v3.mtp-v2": "[4.0.1]"
+ "xunit.v3.mtp-v2": "[4.0.2]"
}
},
"Argon": {
@@ -62,8 +62,8 @@
},
"DiffEngine": {
"type": "Transitive",
- "resolved": "20.7.2",
- "contentHash": "GULvEiwPjnJp+xBy56wqIewmF7/QrTAw/gQWddgQMSXESpUpjF+1PT+ukHLG5TqNXSs9q8Dp9DDub0eeyKc6ww==",
+ "resolved": "20.8.2",
+ "contentHash": "913FZh0PW/wL53zdx+go/doxQuulU8C6SSgmAHMAuVS/mF1JCYcBgg29F8XkpWEGW0JotbIscsifjlaLwE71bw==",
"dependencies": {
"EmptyFiles": "8.20.1"
}
@@ -80,8 +80,8 @@
},
"Microsoft.Bcl.AsyncInterfaces": {
"type": "Transitive",
- "resolved": "10.0.12",
- "contentHash": "vHPomsJPqUvf1ExdzCCSEUMQqloONPTBMGqNqBUdr4UgSTs9bCzH1oLkuS6WgUgIu+xqWngQbjelUBNlDuzLWQ=="
+ "resolved": "10.0.13",
+ "contentHash": "PEC80XidOaP1vyHWiSIOHOfh6MpkFln/gkLXKaSmjrAdBSwcAaowvOaVBKvnb+HAb2UTGrZqROajIKMVFu2jdw=="
},
"Microsoft.CodeAnalysis.Analyzers": {
"type": "Transitive",
@@ -189,32 +189,32 @@
},
"Microsoft.Testing.Extensions.Telemetry": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "JeP1RFqBa11fWmBk8xEfZcMKr4rxWSyI6OZ+659V069CaMkTEOQBW2UdSSeNz3absOsygcn7JJkzerC4LGnZ9w==",
+ "resolved": "2.5.1",
+ "contentHash": "mu2iyoHovwl0q1mGeeRU0h8+LALXC7HqbxniLa1shTKYdJGl+KPoCEgjWIQ8MLzk1tlTGPOfg1JsxdH3RxhMCA==",
"dependencies": {
"Microsoft.ApplicationInsights": "2.23.0",
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Extensions.TrxReport.Abstractions": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "uRb+4qM42dFDg4kWJZ2kFEcwESNVCRZJjItp5vETorN3rSJGysP617LqYirOcrCYmxg+obPreHMM5JcsNDKtBw==",
+ "resolved": "2.5.1",
+ "contentHash": "DYTZAguaHz0wNJdHDTTGYOXtnlDoLoIbTMDKSApNNcytm55DJcnwpwELfQGLk5DB5QlgaEjNhnGo1Pu5QvL5VA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Platform": {
"type": "Transitive",
- "resolved": "2.4.1",
- "contentHash": "3nW9NyhN1BnHRF994DCOOUQCqVA9pDT+gPpbuhI/xUntZnGnXO4ySovKxFlFuoT/48pnI74LK/DeKVlve1L3VQ=="
+ "resolved": "2.5.1",
+ "contentHash": "FAMaFFWnULW+hDHMb40Qzhcgz9cAU2/EtgRCBNX/DdQoKo0sPG2EiY+w7bQdl/BgHnf/DbpXLbf5Xy0o15M8NA=="
},
"Microsoft.Testing.Platform.MSBuild": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "qr5M6h16YHMJLFDcWELFVMMpGte2BUmveBZKT5YoBV+bmuJRPu9bv/Zqke4yQuOEKRNxoAETrG5jr+/6Rnr3Hg==",
+ "resolved": "2.5.1",
+ "contentHash": "lYawcAwY+h76rQmpma2n0HaL8zkOFbbKapso0Eb+uOAUQn7333pIByLftEuiO67csAoZufHNMwi6PqhNemWQXA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Win32.Registry": {
@@ -239,86 +239,86 @@
},
"Verify": {
"type": "Transitive",
- "resolved": "33.3.2",
- "contentHash": "c4CrBw4QlcHyHPuk/PBcCWd7iQsc8o506BDRhfeaydwKeEr0wdpKJxQo0pSWl2i6YOfgy3CuXMgq6N6QYkf1jg==",
+ "resolved": "33.3.4",
+ "contentHash": "0Fz2d9Ta0A5lg12V8t3rrEFDEAnJLp8HAMCCQZA6ur3ZLfWlZvah9b2dXZr9H5TipjW+8NEYlie9bsHhKFe+ig==",
"dependencies": {
"Argon": "0.38.2",
- "DiffEngine": "20.7.2",
+ "DiffEngine": "20.8.2",
"SimpleInfoName": "3.2.1"
}
},
"xunit.analyzers": {
"type": "Transitive",
- "resolved": "2.1.0",
- "contentHash": "X7QXEcZQGz0G/HL4HUyK+aAvNa/IMGbOCnFIq4jD/Evktq12xANKwzOUr7b08vCmC1LXu/47qHWOdjm3KfaJ0A=="
+ "resolved": "2.2.0",
+ "contentHash": "dXMIIztipcAyL3a19gtUrih/RLrE33/4VJdICoinYqIXXo1KLtsMPsaQ9dO2pE8xajDguwE2kqVbBqE5/EoJ0Q=="
},
"xunit.v3.assert": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "nC7d3cY06Oo7hkdwWPZkBR0Ud75xNhgx0P7i0GmMMZC3puCGlc4szFiT30biH03IN/eDnr8h+nv3A1UD17bk/A=="
+ "resolved": "4.0.2",
+ "contentHash": "5PKRexYlvufWFdXenRcRGKqvaJBBZFJZpqUGlUs9p13eKEgVdOrLpkPknjzUvLY5kEUicK9871DIUDcCPA6AXA=="
},
"xunit.v3.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Qf25TVdadDQYf9zVxSd7L9RNQhuP0jCUHmo96XTmIKLxGefylIEV63jRbXBPFzdXmV09TCdcurk+AQ9LiWS2Hg==",
+ "resolved": "4.0.2",
+ "contentHash": "++CtT8daIf6qfieQev/8V88U3zViIDWou5cj+oWps1/Hf73UoaY/L0hKyi3v7Zlt3BmbU0pUc73zCB1GiB4nYA==",
"dependencies": {
"Microsoft.Bcl.AsyncInterfaces": "6.0.0"
}
},
"xunit.v3.core.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "7qfTfrIfS2wybpSVyRLmhXHbSudD2eNw66LfukixmKsRCTcfvOrLsx0qGL/lObcEh3Z2F4SIXgoFnLIiB8yfjQ==",
+ "resolved": "4.0.2",
+ "contentHash": "XyPMcQRsnUQLhmBBRRgYWsuPc8TyiANzcXtqfzyWfDpPuyh3Q0K4oWozZYQKZRNGnqJ97ifD6qUDWhsEEe32uw==",
"dependencies": {
- "Microsoft.Testing.Extensions.Telemetry": "2.4.0",
- "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.4.0",
- "Microsoft.Testing.Platform": "2.4.0",
- "Microsoft.Testing.Platform.MSBuild": "2.4.0",
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.inproc.console": "[4.0.1]"
+ "Microsoft.Testing.Extensions.Telemetry": "2.5.1",
+ "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.5.1",
+ "Microsoft.Testing.Platform": "2.5.1",
+ "Microsoft.Testing.Platform.MSBuild": "2.5.1",
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.inproc.console": "[4.0.2]"
}
},
"xunit.v3.extensibility.core": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "J0d5OfFcp920nZxCRIvU14+TZhiSPQR0wvqEMZ3MRiJLPu1VmYlcRNkmcSW0i1DwkB81gAHc+fHUQf/cU64MYg==",
+ "resolved": "4.0.2",
+ "contentHash": "ARTt+pGyd86mdtiFBkKpyBQvRC3u0rr8oidBlII2GsAg7D6TfOsDFCsoQtFij83V5pE57m3whUIqT4xjiARXbQ==",
"dependencies": {
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "s88KiWwDDYgOWV3A+ViJiqCe9cLU/Rt6Gb5TfOC7Abv/HKSoj4IHVPcOQk7jPt7HhZHHEts5IuaVpB30eO5B1w==",
+ "resolved": "4.0.2",
+ "contentHash": "XLV32FhkuvheBStvX0DvjfPEtI+4SOVcIhnlTS+549r8VfVwsjpWdkJtQmQ7D23PA+Zoaqo+sTjBkRSkidC6Tw==",
"dependencies": {
- "xunit.analyzers": "2.1.0",
- "xunit.v3.assert": "[4.0.1]",
- "xunit.v3.core.mtp-v2": "[4.0.1]"
+ "xunit.analyzers": "2.2.0",
+ "xunit.v3.assert": "[4.0.2]",
+ "xunit.v3.core.mtp-v2": "[4.0.2]"
}
},
"xunit.v3.runner.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "p9AyfBpj2e5Iws8B57SbLiSngg7mEdvegHInKR4T2cjt2mis9h8htVgCnmu//agZO4zri6p6VQOj5EkHHTy3gA==",
+ "resolved": "4.0.2",
+ "contentHash": "YlYKVhTJVcwEgJ6rm59Pjf71lQqKwKxEHqVRxWUuwrwm/nxB/mNFP/lP4vlntDO3GclNnLT9BjYOpJH9gViGQg==",
"dependencies": {
"Microsoft.Win32.Registry": "[5.0.0]",
"System.Security.AccessControl": "[6.0.1]",
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.runner.inproc.console": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Hqwfd6ehMIhPmVWUQ2dgmknzuLFTWeyp8ES1q3D4YR5bQVyiXDcaIoaFwqAz2zgLr49WaW4Mz7VVncP7u/Q8/Q==",
+ "resolved": "4.0.2",
+ "contentHash": "cg4XNpCN4Ry9nswutknpreN3ckSUBwtjMRmEQSNK/sIKPo6KN5tDGGGCaHDm5HGA4yFVVtTJX65tLCsZArUNfQ==",
"dependencies": {
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.common": "[4.0.1]"
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.common": "[4.0.2]"
}
},
"equiv.core": {
"type": "Project",
"dependencies": {
- "Sarif.Sdk": "[5.7.0, )"
+ "Sarif.Sdk": "[5.8.0, )"
}
},
"equiv.corpus.seeder": {
@@ -360,9 +360,9 @@
},
"Sarif.Sdk": {
"type": "CentralTransitive",
- "requested": "[5.7.0, )",
- "resolved": "5.7.0",
- "contentHash": "UVBzw+EDLcdj0DLyxypTtGiNqaP3+Zm3RAP3rHoo20jaEzKv9JFvBLOq6chjV9IuKEGcDMgFnB1D+4DmSLjU8w==",
+ "requested": "[5.8.0, )",
+ "resolved": "5.8.0",
+ "contentHash": "7twZQxftcjxGvz2sQ9DysTdMFAm0PWGYzHibN+O25TenFDtJtCWxKLTzoWtX+jXx7biFh9+QzOqh3WwEJtSu8A==",
"dependencies": {
"Microsoft.Diagnostics.Tracing.EventRegister": "1.1.28",
"Microsoft.Diagnostics.Tracing.TraceEvent": "3.1.3",
diff --git a/tools/check-coverage.Tests/packages.lock.json b/tools/check-coverage.Tests/packages.lock.json
index 3d6e43d6..170f8e8d 100644
--- a/tools/check-coverage.Tests/packages.lock.json
+++ b/tools/check-coverage.Tests/packages.lock.json
@@ -16,9 +16,9 @@
},
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"MinVer": {
"type": "Direct",
@@ -28,11 +28,11 @@
},
"xunit.v3": {
"type": "Direct",
- "requested": "[4.0.1, )",
- "resolved": "4.0.1",
- "contentHash": "KpDYf6jFjYfOchuRJOAXPOpwN03hLE1AF4kWzCUSnhr8JZMiGH4BT1YidCcm6BE1H4E90GyJzuKoCwXbg9PXmA==",
+ "requested": "[4.0.2, )",
+ "resolved": "4.0.2",
+ "contentHash": "TdjM2OAx7w/0E88E6PgaigLoTbQaxbSR3HF/8p92plchTjf29jPHW27ylvEOz+Nx8CvPwWKGQlOR1fDv6/Qh5A==",
"dependencies": {
- "xunit.v3.mtp-v2": "[4.0.1]"
+ "xunit.v3.mtp-v2": "[4.0.2]"
}
},
"Microsoft.ApplicationInsights": {
@@ -128,32 +128,32 @@
},
"Microsoft.Testing.Extensions.Telemetry": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "JeP1RFqBa11fWmBk8xEfZcMKr4rxWSyI6OZ+659V069CaMkTEOQBW2UdSSeNz3absOsygcn7JJkzerC4LGnZ9w==",
+ "resolved": "2.5.1",
+ "contentHash": "mu2iyoHovwl0q1mGeeRU0h8+LALXC7HqbxniLa1shTKYdJGl+KPoCEgjWIQ8MLzk1tlTGPOfg1JsxdH3RxhMCA==",
"dependencies": {
"Microsoft.ApplicationInsights": "2.23.0",
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Extensions.TrxReport.Abstractions": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "uRb+4qM42dFDg4kWJZ2kFEcwESNVCRZJjItp5vETorN3rSJGysP617LqYirOcrCYmxg+obPreHMM5JcsNDKtBw==",
+ "resolved": "2.5.1",
+ "contentHash": "DYTZAguaHz0wNJdHDTTGYOXtnlDoLoIbTMDKSApNNcytm55DJcnwpwELfQGLk5DB5QlgaEjNhnGo1Pu5QvL5VA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Platform": {
"type": "Transitive",
- "resolved": "2.4.1",
- "contentHash": "3nW9NyhN1BnHRF994DCOOUQCqVA9pDT+gPpbuhI/xUntZnGnXO4ySovKxFlFuoT/48pnI74LK/DeKVlve1L3VQ=="
+ "resolved": "2.5.1",
+ "contentHash": "FAMaFFWnULW+hDHMb40Qzhcgz9cAU2/EtgRCBNX/DdQoKo0sPG2EiY+w7bQdl/BgHnf/DbpXLbf5Xy0o15M8NA=="
},
"Microsoft.Testing.Platform.MSBuild": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "qr5M6h16YHMJLFDcWELFVMMpGte2BUmveBZKT5YoBV+bmuJRPu9bv/Zqke4yQuOEKRNxoAETrG5jr+/6Rnr3Hg==",
+ "resolved": "2.5.1",
+ "contentHash": "lYawcAwY+h76rQmpma2n0HaL8zkOFbbKapso0Eb+uOAUQn7333pIByLftEuiO67csAoZufHNMwi6PqhNemWQXA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Win32.Registry": {
@@ -168,70 +168,70 @@
},
"xunit.analyzers": {
"type": "Transitive",
- "resolved": "2.1.0",
- "contentHash": "X7QXEcZQGz0G/HL4HUyK+aAvNa/IMGbOCnFIq4jD/Evktq12xANKwzOUr7b08vCmC1LXu/47qHWOdjm3KfaJ0A=="
+ "resolved": "2.2.0",
+ "contentHash": "dXMIIztipcAyL3a19gtUrih/RLrE33/4VJdICoinYqIXXo1KLtsMPsaQ9dO2pE8xajDguwE2kqVbBqE5/EoJ0Q=="
},
"xunit.v3.assert": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "nC7d3cY06Oo7hkdwWPZkBR0Ud75xNhgx0P7i0GmMMZC3puCGlc4szFiT30biH03IN/eDnr8h+nv3A1UD17bk/A=="
+ "resolved": "4.0.2",
+ "contentHash": "5PKRexYlvufWFdXenRcRGKqvaJBBZFJZpqUGlUs9p13eKEgVdOrLpkPknjzUvLY5kEUicK9871DIUDcCPA6AXA=="
},
"xunit.v3.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Qf25TVdadDQYf9zVxSd7L9RNQhuP0jCUHmo96XTmIKLxGefylIEV63jRbXBPFzdXmV09TCdcurk+AQ9LiWS2Hg==",
+ "resolved": "4.0.2",
+ "contentHash": "++CtT8daIf6qfieQev/8V88U3zViIDWou5cj+oWps1/Hf73UoaY/L0hKyi3v7Zlt3BmbU0pUc73zCB1GiB4nYA==",
"dependencies": {
"Microsoft.Bcl.AsyncInterfaces": "6.0.0"
}
},
"xunit.v3.core.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "7qfTfrIfS2wybpSVyRLmhXHbSudD2eNw66LfukixmKsRCTcfvOrLsx0qGL/lObcEh3Z2F4SIXgoFnLIiB8yfjQ==",
+ "resolved": "4.0.2",
+ "contentHash": "XyPMcQRsnUQLhmBBRRgYWsuPc8TyiANzcXtqfzyWfDpPuyh3Q0K4oWozZYQKZRNGnqJ97ifD6qUDWhsEEe32uw==",
"dependencies": {
- "Microsoft.Testing.Extensions.Telemetry": "2.4.0",
- "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.4.0",
- "Microsoft.Testing.Platform": "2.4.0",
- "Microsoft.Testing.Platform.MSBuild": "2.4.0",
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.inproc.console": "[4.0.1]"
+ "Microsoft.Testing.Extensions.Telemetry": "2.5.1",
+ "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.5.1",
+ "Microsoft.Testing.Platform": "2.5.1",
+ "Microsoft.Testing.Platform.MSBuild": "2.5.1",
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.inproc.console": "[4.0.2]"
}
},
"xunit.v3.extensibility.core": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "J0d5OfFcp920nZxCRIvU14+TZhiSPQR0wvqEMZ3MRiJLPu1VmYlcRNkmcSW0i1DwkB81gAHc+fHUQf/cU64MYg==",
+ "resolved": "4.0.2",
+ "contentHash": "ARTt+pGyd86mdtiFBkKpyBQvRC3u0rr8oidBlII2GsAg7D6TfOsDFCsoQtFij83V5pE57m3whUIqT4xjiARXbQ==",
"dependencies": {
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "s88KiWwDDYgOWV3A+ViJiqCe9cLU/Rt6Gb5TfOC7Abv/HKSoj4IHVPcOQk7jPt7HhZHHEts5IuaVpB30eO5B1w==",
+ "resolved": "4.0.2",
+ "contentHash": "XLV32FhkuvheBStvX0DvjfPEtI+4SOVcIhnlTS+549r8VfVwsjpWdkJtQmQ7D23PA+Zoaqo+sTjBkRSkidC6Tw==",
"dependencies": {
- "xunit.analyzers": "2.1.0",
- "xunit.v3.assert": "[4.0.1]",
- "xunit.v3.core.mtp-v2": "[4.0.1]"
+ "xunit.analyzers": "2.2.0",
+ "xunit.v3.assert": "[4.0.2]",
+ "xunit.v3.core.mtp-v2": "[4.0.2]"
}
},
"xunit.v3.runner.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "p9AyfBpj2e5Iws8B57SbLiSngg7mEdvegHInKR4T2cjt2mis9h8htVgCnmu//agZO4zri6p6VQOj5EkHHTy3gA==",
+ "resolved": "4.0.2",
+ "contentHash": "YlYKVhTJVcwEgJ6rm59Pjf71lQqKwKxEHqVRxWUuwrwm/nxB/mNFP/lP4vlntDO3GclNnLT9BjYOpJH9gViGQg==",
"dependencies": {
"Microsoft.Win32.Registry": "[5.0.0]",
"System.Security.AccessControl": "[6.0.1]",
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.runner.inproc.console": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Hqwfd6ehMIhPmVWUQ2dgmknzuLFTWeyp8ES1q3D4YR5bQVyiXDcaIoaFwqAz2zgLr49WaW4Mz7VVncP7u/Q8/Q==",
+ "resolved": "4.0.2",
+ "contentHash": "cg4XNpCN4Ry9nswutknpreN3ckSUBwtjMRmEQSNK/sIKPo6KN5tDGGGCaHDm5HGA4yFVVtTJX65tLCsZArUNfQ==",
"dependencies": {
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.common": "[4.0.1]"
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.common": "[4.0.2]"
}
},
"CheckCoverage": {
diff --git a/tools/check-coverage/packages.lock.json b/tools/check-coverage/packages.lock.json
index 96b53ba7..154860f6 100644
--- a/tools/check-coverage/packages.lock.json
+++ b/tools/check-coverage/packages.lock.json
@@ -4,9 +4,9 @@
"net10.0": {
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"MinVer": {
"type": "Direct",
diff --git a/tools/corpus/seeder.Tests/packages.lock.json b/tools/corpus/seeder.Tests/packages.lock.json
index 6ea4d6d2..ebb73d00 100644
--- a/tools/corpus/seeder.Tests/packages.lock.json
+++ b/tools/corpus/seeder.Tests/packages.lock.json
@@ -16,9 +16,9 @@
},
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"MinVer": {
"type": "Direct",
@@ -28,11 +28,11 @@
},
"xunit.v3": {
"type": "Direct",
- "requested": "[4.0.1, )",
- "resolved": "4.0.1",
- "contentHash": "KpDYf6jFjYfOchuRJOAXPOpwN03hLE1AF4kWzCUSnhr8JZMiGH4BT1YidCcm6BE1H4E90GyJzuKoCwXbg9PXmA==",
+ "requested": "[4.0.2, )",
+ "resolved": "4.0.2",
+ "contentHash": "TdjM2OAx7w/0E88E6PgaigLoTbQaxbSR3HF/8p92plchTjf29jPHW27ylvEOz+Nx8CvPwWKGQlOR1fDv6/Qh5A==",
"dependencies": {
- "xunit.v3.mtp-v2": "[4.0.1]"
+ "xunit.v3.mtp-v2": "[4.0.2]"
}
},
"Microsoft.ApplicationInsights": {
@@ -141,32 +141,32 @@
},
"Microsoft.Testing.Extensions.Telemetry": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "JeP1RFqBa11fWmBk8xEfZcMKr4rxWSyI6OZ+659V069CaMkTEOQBW2UdSSeNz3absOsygcn7JJkzerC4LGnZ9w==",
+ "resolved": "2.5.1",
+ "contentHash": "mu2iyoHovwl0q1mGeeRU0h8+LALXC7HqbxniLa1shTKYdJGl+KPoCEgjWIQ8MLzk1tlTGPOfg1JsxdH3RxhMCA==",
"dependencies": {
"Microsoft.ApplicationInsights": "2.23.0",
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Extensions.TrxReport.Abstractions": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "uRb+4qM42dFDg4kWJZ2kFEcwESNVCRZJjItp5vETorN3rSJGysP617LqYirOcrCYmxg+obPreHMM5JcsNDKtBw==",
+ "resolved": "2.5.1",
+ "contentHash": "DYTZAguaHz0wNJdHDTTGYOXtnlDoLoIbTMDKSApNNcytm55DJcnwpwELfQGLk5DB5QlgaEjNhnGo1Pu5QvL5VA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Platform": {
"type": "Transitive",
- "resolved": "2.4.1",
- "contentHash": "3nW9NyhN1BnHRF994DCOOUQCqVA9pDT+gPpbuhI/xUntZnGnXO4ySovKxFlFuoT/48pnI74LK/DeKVlve1L3VQ=="
+ "resolved": "2.5.1",
+ "contentHash": "FAMaFFWnULW+hDHMb40Qzhcgz9cAU2/EtgRCBNX/DdQoKo0sPG2EiY+w7bQdl/BgHnf/DbpXLbf5Xy0o15M8NA=="
},
"Microsoft.Testing.Platform.MSBuild": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "qr5M6h16YHMJLFDcWELFVMMpGte2BUmveBZKT5YoBV+bmuJRPu9bv/Zqke4yQuOEKRNxoAETrG5jr+/6Rnr3Hg==",
+ "resolved": "2.5.1",
+ "contentHash": "lYawcAwY+h76rQmpma2n0HaL8zkOFbbKapso0Eb+uOAUQn7333pIByLftEuiO67csAoZufHNMwi6PqhNemWQXA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Win32.Registry": {
@@ -181,70 +181,70 @@
},
"xunit.analyzers": {
"type": "Transitive",
- "resolved": "2.1.0",
- "contentHash": "X7QXEcZQGz0G/HL4HUyK+aAvNa/IMGbOCnFIq4jD/Evktq12xANKwzOUr7b08vCmC1LXu/47qHWOdjm3KfaJ0A=="
+ "resolved": "2.2.0",
+ "contentHash": "dXMIIztipcAyL3a19gtUrih/RLrE33/4VJdICoinYqIXXo1KLtsMPsaQ9dO2pE8xajDguwE2kqVbBqE5/EoJ0Q=="
},
"xunit.v3.assert": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "nC7d3cY06Oo7hkdwWPZkBR0Ud75xNhgx0P7i0GmMMZC3puCGlc4szFiT30biH03IN/eDnr8h+nv3A1UD17bk/A=="
+ "resolved": "4.0.2",
+ "contentHash": "5PKRexYlvufWFdXenRcRGKqvaJBBZFJZpqUGlUs9p13eKEgVdOrLpkPknjzUvLY5kEUicK9871DIUDcCPA6AXA=="
},
"xunit.v3.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Qf25TVdadDQYf9zVxSd7L9RNQhuP0jCUHmo96XTmIKLxGefylIEV63jRbXBPFzdXmV09TCdcurk+AQ9LiWS2Hg==",
+ "resolved": "4.0.2",
+ "contentHash": "++CtT8daIf6qfieQev/8V88U3zViIDWou5cj+oWps1/Hf73UoaY/L0hKyi3v7Zlt3BmbU0pUc73zCB1GiB4nYA==",
"dependencies": {
"Microsoft.Bcl.AsyncInterfaces": "6.0.0"
}
},
"xunit.v3.core.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "7qfTfrIfS2wybpSVyRLmhXHbSudD2eNw66LfukixmKsRCTcfvOrLsx0qGL/lObcEh3Z2F4SIXgoFnLIiB8yfjQ==",
+ "resolved": "4.0.2",
+ "contentHash": "XyPMcQRsnUQLhmBBRRgYWsuPc8TyiANzcXtqfzyWfDpPuyh3Q0K4oWozZYQKZRNGnqJ97ifD6qUDWhsEEe32uw==",
"dependencies": {
- "Microsoft.Testing.Extensions.Telemetry": "2.4.0",
- "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.4.0",
- "Microsoft.Testing.Platform": "2.4.0",
- "Microsoft.Testing.Platform.MSBuild": "2.4.0",
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.inproc.console": "[4.0.1]"
+ "Microsoft.Testing.Extensions.Telemetry": "2.5.1",
+ "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.5.1",
+ "Microsoft.Testing.Platform": "2.5.1",
+ "Microsoft.Testing.Platform.MSBuild": "2.5.1",
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.inproc.console": "[4.0.2]"
}
},
"xunit.v3.extensibility.core": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "J0d5OfFcp920nZxCRIvU14+TZhiSPQR0wvqEMZ3MRiJLPu1VmYlcRNkmcSW0i1DwkB81gAHc+fHUQf/cU64MYg==",
+ "resolved": "4.0.2",
+ "contentHash": "ARTt+pGyd86mdtiFBkKpyBQvRC3u0rr8oidBlII2GsAg7D6TfOsDFCsoQtFij83V5pE57m3whUIqT4xjiARXbQ==",
"dependencies": {
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "s88KiWwDDYgOWV3A+ViJiqCe9cLU/Rt6Gb5TfOC7Abv/HKSoj4IHVPcOQk7jPt7HhZHHEts5IuaVpB30eO5B1w==",
+ "resolved": "4.0.2",
+ "contentHash": "XLV32FhkuvheBStvX0DvjfPEtI+4SOVcIhnlTS+549r8VfVwsjpWdkJtQmQ7D23PA+Zoaqo+sTjBkRSkidC6Tw==",
"dependencies": {
- "xunit.analyzers": "2.1.0",
- "xunit.v3.assert": "[4.0.1]",
- "xunit.v3.core.mtp-v2": "[4.0.1]"
+ "xunit.analyzers": "2.2.0",
+ "xunit.v3.assert": "[4.0.2]",
+ "xunit.v3.core.mtp-v2": "[4.0.2]"
}
},
"xunit.v3.runner.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "p9AyfBpj2e5Iws8B57SbLiSngg7mEdvegHInKR4T2cjt2mis9h8htVgCnmu//agZO4zri6p6VQOj5EkHHTy3gA==",
+ "resolved": "4.0.2",
+ "contentHash": "YlYKVhTJVcwEgJ6rm59Pjf71lQqKwKxEHqVRxWUuwrwm/nxB/mNFP/lP4vlntDO3GclNnLT9BjYOpJH9gViGQg==",
"dependencies": {
"Microsoft.Win32.Registry": "[5.0.0]",
"System.Security.AccessControl": "[6.0.1]",
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.runner.inproc.console": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Hqwfd6ehMIhPmVWUQ2dgmknzuLFTWeyp8ES1q3D4YR5bQVyiXDcaIoaFwqAz2zgLr49WaW4Mz7VVncP7u/Q8/Q==",
+ "resolved": "4.0.2",
+ "contentHash": "cg4XNpCN4Ry9nswutknpreN3ckSUBwtjMRmEQSNK/sIKPo6KN5tDGGGCaHDm5HGA4yFVVtTJX65tLCsZArUNfQ==",
"dependencies": {
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.common": "[4.0.1]"
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.common": "[4.0.2]"
}
},
"equiv.corpus.seeder": {
diff --git a/tools/corpus/seeder/packages.lock.json b/tools/corpus/seeder/packages.lock.json
index e811d8d2..7b0cc8bc 100644
--- a/tools/corpus/seeder/packages.lock.json
+++ b/tools/corpus/seeder/packages.lock.json
@@ -4,9 +4,9 @@
"net10.0": {
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"Microsoft.CodeAnalysis.CSharp": {
"type": "Direct",
diff --git a/tools/licence-check.Tests/packages.lock.json b/tools/licence-check.Tests/packages.lock.json
index de78945e..23214106 100644
--- a/tools/licence-check.Tests/packages.lock.json
+++ b/tools/licence-check.Tests/packages.lock.json
@@ -16,9 +16,9 @@
},
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"MinVer": {
"type": "Direct",
@@ -28,25 +28,25 @@
},
"Verify.XunitV3": {
"type": "Direct",
- "requested": "[33.3.2, )",
- "resolved": "33.3.2",
- "contentHash": "N6F9Rz8GZtyexZovptbhkWMqQ0tafdorUmgOoKAeHMouzWNU0rmYjXxTG19rRa027sIaGALMR+2kPdQhrmNaKQ==",
+ "requested": "[33.3.4, )",
+ "resolved": "33.3.4",
+ "contentHash": "2bEFSlKjrg785+wbN9FZky9o1tu2M4ZeAPdYHPSRw8xG2JEJfCte+egTXli+KvwYAec+35i3qNtlLqFRLKGh+w==",
"dependencies": {
"Argon": "0.38.2",
- "DiffEngine": "20.7.2",
- "Microsoft.Bcl.AsyncInterfaces": "10.0.12",
+ "DiffEngine": "20.8.2",
+ "Microsoft.Bcl.AsyncInterfaces": "10.0.13",
"SimpleInfoName": "3.2.1",
- "Verify": "33.3.2",
- "xunit.v3.extensibility.core": "4.0.1"
+ "Verify": "33.3.4",
+ "xunit.v3.extensibility.core": "4.0.2"
}
},
"xunit.v3": {
"type": "Direct",
- "requested": "[4.0.1, )",
- "resolved": "4.0.1",
- "contentHash": "KpDYf6jFjYfOchuRJOAXPOpwN03hLE1AF4kWzCUSnhr8JZMiGH4BT1YidCcm6BE1H4E90GyJzuKoCwXbg9PXmA==",
+ "requested": "[4.0.2, )",
+ "resolved": "4.0.2",
+ "contentHash": "TdjM2OAx7w/0E88E6PgaigLoTbQaxbSR3HF/8p92plchTjf29jPHW27ylvEOz+Nx8CvPwWKGQlOR1fDv6/Qh5A==",
"dependencies": {
- "xunit.v3.mtp-v2": "[4.0.1]"
+ "xunit.v3.mtp-v2": "[4.0.2]"
}
},
"Argon": {
@@ -56,8 +56,8 @@
},
"DiffEngine": {
"type": "Transitive",
- "resolved": "20.7.2",
- "contentHash": "GULvEiwPjnJp+xBy56wqIewmF7/QrTAw/gQWddgQMSXESpUpjF+1PT+ukHLG5TqNXSs9q8Dp9DDub0eeyKc6ww==",
+ "resolved": "20.8.2",
+ "contentHash": "913FZh0PW/wL53zdx+go/doxQuulU8C6SSgmAHMAuVS/mF1JCYcBgg29F8XkpWEGW0JotbIscsifjlaLwE71bw==",
"dependencies": {
"EmptyFiles": "8.20.1"
}
@@ -74,8 +74,8 @@
},
"Microsoft.Bcl.AsyncInterfaces": {
"type": "Transitive",
- "resolved": "10.0.12",
- "contentHash": "vHPomsJPqUvf1ExdzCCSEUMQqloONPTBMGqNqBUdr4UgSTs9bCzH1oLkuS6WgUgIu+xqWngQbjelUBNlDuzLWQ=="
+ "resolved": "10.0.13",
+ "contentHash": "PEC80XidOaP1vyHWiSIOHOfh6MpkFln/gkLXKaSmjrAdBSwcAaowvOaVBKvnb+HAb2UTGrZqROajIKMVFu2jdw=="
},
"Microsoft.Extensions.Configuration": {
"type": "Transitive",
@@ -160,32 +160,32 @@
},
"Microsoft.Testing.Extensions.Telemetry": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "JeP1RFqBa11fWmBk8xEfZcMKr4rxWSyI6OZ+659V069CaMkTEOQBW2UdSSeNz3absOsygcn7JJkzerC4LGnZ9w==",
+ "resolved": "2.5.1",
+ "contentHash": "mu2iyoHovwl0q1mGeeRU0h8+LALXC7HqbxniLa1shTKYdJGl+KPoCEgjWIQ8MLzk1tlTGPOfg1JsxdH3RxhMCA==",
"dependencies": {
"Microsoft.ApplicationInsights": "2.23.0",
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Extensions.TrxReport.Abstractions": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "uRb+4qM42dFDg4kWJZ2kFEcwESNVCRZJjItp5vETorN3rSJGysP617LqYirOcrCYmxg+obPreHMM5JcsNDKtBw==",
+ "resolved": "2.5.1",
+ "contentHash": "DYTZAguaHz0wNJdHDTTGYOXtnlDoLoIbTMDKSApNNcytm55DJcnwpwELfQGLk5DB5QlgaEjNhnGo1Pu5QvL5VA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Platform": {
"type": "Transitive",
- "resolved": "2.4.1",
- "contentHash": "3nW9NyhN1BnHRF994DCOOUQCqVA9pDT+gPpbuhI/xUntZnGnXO4ySovKxFlFuoT/48pnI74LK/DeKVlve1L3VQ=="
+ "resolved": "2.5.1",
+ "contentHash": "FAMaFFWnULW+hDHMb40Qzhcgz9cAU2/EtgRCBNX/DdQoKo0sPG2EiY+w7bQdl/BgHnf/DbpXLbf5Xy0o15M8NA=="
},
"Microsoft.Testing.Platform.MSBuild": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "qr5M6h16YHMJLFDcWELFVMMpGte2BUmveBZKT5YoBV+bmuJRPu9bv/Zqke4yQuOEKRNxoAETrG5jr+/6Rnr3Hg==",
+ "resolved": "2.5.1",
+ "contentHash": "lYawcAwY+h76rQmpma2n0HaL8zkOFbbKapso0Eb+uOAUQn7333pIByLftEuiO67csAoZufHNMwi6PqhNemWQXA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Win32.Registry": {
@@ -205,80 +205,80 @@
},
"Verify": {
"type": "Transitive",
- "resolved": "33.3.2",
- "contentHash": "c4CrBw4QlcHyHPuk/PBcCWd7iQsc8o506BDRhfeaydwKeEr0wdpKJxQo0pSWl2i6YOfgy3CuXMgq6N6QYkf1jg==",
+ "resolved": "33.3.4",
+ "contentHash": "0Fz2d9Ta0A5lg12V8t3rrEFDEAnJLp8HAMCCQZA6ur3ZLfWlZvah9b2dXZr9H5TipjW+8NEYlie9bsHhKFe+ig==",
"dependencies": {
"Argon": "0.38.2",
- "DiffEngine": "20.7.2",
+ "DiffEngine": "20.8.2",
"SimpleInfoName": "3.2.1"
}
},
"xunit.analyzers": {
"type": "Transitive",
- "resolved": "2.1.0",
- "contentHash": "X7QXEcZQGz0G/HL4HUyK+aAvNa/IMGbOCnFIq4jD/Evktq12xANKwzOUr7b08vCmC1LXu/47qHWOdjm3KfaJ0A=="
+ "resolved": "2.2.0",
+ "contentHash": "dXMIIztipcAyL3a19gtUrih/RLrE33/4VJdICoinYqIXXo1KLtsMPsaQ9dO2pE8xajDguwE2kqVbBqE5/EoJ0Q=="
},
"xunit.v3.assert": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "nC7d3cY06Oo7hkdwWPZkBR0Ud75xNhgx0P7i0GmMMZC3puCGlc4szFiT30biH03IN/eDnr8h+nv3A1UD17bk/A=="
+ "resolved": "4.0.2",
+ "contentHash": "5PKRexYlvufWFdXenRcRGKqvaJBBZFJZpqUGlUs9p13eKEgVdOrLpkPknjzUvLY5kEUicK9871DIUDcCPA6AXA=="
},
"xunit.v3.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Qf25TVdadDQYf9zVxSd7L9RNQhuP0jCUHmo96XTmIKLxGefylIEV63jRbXBPFzdXmV09TCdcurk+AQ9LiWS2Hg==",
+ "resolved": "4.0.2",
+ "contentHash": "++CtT8daIf6qfieQev/8V88U3zViIDWou5cj+oWps1/Hf73UoaY/L0hKyi3v7Zlt3BmbU0pUc73zCB1GiB4nYA==",
"dependencies": {
"Microsoft.Bcl.AsyncInterfaces": "6.0.0"
}
},
"xunit.v3.core.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "7qfTfrIfS2wybpSVyRLmhXHbSudD2eNw66LfukixmKsRCTcfvOrLsx0qGL/lObcEh3Z2F4SIXgoFnLIiB8yfjQ==",
+ "resolved": "4.0.2",
+ "contentHash": "XyPMcQRsnUQLhmBBRRgYWsuPc8TyiANzcXtqfzyWfDpPuyh3Q0K4oWozZYQKZRNGnqJ97ifD6qUDWhsEEe32uw==",
"dependencies": {
- "Microsoft.Testing.Extensions.Telemetry": "2.4.0",
- "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.4.0",
- "Microsoft.Testing.Platform": "2.4.0",
- "Microsoft.Testing.Platform.MSBuild": "2.4.0",
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.inproc.console": "[4.0.1]"
+ "Microsoft.Testing.Extensions.Telemetry": "2.5.1",
+ "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.5.1",
+ "Microsoft.Testing.Platform": "2.5.1",
+ "Microsoft.Testing.Platform.MSBuild": "2.5.1",
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.inproc.console": "[4.0.2]"
}
},
"xunit.v3.extensibility.core": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "J0d5OfFcp920nZxCRIvU14+TZhiSPQR0wvqEMZ3MRiJLPu1VmYlcRNkmcSW0i1DwkB81gAHc+fHUQf/cU64MYg==",
+ "resolved": "4.0.2",
+ "contentHash": "ARTt+pGyd86mdtiFBkKpyBQvRC3u0rr8oidBlII2GsAg7D6TfOsDFCsoQtFij83V5pE57m3whUIqT4xjiARXbQ==",
"dependencies": {
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "s88KiWwDDYgOWV3A+ViJiqCe9cLU/Rt6Gb5TfOC7Abv/HKSoj4IHVPcOQk7jPt7HhZHHEts5IuaVpB30eO5B1w==",
+ "resolved": "4.0.2",
+ "contentHash": "XLV32FhkuvheBStvX0DvjfPEtI+4SOVcIhnlTS+549r8VfVwsjpWdkJtQmQ7D23PA+Zoaqo+sTjBkRSkidC6Tw==",
"dependencies": {
- "xunit.analyzers": "2.1.0",
- "xunit.v3.assert": "[4.0.1]",
- "xunit.v3.core.mtp-v2": "[4.0.1]"
+ "xunit.analyzers": "2.2.0",
+ "xunit.v3.assert": "[4.0.2]",
+ "xunit.v3.core.mtp-v2": "[4.0.2]"
}
},
"xunit.v3.runner.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "p9AyfBpj2e5Iws8B57SbLiSngg7mEdvegHInKR4T2cjt2mis9h8htVgCnmu//agZO4zri6p6VQOj5EkHHTy3gA==",
+ "resolved": "4.0.2",
+ "contentHash": "YlYKVhTJVcwEgJ6rm59Pjf71lQqKwKxEHqVRxWUuwrwm/nxB/mNFP/lP4vlntDO3GclNnLT9BjYOpJH9gViGQg==",
"dependencies": {
"Microsoft.Win32.Registry": "[5.0.0]",
"System.Security.AccessControl": "[6.0.1]",
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.runner.inproc.console": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Hqwfd6ehMIhPmVWUQ2dgmknzuLFTWeyp8ES1q3D4YR5bQVyiXDcaIoaFwqAz2zgLr49WaW4Mz7VVncP7u/Q8/Q==",
+ "resolved": "4.0.2",
+ "contentHash": "cg4XNpCN4Ry9nswutknpreN3ckSUBwtjMRmEQSNK/sIKPo6KN5tDGGGCaHDm5HGA4yFVVtTJX65tLCsZArUNfQ==",
"dependencies": {
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.common": "[4.0.1]"
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.common": "[4.0.2]"
}
},
"LicenceCheck": {
diff --git a/tools/licence-check/packages.lock.json b/tools/licence-check/packages.lock.json
index 96b53ba7..154860f6 100644
--- a/tools/licence-check/packages.lock.json
+++ b/tools/licence-check/packages.lock.json
@@ -4,9 +4,9 @@
"net10.0": {
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"MinVer": {
"type": "Direct",
diff --git a/tools/runtime-changes-backfill.Tests/packages.lock.json b/tools/runtime-changes-backfill.Tests/packages.lock.json
index 42e74d39..84632a35 100644
--- a/tools/runtime-changes-backfill.Tests/packages.lock.json
+++ b/tools/runtime-changes-backfill.Tests/packages.lock.json
@@ -16,9 +16,9 @@
},
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"MinVer": {
"type": "Direct",
@@ -28,11 +28,11 @@
},
"xunit.v3": {
"type": "Direct",
- "requested": "[4.0.1, )",
- "resolved": "4.0.1",
- "contentHash": "KpDYf6jFjYfOchuRJOAXPOpwN03hLE1AF4kWzCUSnhr8JZMiGH4BT1YidCcm6BE1H4E90GyJzuKoCwXbg9PXmA==",
+ "requested": "[4.0.2, )",
+ "resolved": "4.0.2",
+ "contentHash": "TdjM2OAx7w/0E88E6PgaigLoTbQaxbSR3HF/8p92plchTjf29jPHW27ylvEOz+Nx8CvPwWKGQlOR1fDv6/Qh5A==",
"dependencies": {
- "xunit.v3.mtp-v2": "[4.0.1]"
+ "xunit.v3.mtp-v2": "[4.0.2]"
}
},
"Microsoft.ApplicationInsights": {
@@ -128,32 +128,32 @@
},
"Microsoft.Testing.Extensions.Telemetry": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "JeP1RFqBa11fWmBk8xEfZcMKr4rxWSyI6OZ+659V069CaMkTEOQBW2UdSSeNz3absOsygcn7JJkzerC4LGnZ9w==",
+ "resolved": "2.5.1",
+ "contentHash": "mu2iyoHovwl0q1mGeeRU0h8+LALXC7HqbxniLa1shTKYdJGl+KPoCEgjWIQ8MLzk1tlTGPOfg1JsxdH3RxhMCA==",
"dependencies": {
"Microsoft.ApplicationInsights": "2.23.0",
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Extensions.TrxReport.Abstractions": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "uRb+4qM42dFDg4kWJZ2kFEcwESNVCRZJjItp5vETorN3rSJGysP617LqYirOcrCYmxg+obPreHMM5JcsNDKtBw==",
+ "resolved": "2.5.1",
+ "contentHash": "DYTZAguaHz0wNJdHDTTGYOXtnlDoLoIbTMDKSApNNcytm55DJcnwpwELfQGLk5DB5QlgaEjNhnGo1Pu5QvL5VA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Testing.Platform": {
"type": "Transitive",
- "resolved": "2.4.1",
- "contentHash": "3nW9NyhN1BnHRF994DCOOUQCqVA9pDT+gPpbuhI/xUntZnGnXO4ySovKxFlFuoT/48pnI74LK/DeKVlve1L3VQ=="
+ "resolved": "2.5.1",
+ "contentHash": "FAMaFFWnULW+hDHMb40Qzhcgz9cAU2/EtgRCBNX/DdQoKo0sPG2EiY+w7bQdl/BgHnf/DbpXLbf5Xy0o15M8NA=="
},
"Microsoft.Testing.Platform.MSBuild": {
"type": "Transitive",
- "resolved": "2.4.0",
- "contentHash": "qr5M6h16YHMJLFDcWELFVMMpGte2BUmveBZKT5YoBV+bmuJRPu9bv/Zqke4yQuOEKRNxoAETrG5jr+/6Rnr3Hg==",
+ "resolved": "2.5.1",
+ "contentHash": "lYawcAwY+h76rQmpma2n0HaL8zkOFbbKapso0Eb+uOAUQn7333pIByLftEuiO67csAoZufHNMwi6PqhNemWQXA==",
"dependencies": {
- "Microsoft.Testing.Platform": "[2.4.0, 3.0.0)"
+ "Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
}
},
"Microsoft.Win32.Registry": {
@@ -168,70 +168,70 @@
},
"xunit.analyzers": {
"type": "Transitive",
- "resolved": "2.1.0",
- "contentHash": "X7QXEcZQGz0G/HL4HUyK+aAvNa/IMGbOCnFIq4jD/Evktq12xANKwzOUr7b08vCmC1LXu/47qHWOdjm3KfaJ0A=="
+ "resolved": "2.2.0",
+ "contentHash": "dXMIIztipcAyL3a19gtUrih/RLrE33/4VJdICoinYqIXXo1KLtsMPsaQ9dO2pE8xajDguwE2kqVbBqE5/EoJ0Q=="
},
"xunit.v3.assert": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "nC7d3cY06Oo7hkdwWPZkBR0Ud75xNhgx0P7i0GmMMZC3puCGlc4szFiT30biH03IN/eDnr8h+nv3A1UD17bk/A=="
+ "resolved": "4.0.2",
+ "contentHash": "5PKRexYlvufWFdXenRcRGKqvaJBBZFJZpqUGlUs9p13eKEgVdOrLpkPknjzUvLY5kEUicK9871DIUDcCPA6AXA=="
},
"xunit.v3.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Qf25TVdadDQYf9zVxSd7L9RNQhuP0jCUHmo96XTmIKLxGefylIEV63jRbXBPFzdXmV09TCdcurk+AQ9LiWS2Hg==",
+ "resolved": "4.0.2",
+ "contentHash": "++CtT8daIf6qfieQev/8V88U3zViIDWou5cj+oWps1/Hf73UoaY/L0hKyi3v7Zlt3BmbU0pUc73zCB1GiB4nYA==",
"dependencies": {
"Microsoft.Bcl.AsyncInterfaces": "6.0.0"
}
},
"xunit.v3.core.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "7qfTfrIfS2wybpSVyRLmhXHbSudD2eNw66LfukixmKsRCTcfvOrLsx0qGL/lObcEh3Z2F4SIXgoFnLIiB8yfjQ==",
+ "resolved": "4.0.2",
+ "contentHash": "XyPMcQRsnUQLhmBBRRgYWsuPc8TyiANzcXtqfzyWfDpPuyh3Q0K4oWozZYQKZRNGnqJ97ifD6qUDWhsEEe32uw==",
"dependencies": {
- "Microsoft.Testing.Extensions.Telemetry": "2.4.0",
- "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.4.0",
- "Microsoft.Testing.Platform": "2.4.0",
- "Microsoft.Testing.Platform.MSBuild": "2.4.0",
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.inproc.console": "[4.0.1]"
+ "Microsoft.Testing.Extensions.Telemetry": "2.5.1",
+ "Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.5.1",
+ "Microsoft.Testing.Platform": "2.5.1",
+ "Microsoft.Testing.Platform.MSBuild": "2.5.1",
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.inproc.console": "[4.0.2]"
}
},
"xunit.v3.extensibility.core": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "J0d5OfFcp920nZxCRIvU14+TZhiSPQR0wvqEMZ3MRiJLPu1VmYlcRNkmcSW0i1DwkB81gAHc+fHUQf/cU64MYg==",
+ "resolved": "4.0.2",
+ "contentHash": "ARTt+pGyd86mdtiFBkKpyBQvRC3u0rr8oidBlII2GsAg7D6TfOsDFCsoQtFij83V5pE57m3whUIqT4xjiARXbQ==",
"dependencies": {
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.mtp-v2": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "s88KiWwDDYgOWV3A+ViJiqCe9cLU/Rt6Gb5TfOC7Abv/HKSoj4IHVPcOQk7jPt7HhZHHEts5IuaVpB30eO5B1w==",
+ "resolved": "4.0.2",
+ "contentHash": "XLV32FhkuvheBStvX0DvjfPEtI+4SOVcIhnlTS+549r8VfVwsjpWdkJtQmQ7D23PA+Zoaqo+sTjBkRSkidC6Tw==",
"dependencies": {
- "xunit.analyzers": "2.1.0",
- "xunit.v3.assert": "[4.0.1]",
- "xunit.v3.core.mtp-v2": "[4.0.1]"
+ "xunit.analyzers": "2.2.0",
+ "xunit.v3.assert": "[4.0.2]",
+ "xunit.v3.core.mtp-v2": "[4.0.2]"
}
},
"xunit.v3.runner.common": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "p9AyfBpj2e5Iws8B57SbLiSngg7mEdvegHInKR4T2cjt2mis9h8htVgCnmu//agZO4zri6p6VQOj5EkHHTy3gA==",
+ "resolved": "4.0.2",
+ "contentHash": "YlYKVhTJVcwEgJ6rm59Pjf71lQqKwKxEHqVRxWUuwrwm/nxB/mNFP/lP4vlntDO3GclNnLT9BjYOpJH9gViGQg==",
"dependencies": {
"Microsoft.Win32.Registry": "[5.0.0]",
"System.Security.AccessControl": "[6.0.1]",
- "xunit.v3.common": "[4.0.1]"
+ "xunit.v3.common": "[4.0.2]"
}
},
"xunit.v3.runner.inproc.console": {
"type": "Transitive",
- "resolved": "4.0.1",
- "contentHash": "Hqwfd6ehMIhPmVWUQ2dgmknzuLFTWeyp8ES1q3D4YR5bQVyiXDcaIoaFwqAz2zgLr49WaW4Mz7VVncP7u/Q8/Q==",
+ "resolved": "4.0.2",
+ "contentHash": "cg4XNpCN4Ry9nswutknpreN3ckSUBwtjMRmEQSNK/sIKPo6KN5tDGGGCaHDm5HGA4yFVVtTJX65tLCsZArUNfQ==",
"dependencies": {
- "xunit.v3.extensibility.core": "[4.0.1]",
- "xunit.v3.runner.common": "[4.0.1]"
+ "xunit.v3.extensibility.core": "[4.0.2]",
+ "xunit.v3.runner.common": "[4.0.2]"
}
},
"RuntimeChangesBackfill": {
diff --git a/tools/runtime-changes-backfill/packages.lock.json b/tools/runtime-changes-backfill/packages.lock.json
index 96b53ba7..154860f6 100644
--- a/tools/runtime-changes-backfill/packages.lock.json
+++ b/tools/runtime-changes-backfill/packages.lock.json
@@ -4,9 +4,9 @@
"net10.0": {
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"MinVer": {
"type": "Direct",
diff --git a/tools/runtime-diff/packages.lock.json b/tools/runtime-diff/packages.lock.json
index db29979b..313bfbb0 100644
--- a/tools/runtime-diff/packages.lock.json
+++ b/tools/runtime-diff/packages.lock.json
@@ -4,9 +4,9 @@
"net10.0": {
"Meziantou.Analyzer": {
"type": "Direct",
- "requested": "[3.0.296, )",
- "resolved": "3.0.296",
- "contentHash": "1Yp/6OK/Ev66hE2YLe9UvIgtJrKOX/xvoGDe0UbdtuG2ZxUoDoyONdEn+HWCDuy02Mu8SmglHEd/9SGPrM1qYg=="
+ "requested": "[3.0.303, )",
+ "resolved": "3.0.303",
+ "contentHash": "IBcDi9Gq15J7F7Akw/KCVrxMsms13e7rgA6ssVhoqn+3BWDvCg3RAhzPMK8foJapDMgz5tG4cDHO/JImrnn1cw=="
},
"MinVer": {
"type": "Direct",
@@ -164,7 +164,7 @@
"equiv.core": {
"type": "Project",
"dependencies": {
- "Sarif.Sdk": "[5.7.0, )"
+ "Sarif.Sdk": "[5.8.0, )"
}
},
"equiv.execute": {
@@ -233,9 +233,9 @@
},
"Sarif.Sdk": {
"type": "CentralTransitive",
- "requested": "[5.7.0, )",
- "resolved": "5.7.0",
- "contentHash": "UVBzw+EDLcdj0DLyxypTtGiNqaP3+Zm3RAP3rHoo20jaEzKv9JFvBLOq6chjV9IuKEGcDMgFnB1D+4DmSLjU8w==",
+ "requested": "[5.8.0, )",
+ "resolved": "5.8.0",
+ "contentHash": "7twZQxftcjxGvz2sQ9DysTdMFAm0PWGYzHibN+O25TenFDtJtCWxKLTzoWtX+jXx7biFh9+QzOqh3WwEJtSu8A==",
"dependencies": {
"Microsoft.Diagnostics.Tracing.EventRegister": "1.1.28",
"Microsoft.Diagnostics.Tracing.TraceEvent": "3.1.3",