. lib
. flavour

test "$ALG_REACHABILITY" = ON || skip

all_small reachability -w 1 $FLAVOUR
all_small reachability -w 2 $FLAVOUR