.NET

Merge pull request #107 from dnWalker-project/feat/upgrade-net80 #51

GitHub Actions / Test Results failed Nov 17, 2024 in 0s

268 fail, 1 skipped, 2 945 pass in 3m 2s

11 files ±0 11 suites ±0 3m 2s ⏱️ +28s
3 214 tests ±0 2 945 ✅ ±0 1 💤 ±0 268 ❌ ±0
3 234 runs ±0 2 963 ✅ ±0 1 💤 ±0 270 ❌ ±0

Results for commit 15f004e. ± Comparison against earlier commit 104c21e.

Annotations

Check warning on line 0 in dnWalker.TypeSystem.Tests.TypeExtensionsTests

github-actions / Test Results

3 out of 4 runs failed: Test_IsGeneric(typeName: "dnWalker.TypeSystem.Tests.TestTypes.NamespaceClass"..., isGeneric: True) (dnWalker.TypeSystem.Tests.TypeExtensionsTests)

TestResults/_fv-az2028-255_2024-11-17_12_13_41[1].trx [took 0s]

Raw output


            Expected ts.IsGenericInstanceType to be True, but found False.   at FluentAssertions.Execution.XUnit2TestFramework.Throw(String message)
   at FluentAssertions.Execution.TestFrameworkProvider.Throw(String message)
   at FluentAssertions.Execution.DefaultAssertionStrategy.HandleFailure(String message)
   at FluentAssertions.Execution.AssertionScope.FailWith(Func`1 failReasonFunc)
   at FluentAssertions.Execution.AssertionScope.FailWith(Func`1 failReasonFunc)
   at FluentAssertions.Execution.AssertionScope.FailWith(String message, Object[] args)
   at FluentAssertions.Primitives.BooleanAssertions`1.Be(Boolean expected, String because, Object[] becauseArgs)
   at dnWalker.TypeSystem.Tests.TypeExtensionsTests.Test_IsGeneric(String typeName, Boolean isGeneric) in /home/runner/work/dnWalker/dnWalker/dnWalker.TypeSystem.Tests/TypeSignatureTests.cs:line 91
   at InvokeStub_TypeExtensionsTests.Test_IsGeneric(Object, Span`1)
   at System.Reflection.MethodBaseInvoker.InvokeWithFewArgs(Object obj, BindingFlags invokeAttr, Binder binder, Object[] parameters, CultureInfo culture)

Check warning on line 0 in dnWalker.Tests.TypeSystem.DefinitionProviderTests

github-actions / Test Results

Test_DefinitionProviderResolves_TextWriter(location: "../../../../Examples/bin/Release/net6.0/Examples.d"...) (dnWalker.Tests.TypeSystem.DefinitionProviderTests) failed

TestResults/_fv-az2028-255_2024-11-17_12_13_41[1].trx [took 0s]

