add for-test

Signed-off-by: xqx <xqx@server.(none)>
Merge branch 'master' of https://github.com/xqx12/Klee-test

Conflicts:
	AutoBuildKlee.sh

Signed-off-by: xqx <xqx@server.(none)>