-
Notifications
You must be signed in to change notification settings - Fork 17
/
.gitmodules
19 lines (19 loc) · 658 Bytes
/
.gitmodules
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
[submodule "bench/testcomp/sv-benchmarks"]
path = bench/testcomp/sv-benchmarks
url = https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks.git
shallow = true
[submodule "test/script/reference"]
path = test/script/reference
url = https://github.com/WebAssembly/testsuite.git
shallow = true
[submodule "bench/klee"]
path = bench/klee
url = https://github.com/zapashcanon/klee-testcomp.git
shallow = true
[submodule "test/c/collections-c/files"]
path = test/c/collections-c/files
url = https://github.com/zapashcanon/Collections-C.git
shallow = true
[submodule "bench/btree"]
path = bench/btree
url = https://github.com/filipeom/wasm-dataset.git