Raw output


            System.IO.IOException : Could not open file /home/runner/work/dnWalker/dnWalker/Examples/bin/Release/net6.0/Examples.dll for reading. Error: -1   at dnlib.IO.MemoryMappedDataReaderFactory.Unix.Mmap(MemoryMappedDataReaderFactory creator, Boolean mapAsImage)
   at dnlib.IO.MemoryMappedDataReaderFactory.CreateUnix(String filename, Boolean mapAsImage)
   at dnlib.IO.DataReaderFactoryFactory.CreateDataReaderFactory(String fileName, Boolean mapAsImage)
   at dnlib.IO.DataReaderFactoryFactory.Create(String fileName, Boolean mapAsImage)
   at dnlib.PE.PEImage..ctor(String filename, Boolean mapAsImage, Boolean verify)
   at dnlib.PE.PEImage..ctor(String filename, Boolean verify)
   at dnlib.PE.PEImage..ctor(String filename)
   at dnlib.DotNet.MD.MetadataFactory.Load(String fileName, CLRRuntimeReaderKind runtime)
   at dnlib.DotNet.ModuleDefMD.Load(String fileName, ModuleCreationOptions options)
   at dnlib.DotNet.AssemblyDef.Load(String fileName, ModuleCreationOptions options)
   at dnlib.DotNet.AssemblyDef.Load(String fileName, ModuleContext context)
   at dnWalker.TypeSystem.Domain.LoadFromFile(String file) in /home/runner/work/dnWalker/dnWalker/dnWalker.TypeSystem/Domain.cs:line 122
   at dnWalker.Tests.TypeSystem.DefinitionProviderTests.Test_DefinitionProviderResolves_TextWriter(String location) in /home/runner/work/dnWalker/dnWalker/dnWalker.TypeSystem.Tests/DefinitionProviderTests.cs:line 52
   at InvokeStub_DefinitionProviderTests.Test_DefinitionProviderResolves_TextWriter(Object, Span`1)
   at System.Reflection.MethodBaseInvoker.InvokeWithOneArg(Object obj, BindingFlags invokeAttr, Binder binder, Object[] parameters, CultureInfo culture)

Check warning on line 0 in dnWalker.Tests.TypeSystem.DefinitionProviderTests

github-actions / Test Results

Test_DefinitionProviderResolves_TextWriter(location: "../../../../Examples/bin/Release/net5.0/Examples.d"...) (dnWalker.Tests.TypeSystem.DefinitionProviderTests) failed

TestResults/_fv-az2028-255_2024-11-17_12_13_41[1].trx [took 0s]

Raw output


            System.IO.IOException : Could not open file /home/runner/work/dnWalker/dnWalker/Examples/bin/Release/net5.0/Examples.dll for reading. Error: -1   at dnlib.IO.MemoryMappedDataReaderFactory.Unix.Mmap(MemoryMappedDataReaderFactory creator, Boolean mapAsImage)
   at dnlib.IO.MemoryMappedDataReaderFactory.CreateUnix(String filename, Boolean mapAsImage)
   at dnlib.IO.DataReaderFactoryFactory.CreateDataReaderFactory(String fileName, Boolean mapAsImage)
   at dnlib.IO.DataReaderFactoryFactory.Create(String fileName, Boolean mapAsImage)
   at dnlib.PE.PEImage..ctor(String filename, Boolean mapAsImage, Boolean verify)
   at dnlib.PE.PEImage..ctor(String filename, Boolean verify)
   at dnlib.PE.PEImage..ctor(String filename)
   at dnlib.DotNet.MD.MetadataFactory.Load(String fileName, CLRRuntimeReaderKind runtime)
   at dnlib.DotNet.ModuleDefMD.Load(String fileName, ModuleCreationOptions options)
   at dnlib.DotNet.AssemblyDef.Load(String fileName, ModuleCreationOptions options)
   at dnlib.DotNet.AssemblyDef.Load(String fileName, ModuleContext context)
   at dnWalker.TypeSystem.Domain.LoadFromFile(String file) in /home/runner/work/dnWalker/dnWalker/dnWalker.TypeSystem/Domain.cs:line 122
   at dnWalker.Tests.TypeSystem.DefinitionProviderTests.Test_DefinitionProviderResolves_TextWriter(String location) in /home/runner/work/dnWalker/dnWalker/dnWalker.TypeSystem.Tests/DefinitionProviderTests.cs:line 52
   at System.RuntimeMethodHandle.InvokeMethod(Object target, Void** arguments, Signature sig, Boolean isConstructor)
   at System.Reflection.MethodBaseInvoker.InvokeDirectByRefWithFewArgs(Object obj, Span`1 copyOfArgs, BindingFlags invokeAttr)

Check warning on line 0 in dnWalker.IntegrationTests.Demonstrations.Primitive.MethodsWithPrimitiveArgumentsTests

github-actions / Test Results

NoPreconditions_Foo(buildInfo: BuildInfo { Configuration = "Release", Target = "net8.0" }) (dnWalker.IntegrationTests.Demonstrations.Primitive.MethodsWithPrimitiveArgumentsTests) failed

TestResults/_fv-az2028-255_2024-11-17_12_14_03[1].trx [took 0s]

