[submodule "test"]
	path = test
	url = https://github.com/AbsInt/CompCert-small-tests
