wasm-semantics/.gitmodules at master · runtimeverification/wasm-semantics · GitHub

Sitelet https://github.com/runtimeverification/wasm-semantics/blob/master/.gitmodules

Repository navigation

4 lines (4 loc) · 119 Bytes

[submodule "tests/wasm-tests"]
	path = tests/wasm-tests
	url = https://github.com/webassembly/spec
	ignore = untracked