Raw output


            System.ArgumentNullException : Value cannot be null. (Parameter 'entryPoint')   at dnWalker.Traversal.PathStore..ctor(MethodDef entryPoint, ICache`2 cfgProvider) in /home/runner/work/dnWalker/dnWalker/dnWalker/Traversal/PathStore.cs:line 27
   at dnWalker.Concolic.ExplorerBase.Run(MethodDef entryPoint, IExplorationStrategy strategy, IEnumerable`1 constraints) in /home/runner/work/dnWalker/dnWalker/dnWalker/Concolic/ExplorerBase.cs:line 93
   at dnWalker.IntegrationTests.IntegrationTestBase.Explore[TStrategy](String methodName, IEnumerable`1 constraints) in /home/runner/work/dnWalker/dnWalker/dnWalker.IntegrationTests/IntegrationTestBase.cs:line 96
   at dnWalker.IntegrationTests.IntegrationTestBase.Explore(String methodName) in /home/runner/work/dnWalker/dnWalker/dnWalker.IntegrationTests/IntegrationTestBase.cs:line 109
   at dnWalker.IntegrationTests.Demonstrations.Primitive.MethodsWithPrimitiveArgumentsTests.NoPreconditions_Foo(BuildInfo buildInfo) in /home/runner/work/dnWalker/dnWalker/dnWalker.IntegrationTests/Demonstrations/Primitive/MethodsWithPrimitiveArgumentsTests.cs:line 37
   at System.RuntimeMethodHandle.InvokeMethod(Object target, Void** arguments, Signature sig, Boolean isConstructor)
   at System.Reflection.MethodBaseInvoker.InvokeDirectByRefWithFewArgs(Object obj, Span`1 copyOfArgs, BindingFlags invokeAttr)

Check warning on line 0 in dnWalker.IntegrationTests.Demonstrations.Primitive.MethodsWithPrimitiveArgumentsTests

github-actions / Test Results

NoPreconditions_Foo(buildInfo: BuildInfo { Configuration = "Debug", Target = "net8.0" }) (dnWalker.IntegrationTests.Demonstrations.Primitive.MethodsWithPrimitiveArgumentsTests) failed

TestResults/_fv-az2028-255_2024-11-17_12_14_03[1].trx [took 0s]

Raw output


            System.ArgumentNullException : Value cannot be null. (Parameter 'entryPoint')   at dnWalker.Traversal.PathStore..ctor(MethodDef entryPoint, ICache`2 cfgProvider) in /home/runner/work/dnWalker/dnWalker/dnWalker/Traversal/PathStore.cs:line 27
   at dnWalker.Concolic.ExplorerBase.Run(MethodDef entryPoint, IExplorationStrategy strategy, IEnumerable`1 constraints) in /home/runner/work/dnWalker/dnWalker/dnWalker/Concolic/ExplorerBase.cs:line 93
   at dnWalker.IntegrationTests.IntegrationTestBase.Explore[TStrategy](String methodName, IEnumerable`1 constraints) in /home/runner/work/dnWalker/dnWalker/dnWalker.IntegrationTests/IntegrationTestBase.cs:line 96
   at dnWalker.IntegrationTests.IntegrationTestBase.Explore(String methodName) in /home/runner/work/dnWalker/dnWalker/dnWalker.IntegrationTests/IntegrationTestBase.cs:line 109
   at dnWalker.IntegrationTests.Demonstrations.Primitive.MethodsWithPrimitiveArgumentsTests.NoPreconditions_Foo(BuildInfo buildInfo) in /home/runner/work/dnWalker/dnWalker/dnWalker.IntegrationTests/Demonstrations/Primitive/MethodsWithPrimitiveArgumentsTests.cs:line 37
   at InvokeStub_MethodsWithPrimitiveArgumentsTests.NoPreconditions_Foo(Object, Span`1)
   at System.Reflection.MethodBaseInvoker.InvokeWithOneArg(Object obj, BindingFlags invokeAttr, Binder binder, Object[] parameters, CultureInfo culture)

Check warning on line 0 in dnWalker.IntegrationTests.Demonstrations.Concrete.ArraysTests

github-actions / Test Results

NoPreconditions_IndexOf(buildInfo: BuildInfo { Configuration = "Debug", Target = "net8.0" }) (dnWalker.IntegrationTests.Demonstrations.Concrete.ArraysTests) failed

TestResults/_fv-az2028-255_2024-11-17_12_14_03[1].trx [took 0s]

