language: bash script: dev/tests/run_tests.sh