DafnyDriver 4.1.0-nightly-2023-06-15-8f1311c

net6.0

• DafnyCore (>= 4.1.0-nightly-2023-06-15-8f1311c)
• DafnyServer (>= 4.1.0-nightly-2023-06-15-8f1311c)
• DafnyTestGeneration (>= 4.1.0-nightly-2023-06-15-8f1311c)
• Microsoft.TestPlatform.Extensions.TrxLogger (>= 17.0.0)
• Microsoft.TestPlatform.TestHost (>= 16.11.0)
• Newtonsoft.Json (>= 13.0.1)
• System.Collections (>= 4.3.0)
• System.Diagnostics.Debug (>= 4.3.0)
• System.IO.FileSystem.Primitives (>= 4.3.0)
• System.Runtime.Handles (>= 4.3.0)
• System.Runtime.InteropServices (>= 4.3.0)
• System.Security.Principal.Windows (>= 4.6.0)
• System.Text.Encoding.Extensions (>= 4.3.0)
• System.Threading (>= 4.3.0)