Raw output


            System.IndexOutOfRangeException : Index was outside the bounds of the array.   at MMC.Data.DataElementStack.Peek(Int32 depth) in /home/runner/work/dnWalker/dnWalker/dnWalker/DataElementStack.cs:line 108
   at dnWalker.Instructions.Extensions.NativePeers.Symbolic.SymbolicMethodHandlers.CreateArgumentList(MethodDef method, ExplicitActiveState cur) in /home/runner/work/dnWalker/dnWalker/dnWalker/Instructions/Extensions/NativePeers/Symbolic/SymbolicMethodHandlers.cs:line 53
   at dnWalker.Instructions.Extensions.NativePeers.Symbolic.SymbolicMethodHandlers.Execute(InstructionExecBase baseExecutor, ExplicitActiveState cur, InstructionExecution next) in /home/runner/work/dnWalker/dnWalker/dnWalker/Instructions/Extensions/NativePeers/Symbolic/SymbolicMethodHandlers.cs:line 34
   at dnWalker.Instructions.ExtendableInstructionExecBase.ExecutionPipeline.ExecuteNext(InstructionExecBase instruction, ExplicitActiveState cur) in /home/runner/work/dnWalker/dnWalker/dnWalker/Instructions/ExtendableInstructionExecBase.cs:line 55
   at dnWalker.Instructions.ExtendableInstructionExecBase.ExecutionPipeline.Execute(ExplicitActiveState cur) in /home/runner/work/dnWalker/dnWalker/dnWalker/Instructions/ExtendableInstructionExecBase.cs:line 43
   at dnWalker.Instructions.ExtendableInstructionExecBase.Execute(ExplicitActiveState cur) in /home/runner/work/dnWalker/dnWalker/dnWalker/Instructions/ExtendableInstructionExecBase.cs:line 101
   at MMC.State.ThreadState.ExecuteStep(IInstructionExecProvider instructionExecProvider, Logger logger, IConfiguration config, StatefulDynamicPOR m_dpor, Boolean& threadTerm) in /home/runner/work/dnWalker/dnWalker/dnWalker/ThreadState.cs:line 320
   at MMC.Explorer.ExecuteStep(ThreadState thread, Boolean& threadTerm) in /home/runner/work/dnWalker/dnWalker/dnWalker/Explorer.cs:line 421
   at MMC.Explorer.ExecuteNextStep(ThreadState thread) in /home/runner/work/dnWalker/dnWalker/dnWalker/Explorer.cs:line 442
   at MMC.Explorer.Run() in /home/runner/work/dnWalker/dnWalker/dnWalker/Explorer.cs:line 302
   at dnWalker.Concolic.ConcolicExplorer.RunCore(MethodDef entryPoint, PathStore pathStore, ExplicitActiveState cur, IExplorationStrategy strategy, IEnumerable`1 constraints) in /home/runner/work/dnWalker/dnWalker/dnWalker/Concolic/ConcolicExplorer.cs:line 81
   at dnWalker.Concolic.ExplorerBase.Run(MethodDef entryPoint, IExplorationStrategy strategy, IEnumerable`1 constraints) in /home/runner/work/dnWalker/dnWalker/dnWalker/Concolic/ExplorerBase.cs:line 106
   at dnWalker.IntegrationTests.IntegrationTestBase.Explore[TStrategy](String methodName, IEnumerable`1 constraints) in /home/runner/work/dnWalker/dnWalker/dnWalker.IntegrationTests/IntegrationTestBase.cs:line 96
   at dnWalker.IntegrationTests.IntegrationTestBase.Explore(String methodName) in /home/runner/work/dnWalker/dnWalker/dnWalker.IntegrationTests/IntegrationTestBase.cs:line 109
   at dnWalker.IntegrationTests.Demonstrations.Concrete.ArraysTests.NoPreconditions_IndexOf(BuildInfo buildInfo) in /home/runner/work/dnWalker/dnWalker/dnWalker.IntegrationTests/Demonstrations/Concrete/ArraysTests.cs:line 26
   at System.RuntimeMethodHandle.InvokeMethod(Object target, Void** arguments, Signature sig, Boolean isConstructor)
   at System.Reflection.MethodBaseInvoker.InvokeDirectByRefWithFewArgs(Object obj, Span`1 copyOfArgs, BindingFlags invokeAttr)

Check warning on line 0 in dnWalker.IntegrationTests.Demonstrations.Concrete.ArraysTests

github-actions / Test Results

NoPreconditions_IndexOf(buildInfo: BuildInfo { Configuration = "Release", Target = "net8.0" }) (dnWalker.IntegrationTests.Demonstrations.Concrete.ArraysTests) failed

TestResults/_fv-az2028-255_2024-11-17_12_14_03[1].trx [took 0s]

