Rename PathCondition according to client's naming #49
Parzival-05Annotations
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.Runner/RunnerProgram.cs#L533
Possible null reference argument for parameter 'pathToModel' in 'void RunnerProgram.EntryPointHandler(FileInfo assemblyPath, string[]? args, int timeout, int solverTimeout, DirectoryInfo output, bool renderTests, bool runTests, SearchStrategy strat, Verbosity verbosity, uint recursionThreshold, ExplorationMode explorationMode, string pathToModel, bool useGPU, bool optimize)'.
|
|
build:
VSharp.Runner/RunnerProgram.cs#L96
Dereference of a possibly null reference.
|
|
build:
VSharp.API/VSharpOptions.cs#L116
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
build:
VSharp.API/VSharpOptions.cs#L153
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
build:
VSharp.SILI.Core/MemoryRegion.fs#L788
Override implementations in augmentations are now deprecated. Override implementations should be given as part of the initial declaration of a type.
|
|
build:
VSharp.TestRenderer/CodeRenderer.cs#L152
Dereference of a possibly null reference.
|
|
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
|
|
build:
VSharp.CSharpUtils/LayoutUtils.cs#L56
'RuntimeHelpers.OffsetToStringData' is obsolete: 'OffsetToStringData has been deprecated. Use string.GetPinnableReference() instead.'
|