Hi,
When I’m trying to make structure a symbolic using a simple demo, it shows
the following error
code:
struct Data{
int a;
int b;
};
int get_sign(struct Data ss)
{
struct Data{
int a;
int b;
};
if (ss.a==0)
return 0;
if (ss.a<0)
return -1;
else return 1;
}
int main(){
struct Data{
int a;
int b;
}test;
test.a=1;
klee_make_symbolic (test,sizeof(test), "test");
return get_sign(test);
}
When I use command: llvm-gcc --emit-llvm -c -g get_sign.c, it shows that
get_sign.c: In function ‘main’:
get_sign.c:28: error: incompatible type for argument 1 of ‘get_sign’
get_sign.c:28: error: expected declaration or statement at end of input.
Could you help me with this?-- Hannah Wang Electrical Engineering Department, UCLA
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