Raw output


            System.IndexOutOfRangeException : Index was outside the bounds of the array.   at MMC.Data.DataElementStack.Peek(Int32 depth) in /home/runner/work/dnWalker/dnWalker/dnWalker/DataElementStack.cs:line 108
   at dnWalker.Instructions.Extensions.NativePeers.Symbolic.SymbolicMethodHandlers.CreateArgumentList(MethodDef method, ExplicitActiveState cur) in /home/runner/work/dnWalker/dnWalker/dnWalker/Instructions/Extensions/NativePeers/Symbolic/SymbolicMethodHandlers.cs:line 53
   at dnWalker.Instructions.Extensions.NativePeers.Symbolic.SymbolicMethodHandlers.Execute(InstructionExecBase baseExecutor, ExplicitActiveState cur, InstructionExecution next) in /home/runner/work/dnWalker/dnWalker/dnWalker/Instructions/Extensions/NativePeers/Symbolic/SymbolicMethodHandlers.cs:line 34
   at dnWalker.Instructions.ExtendableInstructionExecBase.ExecutionPipeline.ExecuteNext(InstructionExecBase instruction, ExplicitActiveState cur) in /home/runner/work/dnWalker/dnWalker/dnWalker/Instructions/ExtendableInstructionExecBase.cs:line 55
   at dnWalker.Instructions.ExtendableInstructionExecBase.ExecutionPipeline.Execute(ExplicitActiveState cur) in /home/runner/work/dnWalker/dnWalker/dnWalker/Instructions/ExtendableInstructionExecBase.cs:line 43
   at dnWalker.Instructions.ExtendableInstructionExecBase.Execute(ExplicitActiveState cur) in /home/runner/work/dnWalker/dnWalker/dnWalker/Instructions/ExtendableInstructionExecBase.cs:line 101
   at MMC.State.ThreadState.ExecuteStep(IInstructionExecProvider instructionExecProvider, Logger logger, IConfiguration config, StatefulDynamicPOR m_dpor, Boolean& threadTerm) in /home/runner/work/dnWalker/dnWalker/dnWalker/ThreadState.cs:line 320
   at MMC.Explorer.ExecuteStep(ThreadState thread, Boolean& threadTerm) in /home/runner/work/dnWalker/dnWalker/dnWalker/Explorer.cs:line 421
   at MMC.Explorer.ExecuteNextStep(ThreadState thread) in /home/runner/work/dnWalker/dnWalker/dnWalker/Explorer.cs:line 442
   at MMC.Explorer.Run() in /home/runner/work/dnWalker/dnWalker/dnWalker/Explorer.cs:line 302
   at dnWalker.Concolic.ConcolicExplorer.RunCore(MethodDef entryPoint, PathStore pathStore, ExplicitActiveState cur, IExplorationStrategy strategy, IEnumerable`1 constraints) in /home/runner/work/dnWalker/dnWalker/dnWalker/Concolic/ConcolicExplorer.cs:line 81
   at dnWalker.Concolic.ExplorerBase.Run(MethodDef entryPoint, IExplorationStrategy strategy, IEnumerable`1 constraints) in /home/runner/work/dnWalker/dnWalker/dnWalker/Concolic/ExplorerBase.cs:line 106
   at dnWalker.IntegrationTests.IntegrationTestBase.Explore[TStrategy](String methodName, IEnumerable`1 constraints) in /home/runner/work/dnWalker/dnWalker/dnWalker.IntegrationTests/IntegrationTestBase.cs:line 96
   at dnWalker.IntegrationTests.IntegrationTestBase.Explore(String methodName) in /home/runner/work/dnWalker/dnWalker/dnWalker.IntegrationTests/IntegrationTestBase.cs:line 109
   at dnWalker.IntegrationTests.Demonstrations.Concrete.ArraysTests.NoPreconditions_IndexOf(BuildInfo buildInfo) in /home/runner/work/dnWalker/dnWalker/dnWalker.IntegrationTests/Demonstrations/Concrete/ArraysTests.cs:line 26
   at InvokeStub_ArraysTests.NoPreconditions_IndexOf(Object, Span`1)
   at System.Reflection.MethodBaseInvoker.InvokeWithOneArg(Object obj, BindingFlags invokeAttr, Binder binder, Object[] parameters, CultureInfo culture)

Check warning on line 0 in dnWalker.Tests.Examples.CaptureOutputTests

github-actions / Test Results

CaptureOutputTest2(buildInfo: BuildInfo { Configuration = "Release", Target = "net8.0" }) (dnWalker.Tests.Examples.CaptureOutputTests) failed