From 24923218e4cc84023884bcf82a87c3143583a905 Mon Sep 17 00:00:00 2001
From: Igal Shilman <igal@restate.dev>
Date: Fri, 4 Oct 2024 16:00:52 +0200
Subject: [PATCH] [e2e] Add verification runner (#443)

---
 scripts/run-verification.sh | 43 +++++++++++++++++++++++++++++++++++++
 1 file changed, 43 insertions(+)
 create mode 100755 scripts/run-verification.sh

diff --git a/scripts/run-verification.sh b/scripts/run-verification.sh
new file mode 100755
index 00000000..6a98e252
--- /dev/null
+++ b/scripts/run-verification.sh
@@ -0,0 +1,43 @@
+#!/usr/bin/env bash
+
+
+export RESTATE_CONTAINER_IMAGE=${RESTATE_CONTAINER_IMAGE:-"ghcr.io/restatedev/restate:main"}
+export SERVICES_CONTAINER_IMAGE=${SERVICES_CONTAINER_IMAGE:-"localhost/restatedev/test-services:latest"}
+
+export SERVICES=InterpreterDriverJob
+export NODE_ENV=production
+export NODE_OPTIONS="--max-old-space-size=4096"
+export AWS_LAMBDA_FUNCTION_NAME=1
+export DEBUG=testcontainers:containers
+
+SEED=$(date --iso-8601=seconds)
+
+export INTERPRETER_DRIVER_CONF=$(cat <<-EOF
+{
+	"seed"	: "${SEED}",
+	"keys"	: 100000,
+	"tests" : 1000000,
+	"maxProgramSize"	:  20,
+	"crashInterval"		: 900000,
+	"bootstrap"				: true
+}
+EOF
+)
+
+echo $RESTATE_CONTAINER_IMAGE
+
+docker pull ghcr.io/restatedev/e2e-verification-runner:main
+
+docker run \
+	--net host\
+	-v /var/run/docker.sock:/var/run/docker.sock	\
+	--env RESTATE_CONTAINER_IMAGE \
+	--env SERVICES_CONTAINER_IMAGE \
+	--env SERVICES	\
+	--env NODE_ENV \
+	--env NODE_OPTIONS \
+	--env AWS_LAMBDA_FUNCTION_NAME \
+	--env DEBUG \
+	--env INTERPRETER_DRIVER_CONF \
+	ghcr.io/restatedev/e2e-verification-runner:main 2>&1 | grep -v "undefined is not a number, but it still has feelings"
+