Path condition #91
Merged
Path condition #91
Annotations
12 warnings
|
|
|
|
|
VSharp.Runner/RunnerProgram.cs#L660
Possible null reference argument for parameter 'pathToModel' in 'void RunnerProgram.SpecificMethodHandler(FileInfo assemblyPath, string methodName, int timeout, int solverTimeout, DirectoryInfo output, bool renderTests, bool runTests, bool checkCoverage, SearchStrategy strat, Verbosity verbosity, uint recursionThreshold, ExplorationMode explorationMode, string pathToModel, bool useGPU, bool optimize)'.
|
|
VSharp.Runner/RunnerProgram.cs#L627
Possible null reference argument for parameter 'pathToModel' in 'void RunnerProgram.PublicMethodsOfTypeHandler(FileInfo assemblyPath, string typeName, int timeout, int solverTimeout, DirectoryInfo output, bool renderTests, bool runTests, SearchStrategy strat, Verbosity verbosity, uint recursionThreshold, ExplorationMode explorationMode, string pathToModel, bool useGPU, bool optimize)'.
|
|
VSharp.Runner/RunnerProgram.cs#L597
Possible null reference argument for parameter 'pathToModel' in 'void RunnerProgram.AllPublicMethodsHandler(FileInfo assemblyPath, int timeout, int solverTimeout, DirectoryInfo output, bool renderTests, bool runTests, SearchStrategy strat, Verbosity verbosity, uint recursionThreshold, ExplorationMode explorationMode, string pathToModel, bool useGPU, bool optimize)'.
|
|
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)'.
|
|
VSharp.Runner/RunnerProgram.cs#L96
Dereference of a possibly null reference.
|
|
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?'
|
|
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?'
|
|
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.
|
|
VSharp.TestRenderer/CodeRenderer.cs#L152
Dereference of a possibly null reference.
|
|
VSharp.CSharpUtils/LayoutUtils.cs#L56
'RuntimeHelpers.OffsetToStringData' is obsolete: 'OffsetToStringData has been deprecated. Use string.GetPinnableReference() instead.'
|
The logs for this run have expired and are no longer available.
Loading