[submodule "libafl_concolic/symcc_runtime/symcc"]
	path = libafl_concolic/symcc_runtime/symcc
	url = ../symcc.git