github.com/Team-Kujira/tendermint@v0.34.24-indexer/spec/light-client/accountability/run.sh (about) 1 #!/bin/sh 2 # 3 # The script to run all experiments at once 4 5 export SCRIPTS_DIR=~/devl/apalache-tests/scripts 6 export BUILDS="unstable" 7 export BENCHMARK=001indinv-apalache 8 export RUN_SCRIPT=./run-all.sh # alternatively, use ./run-parallel.sh 9 make -e -f ~/devl/apalache-tests/Makefile.common