diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..862af46 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "src/tests_shared"] + path = src/tests_shared + url = git@github.com:tobast/mpri18-funcprog-tests.git diff --git a/src/tests/if_fib.exp b/src/tests/if_fib.exp new file mode 120000 index 0000000..9132c0e --- /dev/null +++ b/src/tests/if_fib.exp @@ -0,0 +1 @@ +../tests_shared/if_fib.exp \ No newline at end of file diff --git a/src/tests/if_fib.lambda b/src/tests/if_fib.lambda new file mode 120000 index 0000000..900ee14 --- /dev/null +++ b/src/tests/if_fib.lambda @@ -0,0 +1 @@ +../tests_shared/if_fib.lambda \ No newline at end of file diff --git a/src/tests/if_nested.exp b/src/tests/if_nested.exp new file mode 120000 index 0000000..0a6c5c1 --- /dev/null +++ b/src/tests/if_nested.exp @@ -0,0 +1 @@ +../tests_shared/if_nested.exp \ No newline at end of file diff --git a/src/tests/if_nested.lambda b/src/tests/if_nested.lambda new file mode 120000 index 0000000..ae63410 --- /dev/null +++ b/src/tests/if_nested.lambda @@ -0,0 +1 @@ +../tests_shared/if_nested.lambda \ No newline at end of file diff --git a/src/tests/ren.exp b/src/tests/ren.exp new file mode 120000 index 0000000..4d869b5 --- /dev/null +++ b/src/tests/ren.exp @@ -0,0 +1 @@ +../tests_shared/ren.exp \ No newline at end of file diff --git a/src/tests/ren.lambda b/src/tests/ren.lambda new file mode 120000 index 0000000..d7f1801 --- /dev/null +++ b/src/tests/ren.lambda @@ -0,0 +1 @@ +../tests_shared/ren.lambda \ No newline at end of file diff --git a/src/tests_shared b/src/tests_shared new file mode 160000 index 0000000..2f1fd4e --- /dev/null +++ b/src/tests_shared @@ -0,0 +1 @@ +Subproject commit 2f1fd4e22a54da905612cdfcedff41bf148f18c8