update
Merge branch 'master' of https://github.com/hua3505/GraduationDesign

Conflicts:
	test/a.out
	varInllvm/klee-last