AI guided searcher #3
gsvgitAnnotations
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/VSharp.cs#L197
The result of the expression is always 'false' since a value of type 'bool' is never equal to 'null' of type 'bool?'
|
|
build:
VSharp.API/VSharp.cs#L196
The result of the expression is always 'false' since a value of type 'bool' is never equal to 'null' of type 'bool?'
|
|
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.'
|