Hello Sunha, llvm-gcc -c -emit-llvm test.c main.c llvm-link test.o main.o -o program.o klee program.o
Paul On 20 Feb 2013, at 22:34, Sunha Ahn <[email protected]> wrote: > Hello, > > May I ask about how to run multiple c source files? > > For example, > > --- test.h --- > > int foo(); > > > --- test.c --- > int foo(){ > return 10; > } > > > --- main.c --- > int main(){ > klee_make_symbolic i; > > if(i>foo()){ > ... do something... > }else{ > ... do something else .. > } > } > > --------------- > > > Can you please let me know the command on how to get the test cases with > those source files? > > I am working with big example files, and I have calling external function > problem.. > > Thanks a lot! > Sunha. > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
