No files were found with the provided path: ./VSharp.TestRunner/bin/DebugTailRec/net7.0. No artifacts will be uploaded.

No files were found with the provided path: ./VSharp.Runner/bin/DebugTailRec/net7.0. No artifacts will be uploaded.

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)'.

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)'.

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)'.

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)'.

Dereference of a possibly null reference.

The result of the expression is always 'false' since a value of type 'bool' is never equal to 'null' of type 'bool?'

The result of the expression is always 'false' since a value of type 'bool' is never equal to 'null' of type 'bool?'

Override implementations in augmentations are now deprecated. Override implementations should be given as part of the initial declaration of a type.

Dereference of a possibly null reference.