A Search Program
static int search(int a[], int v)
{
for( int i = 0; i < a.length; i++ )
{
if( a[i] == v )
{
return i;
}
}
return -1;
}
Is this program correct?
If so, how shall we prove it?