[klee-dev] Running multiple c source files?

[Paul Marinescu]

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 <sahn at princeton.edu> 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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev