Build VSharp #84
GitubrrAnnotations
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/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)
|
|
build:
VSharp.CoverageInstrumenter/profiler/api.h#L14
__declspec attribute 'dllimport' is not supported
|
|
build:
VSharp.CoverageInstrumenter/profiler/api.h#L13
__declspec attribute 'dllimport' is not supported
|
|
build:
VSharp.CoverageInstrumenter/profiler/api.h#L12
__declspec attribute 'dllimport' is not supported
|