Increase gRPC message size limit from 8MB to 64MB

apalache-mc · Mar 4, 2024 · d1a322e · d1a322e
1 parent c3df3a9
commit d1a322e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/shai/src/main/scala/at/forsyte/apalache/shai/v1/RpcServer.scala b/shai/src/main/scala/at/forsyte/apalache/shai/v1/RpcServer.scala
@@ -37,11 +37,11 @@ class RpcServer(override val port: Int) extends ServerMain with LazyLogging {
   // This is needed even if the type below is omitted / inferred.
   import scala.language.existentials
 
-  // Double max inbound message size to 8MB
+  // Set max inbound message size to 64MB
   // Fixes `io.grpc.StatusRuntimeException: RESOURCE_EXHAUSTED: gRPC message exceeds maximum size`:
   // https://github.com/informalsystems/apalache/issues/2622
   override def builder: (x0) forSome { type x0 <: ServerBuilder[x0] } =
-    super.builder.maxInboundMessageSize(8 * 1024 * 1024)
+    super.builder.maxInboundMessageSize(64 * 1024 * 1024)
 
   override def run(args: List[String]) = {
     myAppLogic.catchAll { t =>