tobast/mpri-funcprog-project
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Use shared tests

Browse source
This commit is contained in:
Théophile Bastian 2018-02-16 17:58:30 +01:00
parent b0cd872baf
commit 0939615350
8 changed files with 10 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
.gitmodules vendored Normal file
View file

@ -0,0 +1,3 @@
[submodule "src/tests_shared"]
path = src/tests_shared
url = git@github.com:tobast/mpri18-funcprog-tests.git

1
src/tests/if_fib.exp Symbolic link
View file

@ -0,0 +1 @@
../tests_shared/if_fib.exp

1
src/tests/if_fib.lambda Symbolic link
View file

@ -0,0 +1 @@
../tests_shared/if_fib.lambda

1
src/tests/if_nested.exp Symbolic link
View file

@ -0,0 +1 @@
../tests_shared/if_nested.exp

1
src/tests/if_nested.lambda Symbolic link
View file

@ -0,0 +1 @@
../tests_shared/if_nested.lambda

1
src/tests/ren.exp Symbolic link
View file

@ -0,0 +1 @@
../tests_shared/ren.exp

1
src/tests/ren.lambda Symbolic link
View file

@ -0,0 +1 @@
../tests_shared/ren.lambda

1
src/tests_shared Submodule

@ -0,0 +1 @@
Subproject commit 2f1fd4e22a54da905612cdfcedff41bf148f18c8