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
