emqx4.3/scripts/find-props.sh

#!/usr/bin/env bash

## this script prints out all test/props/prop_*.erl files of a given app,
## file names are separated by comma for proper's `-m` option

set -euo pipefail

# ensure dir
cd -P -- "$(dirname -- "$0")/.."

BASEDIR="."
if [ "$1" != "emqx" ]; then
    BASEDIR="$1"
fi

find "${BASEDIR}/test/props" -name "prop_*.erl" -print0 2>/dev/null | \
  xargs -0 -I{} basename {} .erl | xargs | tr ' ' ','