Skip to content

Commit

Permalink
[e2e] Add verification runner (#443)
Browse files Browse the repository at this point in the history
  • Loading branch information
igalshilman authored Oct 4, 2024
1 parent adb64d9 commit 2492321
Showing 1 changed file with 43 additions and 0 deletions.
43 changes: 43 additions & 0 deletions scripts/run-verification.sh
Original file line number Diff line number Diff line change
@@ -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"

0 comments on commit 2492321

Please sign in to comment.