DafnyDriver 4.9.0

net6.0

• DafnyCore (>= 4.9.0)
• DafnyServer (>= 4.9.0)
• DafnyTestGeneration (>= 4.9.0)
• Microsoft.TestPlatform.Extensions.TrxLogger (>= 17.9.0)
• Microsoft.TestPlatform.TestHost (>= 17.9.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)