concuerror.sh

#!/usr/bin/env bash 
#
# runs Concuerror 
#
set +x
# Path to Concuerror
CONC=../../erlang/Concuerror/concuerror

# Path to Elixir
ELIXIR=../elixir-1.0.2/lib/elixir/ebin
EXUNIT=../elixir-1.0.2/lib/ex_unit/ebin

# Path to our program under test
RX=_build/test/lib/reaxive/ebin

# Our Module
MOD=Elixir.Reaxive
# Our Test function
FUN=test

# Our Graph-Result
GRAPH=trace/concuerror.dot

###############################################
###############################################

$CONC --graph $GRAPH --show_races true --after_timeout 1000 \
    --depth_bound 200  --non_racing_system code_server --non_racing_system user \
    --pa $ELIXIR --pa $EXUNIT --pa $RX -m $MOD -t $FUN $*