Update VSharp to net8 #83
cat923Annotations
12 warnings
|
build
No files were found with the provided path: ./VSharp.TestRunner/bin/DebugTailRec/net7.0. No artifacts will be uploaded.
|
|
build
No files were found with the provided path: ./VSharp.Runner/bin/DebugTailRec/net7.0. No artifacts will be uploaded.
|
|
build:
VSharp.Utils/MemoryGraph.fs#L301
This construct is deprecated. Formatter-based serialization is obsolete and should not be used.
|
|
build:
VSharp.Utils/MemoryGraph.fs#L301
This construct is deprecated. Formatter-based serialization is obsolete and should not be used.
|
|
build:
VSharp.Utils/Reflection.fs#L459
This construct is deprecated. Formatter-based serialization is obsolete and should not be used.
|
|
build:
VSharp.Utils/Reflection.fs#L459
This construct is deprecated. Formatter-based serialization is obsolete and should not be used.
|
|
build:
VSharp.Utils/Collections.fs#L295
This construct is deprecated. Formatter-based serialization is obsolete and should not be used.
|
|
build:
VSharp.Utils/Collections.fs#L295
This construct is deprecated. Formatter-based serialization is obsolete and should not be used.
|
|
build:
VSharp.CSharpUtils/LayoutUtils.cs#L56
'RuntimeHelpers.OffsetToStringData' is obsolete: 'OffsetToStringData has been deprecated. Use string.GetPinnableReference() instead.'
|
|
build:
VSharp.TestExtensions/Allocator.cs#L51
'FormatterServices' is obsolete: 'Formatter-based serialization is obsolete and should not be used.' (https://aka.ms/dotnet-warnings/SYSLIB0050)
|
|
build:
VSharp.TestExtensions/Allocator.cs#L160
'FormatterServices' is obsolete: 'Formatter-based serialization is obsolete and should not be used.' (https://aka.ms/dotnet-warnings/SYSLIB0050)
|
|
build:
VSharp.TestExtensions/Allocator.cs#L153
'FormatterServices' is obsolete: 'Formatter-based serialization is obsolete and should not be used.' (https://aka.ms/dotnet-warnings/SYSLIB0050)
|