removing pathConditionRoot from the states #98
+16
−20
Annotations
12 warnings
|
Run actions/upload-artifact@v4
No files were found with the provided path: ./VSharp.TestRunner/bin/DebugTailRec/net7.0. No artifacts will be uploaded.
|
|
Run actions/upload-artifact@v4
No files were found with the provided path: ./VSharp.Runner/bin/DebugTailRec/net7.0. No artifacts will be uploaded.
|
|
Build VSharp:
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)'.
|
|
Build VSharp:
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)'.
|
|
Build VSharp:
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)'.
|
|
Build VSharp:
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:
VSharp.Runner/RunnerProgram.cs#L96
Dereference of a possibly null reference.
|
|
Build VSharp:
VSharp.API/VSharpOptions.cs#L116
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
Build VSharp:
VSharp.API/VSharpOptions.cs#L153
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
Build VSharp:
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:
VSharp.TestRenderer/CodeRenderer.cs#L152
Dereference of a possibly null reference.
|
|
Build VSharp:
VSharp.CSharpUtils/LayoutUtils.cs#L56
'RuntimeHelpers.OffsetToStringData' is obsolete: 'OffsetToStringData has been deprecated. Use string.GetPinnableReference() instead.'
|
Loading