Test --link functionality

tests/links/Makefile

@@ -0,0 +1,2 @@
+SUBDIR=links
+include ../make/subdir.mk

tests/links/dir/script.ys

@@ -0,0 +1,3 @@
+read -sv picorv32.v
+read -sv prv32fmcmp.v
+prep -top prv32fmcmp

tests/links/prv32fmcmp.v

@@ -0,0 +1 @@
+../unsorted/prv32fmcmp.v

tests/links/symlink.py

@@ -0,0 +1,12 @@
+import os
+from pathlib import Path
+import sys
+
+def main():
+    workdir, task = sys.argv[1:]
+    src = Path(workdir) / "src"
+    for srcfile in src.iterdir():
+        assert(srcfile.is_symlink() == (task == "link"))
+
+if __name__ == "__main__":
+    main()

tests/links/symlink.sby

@@ -0,0 +1,18 @@
+[tasks]
+link
+copy
+
+[options]
+mode prep
+
+[engines]
+btor btormc
+
+[script]
+read -noverific
+script dir/script.ys
+
+[files]
+../../docs/examples/demos/picorv32.v
+prv32fmcmp.v
+dir

tests/links/symlink.sh

@@ -0,0 +1,9 @@
+#!/bin/bash
+set -e
+if [[ $TASK == link ]]; then
+    flags="--setup --link"
+else
+    flags="--setup"
+fi
+python3 $SBY_MAIN -f $SBY_FILE $TASK $flags
+python3 ${SBY_FILE%.sby}.py $WORKDIR $TASK