diff --git a/tests/links/more_dirs.sby b/tests/links/more_dirs.sby new file mode 100644 index 0000000..b873726 --- /dev/null +++ b/tests/links/more_dirs.sby @@ -0,0 +1,17 @@ +[tasks] +link +copy + +[options] +mode prep + +[engines] +btor btormc + +[script] +read -noverific +script dir/script.ys + +[files] +here/dir ${WORKDIR}/../dir +a/b/c.v prv32fmcmp.v diff --git a/tests/links/more_dirs.sh b/tests/links/more_dirs.sh new file mode 100644 index 0000000..15d872e --- /dev/null +++ b/tests/links/more_dirs.sh @@ -0,0 +1,10 @@ +#!/bin/bash +set -e +if [[ $TASK == link ]]; then + flags="--setup --link" +else + flags="--setup" +fi +python3 $SBY_MAIN -f $SBY_FILE $TASK $flags + +test -e ${WORKDIR}/src/here/dir -a -e ${WORKDIR}/src/a/b/c.v