[submodule "Test/libraries"]
	path = Source/IntegrationTests/TestFiles/LitTests/LitTest/libraries
	url = https://github.com/dafny-lang/libraries.git