From 0939615350f76717adfd77a83f0b6c6544c8d0dc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= Date: Fri, 16 Feb 2018 17:58:30 +0100 Subject: [PATCH] Use shared tests --- .gitmodules | 3 +++ src/tests/if_fib.exp | 1 + src/tests/if_fib.lambda | 1 + src/tests/if_nested.exp | 1 + src/tests/if_nested.lambda | 1 + src/tests/ren.exp | 1 + src/tests/ren.lambda | 1 + src/tests_shared | 1 + 8 files changed, 10 insertions(+) create mode 100644 .gitmodules create mode 120000 src/tests/if_fib.exp create mode 120000 src/tests/if_fib.lambda create mode 120000 src/tests/if_nested.exp create mode 120000 src/tests/if_nested.lambda create mode 120000 src/tests/ren.exp create mode 120000 src/tests/ren.lambda create mode 160000 src/tests_shared 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