K-user mailing list

[Christos Kloukinas <c.kloukinas AT gmail.com>]

No idea really but maybe your main should be:

int main(int argc, char** argv)

instead of:

int main(void)

?

A very wild guess...

Christos

On 13/03/2018 12:27, dexter wrote:

Hello!

 

I'm trying to use the state space search in KCC. however when i run some very simple program like :


int r = 0 ;

int f(int x)
{

  return (r = x) ;

}

int main(void)
{  f(1) ;
// f(1) + f(2) ;
   return 0 ;

}

Obviously, this program is correct with no non-determinism, when i run the a.out with option --SEARCH=1 ,it shows the only one solution and this solution is the program got stuck . what's wrong with this? how can i fix it? thanks very much.

 

best