Spaces:

AProver
/

aprover

Running

Humaid Alqasimi

AProver Space — built from main@d852c29

4f0bd4e 4 months ago

210 Bytes

#include <limits.h>

int max ( int x, int y ) {
    if ( x >=y )
        return x ;
    return y ;
}

void foo()
{
    int s = max(34,45);
    //@ assert s==45;
    int t = max(-43,34);
    //@ assert t==34;
}

	#include <limits.h>

	int max ( int x, int y ) {
	if ( x >=y )
	return x ;
	return y ;
	}

	void foo()
	{
	int s = max(34,45);
	//@ assert s==45;
	int t = max(-43,34);
	//@ assert t==34;
	}