[klee-dev] Running multiple c source files?

[Sunha Ahn]

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.
-------------- next part --------------
HTML attachment scrubbed and removed