1#!/usr/bin/env bash
2
3set -eu
4
5SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
6cd "$SCRIPT_DIR"
7
8for example_path in examples/*.rs; do
9    example_filename=$(basename -- $example_path)
10    example=${example_filename%.*}
11    echo $example
12    cargo valgrind run --example "$example"
13done
14