modify test1.c
test first line
Merge branch 'master' of https://github.com/chyyuu/testproj
delete klee something
delete more
delete more2
delete more3
delete more4
delete more5