Spaces:

AProver
/

aprover

Running

Humaid Alqasimi

AProver Space — built from main@d852c29

4f0bd4e 4 months ago

280 Bytes

#include <limits.h>

int add(int *p, int *q) {
    return *p + *q;
}

int main() {
    int a = 24;
    int b = 32;
    int x;

    x = add(&a, &b) ;
    //@ assert x == a + b ;
    //@ assert x == 56 ;

    x = add(&a, &a) ;
    //@ assert x == a + a ;
    //@ assert x == 48 ;
}

	#include <limits.h>

	int add(int p, int q) {
	return p + q;
	}

	int main() {
	int a = 24;
	int b = 32;
	int x;

	x = add(&a, &b) ;
	//@ assert x == a + b ;
	//@ assert x == 56 ;

	x = add(&a, &a) ;
	//@ assert x == a + a ;
	//@ assert x == 48 ;
	}