[submodule "difftest"]
	path = difftest
	url = https://gitee.com/rpg-7/difftest
[submodule "abstract-machine"]
	path = abstract-machine
	url = https://gitee.com/rpg-7/abstract-machine
	branch = ysyx2021
[submodule "am-kernels"]
	path = am-kernels
	url = https://gitee.com/rpg-7/am-kernels
[submodule "rtl-automata"]
	path = rtl-automata
	url = https://gitee.com/rpg-7/rtl-automata