Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion Directory.Packages.props
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@

<!-- Tests -->
<ItemGroup>
<PackageVersion Include="xunit.v3" Version="4.0.2" />
<PackageVersion Include="xunit.v3" Version="4.0.3" />
<PackageVersion Include="FsCheck.Xunit.v3" Version="3.6.0" />
<PackageVersion Include="Microsoft.Testing.Extensions.CodeCoverage" Version="18.12.0" />
</ItemGroup>
Expand Down
88 changes: 44 additions & 44 deletions tests/DotMaybe.CompilerContractTests/packages.lock.json
Original file line number Diff line number Diff line change
Expand Up @@ -16,11 +16,11 @@
},
"xunit.v3": {
"type": "Direct",
"requested": "[4.0.2, )",
"resolved": "4.0.2",
"contentHash": "TdjM2OAx7w/0E88E6PgaigLoTbQaxbSR3HF/8p92plchTjf29jPHW27ylvEOz+Nx8CvPwWKGQlOR1fDv6/Qh5A==",
"requested": "[4.0.3, )",
"resolved": "4.0.3",
"contentHash": "GxBopTuV5aU7NS0iE1P6I6YCQscIAP0iIyyZqZhs1c8Ry3cdiOouEtQQpX8cA7E1gEnKGRMNA+7NlhBy13AEyg==",
"dependencies": {
"xunit.v3.mtp-v2": "[4.0.2]"
"xunit.v3.mtp-v2": "[4.0.3]"
}
},
"Microsoft.ApplicationInsights": {
Expand All @@ -45,32 +45,32 @@
},
"Microsoft.Testing.Extensions.Telemetry": {
"type": "Transitive",
"resolved": "2.5.1",
"contentHash": "mu2iyoHovwl0q1mGeeRU0h8+LALXC7HqbxniLa1shTKYdJGl+KPoCEgjWIQ8MLzk1tlTGPOfg1JsxdH3RxhMCA==",
"resolved": "2.5.2",
"contentHash": "j1XGKCBrmfNm0tmotMa05GlqVtb2cW5UaMkKCFHPyyFHz5rdOy7TD0SVXnZJ+QMrjPAHjRoRqn5qcsUjICSWwg==",
"dependencies": {
"Microsoft.ApplicationInsights": "2.23.0",
"Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
"Microsoft.Testing.Platform": "[2.5.2, 3.0.0)"
}
},
"Microsoft.Testing.Extensions.TrxReport.Abstractions": {
"type": "Transitive",
"resolved": "2.5.1",
"contentHash": "DYTZAguaHz0wNJdHDTTGYOXtnlDoLoIbTMDKSApNNcytm55DJcnwpwELfQGLk5DB5QlgaEjNhnGo1Pu5QvL5VA==",
"resolved": "2.5.2",
"contentHash": "+xTIaIU9H44GxOyjrfieMSZnxltGvleA3jCRtdEAzlXKb85pMmVYMLUv2JS8KwD+U2wQHUgvy5YfQfWoPEfVdQ==",
"dependencies": {
"Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
"Microsoft.Testing.Platform": "[2.5.2, 3.0.0)"
}
},
"Microsoft.Testing.Platform": {
"type": "Transitive",
"resolved": "2.5.1",
"contentHash": "FAMaFFWnULW+hDHMb40Qzhcgz9cAU2/EtgRCBNX/DdQoKo0sPG2EiY+w7bQdl/BgHnf/DbpXLbf5Xy0o15M8NA=="
"resolved": "2.5.2",
"contentHash": "ocX0rgGY78dKfmZlZe4hB0/dvlh7wJgUAWS+KfwrqxB9DpNsjshnne9dppCKnFNEOkX4QYsrdUU++NInFPiCBw=="
},
"Microsoft.Testing.Platform.MSBuild": {
"type": "Transitive",
"resolved": "2.5.1",
"contentHash": "lYawcAwY+h76rQmpma2n0HaL8zkOFbbKapso0Eb+uOAUQn7333pIByLftEuiO67csAoZufHNMwi6PqhNemWQXA==",
"resolved": "2.5.2",
"contentHash": "Jey2v0hd7WHHa7pr6MRNKtA07FvxcOMTCtIhTI7uBZ/qR5m1mgCVCo5L1rtVAtqgMhGA205bUwq9+is4LiCzpw==",
"dependencies": {
"Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
"Microsoft.Testing.Platform": "[2.5.2, 3.0.0)"
}
},
"Microsoft.Win32.Registry": {
Expand All @@ -90,70 +90,70 @@
},
"xunit.analyzers": {
"type": "Transitive",
"resolved": "2.2.0",
"contentHash": "dXMIIztipcAyL3a19gtUrih/RLrE33/4VJdICoinYqIXXo1KLtsMPsaQ9dO2pE8xajDguwE2kqVbBqE5/EoJ0Q=="
"resolved": "2.3.0",
"contentHash": "FcuLqoNBgQA4MmQXOdNWsDnlw+LBysWUcWOql6MCTXXFJZPn+qjbxHA9F9KBRiPH0Y97MLr1VE6LxdH8MgKUoQ=="
},
"xunit.v3.assert": {
"type": "Transitive",
"resolved": "4.0.2",
"contentHash": "5PKRexYlvufWFdXenRcRGKqvaJBBZFJZpqUGlUs9p13eKEgVdOrLpkPknjzUvLY5kEUicK9871DIUDcCPA6AXA=="
"resolved": "4.0.3",
"contentHash": "RrlWQ3yXla+ud9JBWDIY9GnUS/DS44r3ObqqV7wdWt1GhS+SveCe0MBDL238VXYoV2mWnX/DhO2LdTq5FTlT7g=="
},
"xunit.v3.common": {
"type": "Transitive",
"resolved": "4.0.2",
"contentHash": "++CtT8daIf6qfieQev/8V88U3zViIDWou5cj+oWps1/Hf73UoaY/L0hKyi3v7Zlt3BmbU0pUc73zCB1GiB4nYA==",
"resolved": "4.0.3",
"contentHash": "+2qGz3rcveIxzbXeZVHU8dhMyaawt01mgm/zv1FJH2FPcvJpfTUqc1vQ3hK2V5zVt8QEDddA+B6fkf9/LWf/Pg==",
"dependencies": {
"Microsoft.Bcl.AsyncInterfaces": "6.0.0"
}
},
"xunit.v3.core.mtp-v2": {
"type": "Transitive",
"resolved": "4.0.2",
"contentHash": "XyPMcQRsnUQLhmBBRRgYWsuPc8TyiANzcXtqfzyWfDpPuyh3Q0K4oWozZYQKZRNGnqJ97ifD6qUDWhsEEe32uw==",
"resolved": "4.0.3",
"contentHash": "CsmxEanMln1chMExl6TUjnH5kF0XUDb/SqWKXqnGD8UjpkZARAXi8JDtsUYdxuROcIIdwEfs3iHZeHmTeA8DUA==",
"dependencies": {
"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]"
"Microsoft.Testing.Extensions.Telemetry": "2.5.2",
"Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.5.2",
"Microsoft.Testing.Platform": "2.5.2",
"Microsoft.Testing.Platform.MSBuild": "2.5.2",
"xunit.v3.extensibility.core": "[4.0.3]",
"xunit.v3.runner.inproc.console": "[4.0.3]"
}
},
"xunit.v3.extensibility.core": {
"type": "Transitive",
"resolved": "4.0.2",
"contentHash": "ARTt+pGyd86mdtiFBkKpyBQvRC3u0rr8oidBlII2GsAg7D6TfOsDFCsoQtFij83V5pE57m3whUIqT4xjiARXbQ==",
"resolved": "4.0.3",
"contentHash": "TBYqQKyT+XBDLSHjG6PnmQpooqatflBcWvNiESVS5ptQxWXVf/FGlkUfkNyHKRCUDSCxxHIJNgwO+SRosUmZEw==",
"dependencies": {
"xunit.v3.common": "[4.0.2]"
"xunit.v3.common": "[4.0.3]"
}
},
"xunit.v3.mtp-v2": {
"type": "Transitive",
"resolved": "4.0.2",
"contentHash": "XLV32FhkuvheBStvX0DvjfPEtI+4SOVcIhnlTS+549r8VfVwsjpWdkJtQmQ7D23PA+Zoaqo+sTjBkRSkidC6Tw==",
"resolved": "4.0.3",
"contentHash": "lad1hGmodKkfp3AgIwHVVIYeA9GfW125tnkYj7HvOyiwbDH8gpMKPPhzHRC1wc0w4a+0UsOHx2Ero/DtLXvtqA==",
"dependencies": {
"xunit.analyzers": "2.2.0",
"xunit.v3.assert": "[4.0.2]",
"xunit.v3.core.mtp-v2": "[4.0.2]"
"xunit.analyzers": "2.3.0",
"xunit.v3.assert": "[4.0.3]",
"xunit.v3.core.mtp-v2": "[4.0.3]"
}
},
"xunit.v3.runner.common": {
"type": "Transitive",
"resolved": "4.0.2",
"contentHash": "YlYKVhTJVcwEgJ6rm59Pjf71lQqKwKxEHqVRxWUuwrwm/nxB/mNFP/lP4vlntDO3GclNnLT9BjYOpJH9gViGQg==",
"resolved": "4.0.3",
"contentHash": "J/kkhBgJg3wu1xI8gY2Esm3oRE47gNrGmKpT/XZDPOzZ3/F33yTK/ZH1CM6qDpAHoTT3GY/JgrVbS4T1JEKYiQ==",
"dependencies": {
"Microsoft.Win32.Registry": "[5.0.0]",
"System.Security.AccessControl": "[6.0.1]",
"xunit.v3.common": "[4.0.2]"
"xunit.v3.common": "[4.0.3]"
}
},
"xunit.v3.runner.inproc.console": {
"type": "Transitive",
"resolved": "4.0.2",
"contentHash": "cg4XNpCN4Ry9nswutknpreN3ckSUBwtjMRmEQSNK/sIKPo6KN5tDGGGCaHDm5HGA4yFVVtTJX65tLCsZArUNfQ==",
"resolved": "4.0.3",
"contentHash": "lDvNs5exa8rBdWXX/wdapPTp81SNCvUarXC5iXzr1qvO168+Sx/Ytrk9VSLbSD3Y9KNK8PcOjMl1q7JfCoo3LQ==",
"dependencies": {
"xunit.v3.extensibility.core": "[4.0.2]",
"xunit.v3.runner.common": "[4.0.2]"
"xunit.v3.extensibility.core": "[4.0.3]",
"xunit.v3.runner.common": "[4.0.3]"
}
},
"dotMaybe": {
Expand Down
88 changes: 44 additions & 44 deletions tests/DotMaybe.PropertyTests/packages.lock.json
Original file line number Diff line number Diff line change
Expand Up @@ -27,11 +27,11 @@
},
"xunit.v3": {
"type": "Direct",
"requested": "[4.0.2, )",
"resolved": "4.0.2",
"contentHash": "TdjM2OAx7w/0E88E6PgaigLoTbQaxbSR3HF/8p92plchTjf29jPHW27ylvEOz+Nx8CvPwWKGQlOR1fDv6/Qh5A==",
"requested": "[4.0.3, )",
"resolved": "4.0.3",
"contentHash": "GxBopTuV5aU7NS0iE1P6I6YCQscIAP0iIyyZqZhs1c8Ry3cdiOouEtQQpX8cA7E1gEnKGRMNA+7NlhBy13AEyg==",
"dependencies": {
"xunit.v3.mtp-v2": "[4.0.2]"
"xunit.v3.mtp-v2": "[4.0.3]"
}
},
"FsCheck": {
Expand Down Expand Up @@ -69,32 +69,32 @@
},
"Microsoft.Testing.Extensions.Telemetry": {
"type": "Transitive",
"resolved": "2.5.1",
"contentHash": "mu2iyoHovwl0q1mGeeRU0h8+LALXC7HqbxniLa1shTKYdJGl+KPoCEgjWIQ8MLzk1tlTGPOfg1JsxdH3RxhMCA==",
"resolved": "2.5.2",
"contentHash": "j1XGKCBrmfNm0tmotMa05GlqVtb2cW5UaMkKCFHPyyFHz5rdOy7TD0SVXnZJ+QMrjPAHjRoRqn5qcsUjICSWwg==",
"dependencies": {
"Microsoft.ApplicationInsights": "2.23.0",
"Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
"Microsoft.Testing.Platform": "[2.5.2, 3.0.0)"
}
},
"Microsoft.Testing.Extensions.TrxReport.Abstractions": {
"type": "Transitive",
"resolved": "2.5.1",
"contentHash": "DYTZAguaHz0wNJdHDTTGYOXtnlDoLoIbTMDKSApNNcytm55DJcnwpwELfQGLk5DB5QlgaEjNhnGo1Pu5QvL5VA==",
"resolved": "2.5.2",
"contentHash": "+xTIaIU9H44GxOyjrfieMSZnxltGvleA3jCRtdEAzlXKb85pMmVYMLUv2JS8KwD+U2wQHUgvy5YfQfWoPEfVdQ==",
"dependencies": {
"Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
"Microsoft.Testing.Platform": "[2.5.2, 3.0.0)"
}
},
"Microsoft.Testing.Platform": {
"type": "Transitive",
"resolved": "2.5.1",
"contentHash": "FAMaFFWnULW+hDHMb40Qzhcgz9cAU2/EtgRCBNX/DdQoKo0sPG2EiY+w7bQdl/BgHnf/DbpXLbf5Xy0o15M8NA=="
"resolved": "2.5.2",
"contentHash": "ocX0rgGY78dKfmZlZe4hB0/dvlh7wJgUAWS+KfwrqxB9DpNsjshnne9dppCKnFNEOkX4QYsrdUU++NInFPiCBw=="
},
"Microsoft.Testing.Platform.MSBuild": {
"type": "Transitive",
"resolved": "2.5.1",
"contentHash": "lYawcAwY+h76rQmpma2n0HaL8zkOFbbKapso0Eb+uOAUQn7333pIByLftEuiO67csAoZufHNMwi6PqhNemWQXA==",
"resolved": "2.5.2",
"contentHash": "Jey2v0hd7WHHa7pr6MRNKtA07FvxcOMTCtIhTI7uBZ/qR5m1mgCVCo5L1rtVAtqgMhGA205bUwq9+is4LiCzpw==",
"dependencies": {
"Microsoft.Testing.Platform": "[2.5.1, 3.0.0)"
"Microsoft.Testing.Platform": "[2.5.2, 3.0.0)"
}
},
"Microsoft.Win32.Registry": {
Expand All @@ -114,70 +114,70 @@
},
"xunit.analyzers": {
"type": "Transitive",
"resolved": "2.2.0",
"contentHash": "dXMIIztipcAyL3a19gtUrih/RLrE33/4VJdICoinYqIXXo1KLtsMPsaQ9dO2pE8xajDguwE2kqVbBqE5/EoJ0Q=="
"resolved": "2.3.0",
"contentHash": "FcuLqoNBgQA4MmQXOdNWsDnlw+LBysWUcWOql6MCTXXFJZPn+qjbxHA9F9KBRiPH0Y97MLr1VE6LxdH8MgKUoQ=="
},
"xunit.v3.assert": {
"type": "Transitive",
"resolved": "4.0.2",
"contentHash": "5PKRexYlvufWFdXenRcRGKqvaJBBZFJZpqUGlUs9p13eKEgVdOrLpkPknjzUvLY5kEUicK9871DIUDcCPA6AXA=="
"resolved": "4.0.3",
"contentHash": "RrlWQ3yXla+ud9JBWDIY9GnUS/DS44r3ObqqV7wdWt1GhS+SveCe0MBDL238VXYoV2mWnX/DhO2LdTq5FTlT7g=="
},
"xunit.v3.common": {
"type": "Transitive",
"resolved": "4.0.2",
"contentHash": "++CtT8daIf6qfieQev/8V88U3zViIDWou5cj+oWps1/Hf73UoaY/L0hKyi3v7Zlt3BmbU0pUc73zCB1GiB4nYA==",
"resolved": "4.0.3",
"contentHash": "+2qGz3rcveIxzbXeZVHU8dhMyaawt01mgm/zv1FJH2FPcvJpfTUqc1vQ3hK2V5zVt8QEDddA+B6fkf9/LWf/Pg==",
"dependencies": {
"Microsoft.Bcl.AsyncInterfaces": "6.0.0"
}
},
"xunit.v3.core.mtp-v2": {
"type": "Transitive",
"resolved": "4.0.2",
"contentHash": "XyPMcQRsnUQLhmBBRRgYWsuPc8TyiANzcXtqfzyWfDpPuyh3Q0K4oWozZYQKZRNGnqJ97ifD6qUDWhsEEe32uw==",
"resolved": "4.0.3",
"contentHash": "CsmxEanMln1chMExl6TUjnH5kF0XUDb/SqWKXqnGD8UjpkZARAXi8JDtsUYdxuROcIIdwEfs3iHZeHmTeA8DUA==",
"dependencies": {
"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]"
"Microsoft.Testing.Extensions.Telemetry": "2.5.2",
"Microsoft.Testing.Extensions.TrxReport.Abstractions": "2.5.2",
"Microsoft.Testing.Platform": "2.5.2",
"Microsoft.Testing.Platform.MSBuild": "2.5.2",
"xunit.v3.extensibility.core": "[4.0.3]",
"xunit.v3.runner.inproc.console": "[4.0.3]"
}
},
"xunit.v3.extensibility.core": {
"type": "Transitive",
"resolved": "4.0.2",
"contentHash": "ARTt+pGyd86mdtiFBkKpyBQvRC3u0rr8oidBlII2GsAg7D6TfOsDFCsoQtFij83V5pE57m3whUIqT4xjiARXbQ==",
"resolved": "4.0.3",
"contentHash": "TBYqQKyT+XBDLSHjG6PnmQpooqatflBcWvNiESVS5ptQxWXVf/FGlkUfkNyHKRCUDSCxxHIJNgwO+SRosUmZEw==",
"dependencies": {
"xunit.v3.common": "[4.0.2]"
"xunit.v3.common": "[4.0.3]"
}
},
"xunit.v3.mtp-v2": {
"type": "Transitive",
"resolved": "4.0.2",
"contentHash": "XLV32FhkuvheBStvX0DvjfPEtI+4SOVcIhnlTS+549r8VfVwsjpWdkJtQmQ7D23PA+Zoaqo+sTjBkRSkidC6Tw==",
"resolved": "4.0.3",
"contentHash": "lad1hGmodKkfp3AgIwHVVIYeA9GfW125tnkYj7HvOyiwbDH8gpMKPPhzHRC1wc0w4a+0UsOHx2Ero/DtLXvtqA==",
"dependencies": {
"xunit.analyzers": "2.2.0",
"xunit.v3.assert": "[4.0.2]",
"xunit.v3.core.mtp-v2": "[4.0.2]"
"xunit.analyzers": "2.3.0",
"xunit.v3.assert": "[4.0.3]",
"xunit.v3.core.mtp-v2": "[4.0.3]"
}
},
"xunit.v3.runner.common": {
"type": "Transitive",
"resolved": "4.0.2",
"contentHash": "YlYKVhTJVcwEgJ6rm59Pjf71lQqKwKxEHqVRxWUuwrwm/nxB/mNFP/lP4vlntDO3GclNnLT9BjYOpJH9gViGQg==",
"resolved": "4.0.3",
"contentHash": "J/kkhBgJg3wu1xI8gY2Esm3oRE47gNrGmKpT/XZDPOzZ3/F33yTK/ZH1CM6qDpAHoTT3GY/JgrVbS4T1JEKYiQ==",
"dependencies": {
"Microsoft.Win32.Registry": "[5.0.0]",
"System.Security.AccessControl": "[6.0.1]",
"xunit.v3.common": "[4.0.2]"
"xunit.v3.common": "[4.0.3]"
}
},
"xunit.v3.runner.inproc.console": {
"type": "Transitive",
"resolved": "4.0.2",
"contentHash": "cg4XNpCN4Ry9nswutknpreN3ckSUBwtjMRmEQSNK/sIKPo6KN5tDGGGCaHDm5HGA4yFVVtTJX65tLCsZArUNfQ==",
"resolved": "4.0.3",
"contentHash": "lDvNs5exa8rBdWXX/wdapPTp81SNCvUarXC5iXzr1qvO168+Sx/Ytrk9VSLbSD3Y9KNK8PcOjMl1q7JfCoo3LQ==",
"dependencies": {
"xunit.v3.extensibility.core": "[4.0.2]",
"xunit.v3.runner.common": "[4.0.2]"
"xunit.v3.extensibility.core": "[4.0.3]",
"xunit.v3.runner.common": "[4.0.3]"
}
},
"dotMaybe": {
Expand Down
Loading