Release 4.8.0 · dafny-lang/dafny@93d2972

Run AutoExtern Tests: Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

Run DafnyCore Tests: Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

Build: Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

Build: Source/DafnyDriver/Commands/VerifyCommand.cs#L102

Build: Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

Build: Source/DafnyDriver/Commands/VerifyCommand.cs#L102

Converting null literal or possible null value to non-nullable type.

Run DafnyPipeline Tests: Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

Converting null literal or possible null value to non-nullable type.

Run DafnyDriver Tests: Source/DafnyCore/Backends/BoogieExtractor.cs#L190

Converting null literal or possible null value to non-nullable type.

Run DafnyDriver Tests: Source/DafnyDriver/Commands/VerifyCommand.cs#L102

Provide feedback