From d1a322e499cd6044de1d9c01e93994c98132f98b Mon Sep 17 00:00:00 2001 From: bugarela Date: Mon, 4 Mar 2024 10:18:45 -0300 Subject: [PATCH] Increase gRPC message size limit from 8MB to 64MB --- .../main/scala/at/forsyte/apalache/shai/v1/RpcServer.scala | 4 ++-- 1 file changed, 2 insertions(+), 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 index d213edfe73..a7a234fa50 100644 --- 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 =>