Updating dependencies

Source/Core/Runtime/Exceptions/RuntimeException.cs

@@ -40,6 +40,9 @@ internal RuntimeException(string message, Exception innerException)
         /// <summary>
         /// Initializes a new instance of the <see cref="RuntimeException"/> class.
         /// </summary>
+        #if NET8_0_OR_GREATER
+        [Obsolete("Marking obsolete until RuntimeException remains serializable", DiagnosticId = "SYSLIB0051")]
+        #endif
         protected RuntimeException(SerializationInfo serializationInfo, StreamingContext streamingContext)
             : base(serializationInfo, streamingContext)
         {

Source/Test/Rewriting/Types/Collections/Generic/Dictionary.cs

@@ -1,6 +1,7 @@
 // Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
+using System;
 using System.Runtime.Serialization;
 using Microsoft.Coyote.Runtime;
 using SystemGenerics = System.Collections.Generic;
@@ -246,6 +247,9 @@ public static bool TryGetValue(SystemGenerics.Dictionary<TKey, TValue> instance,
         /// Implements the <see cref="ISerializable"/> interface and returns the data needed
         /// to serialize the dictionary instance.
         /// </summary>
+        #if NET8_0_OR_GREATER
+        [Obsolete("Marking obsolete", DiagnosticId = "SYSLIB0051")]
+        #endif
         public static void GetObjectData(SystemGenerics.Dictionary<TKey, TValue> instance,
             SerializationInfo info, StreamingContext context)
         {

Source/Test/Rewriting/Types/Collections/Generic/HashSet.cs

@@ -183,6 +183,9 @@ public static SystemGenerics.HashSet<T>.Enumerator GetEnumerator(SystemGenerics.
         /// Implements the <see cref="ISerializable"/> interface and returns the data needed to
         /// serialize a hash set object.
         /// </summary>
+        #if NET8_0_OR_GREATER
+        [Obsolete("Marking obsolete", DiagnosticId = "SYSLIB0051")]
+        #endif
         public static void GetObjectData(SystemGenerics.HashSet<T> instance, SerializationInfo info,
             StreamingContext context)
         {
@@ -376,6 +379,9 @@ internal Wrapper(SystemGenerics.IEqualityComparer<T> comparer)
             /// <summary>
             /// Initializes a new instance of the <see cref="Wrapper"/> class.
             /// </summary>
+            #if NET8_0_OR_GREATER
+            [Obsolete("Marking obsolete", DiagnosticId = "SYSLIB0051")]
+            #endif
             internal Wrapper(SerializationInfo info, StreamingContext context)
                 : base(info, context) => this.Setup();
 

Source/Test/Rewriting/Types/Runtime/CompilerServices/ConfiguredTaskAwaitable.cs

@@ -11,7 +11,7 @@
 namespace Microsoft.Coyote.Rewriting.Types.Runtime.CompilerServices
 {
     /// <summary>
-    /// Provides an awaitable object that is the outcome of invoking <see cref="SystemTask.ConfigureAwait"/>.
+    /// Provides an awaitable object that is the outcome of invoking <see cref="SystemTask.ConfigureAwait(bool)"/>.
     /// </summary>
     /// <remarks>This type is intended for compiler use only.</remarks>
     [System.ComponentModel.EditorBrowsable(System.ComponentModel.EditorBrowsableState.Never)]

global.json

@@ -1,5 +1,5 @@
 {
   "sdk": {
-    "version": "8.0.303"
+    "version": "8.0.404"
   }
 }