1 2 3
[submodule "WhileyLanguageTests"] path = reference-tests url = git@github.com:Whiley/WhileyLanguageTests.git