github.com/badrootd/celestia-core@v0.0.0-20240305091328-aa4207a4b25d/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