FunctionCall(__BLAST_initialize_driver1.c())
true
Block(STATUS_SUCCESS = 0;STATUS_UNSUCCESSFUL = -1;lockStatus = 0;)
true
Block(Return(0);)
true
Skip
true
Block(IO_NO_INCREMENT@main = 3;devExt@main = &(devE);i@main = 0;)
i@main==0
Pred(i@main < 10000)
i@main==0
Block(a@main[ i@main ] = 0;i@main = i@main + 1;)
And [,i@main<=1,i@main!=0]
Pred(i@main < 10000)
And [,i@main<=1,i@main!=0]
Block(a@main[ i@main ] = 0;i@main = i@main + 1;)
i@main<=2
Pred(i@main < 10000)
i@main<=2
Block(a@main[ i@main ] = 0;i@main = i@main + 1;)
i@main<=3
Pred(i@main < 10000)
i@main<=3
Block(a@main[ i@main ] = 0;i@main = i@main + 1;)
true
Pred(i@main >= 10000)
And [,i@main>3,i@main>2,i@main>1,i@main!=0]
FunctionCall(FSMLock())
And [,i@main>3,i@main>2,i@main>1,i@main!=0]
Pred(lockStatus != 0)
And [,i@main>3,i@main>2,i@main>1,i@main!=0]
FunctionCall(errorFn())
And [,i@main>3,i@main>2,i@main>1,i@main!=0]