Unwinding loop __isoc99_vfscanf.0 iteration 1 file <builtin-library-__isoc99_vfscanf> line 32 function __isoc99_vfscanf thread 0

[iejzh]

CBMC version: 5.94.0
Operating system: Linux
Exact command line resulting in the issue: cbmc demo1.c --cover mcdc --show-test-suite
What behaviour did you expect: Test suite
What happened instead: Unwinding loop __isoc99_vfscanf.0 iteration 1 file <builtin-library-__isoc99_vfscanf> line 32 function __isoc99_vfscanf thread 0
demo1.c:
#include<stdio.h>
int main()
{
int X, Y, Z;
scanf("%d",&X);
scanf("%d",&Y);
scanf("%d",&Z);
if (((X > 50) && (Y == 100)) || (Z < 90)) {
printf("This is sample program\n");
}
return 0;
}