From aef25302c6ce5f602c5ce1509f84567832114be7 Mon Sep 17 00:00:00 2001
From: Benedikt Reinartz <filmor@gmail.com>
Date: Tue, 21 Oct 2025 19:01:42 +0200
Subject: [PATCH] Properly detect availability of BinaryFormatter

---
 src/runtime/StateSerialization/RuntimeData.cs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/runtime/StateSerialization/RuntimeData.cs b/src/runtime/StateSerialization/RuntimeData.cs
index 8eda9ce0b..61e377aa4 100644
--- a/src/runtime/StateSerialization/RuntimeData.cs
+++ b/src/runtime/StateSerialization/RuntimeData.cs
@@ -20,7 +20,9 @@ public static class RuntimeData
         {
             try
             {
-                return new BinaryFormatter();
+                var res = new BinaryFormatter();
+                res.Serialize(new MemoryStream(), 1); // test if BinaryFormatter is usable
+                return res;
             }
             catch
             {