Spaces:

AProver
/

aprover

Running

aprover / examples /sum_array_bench.c

Humaid Alqasimi

AProver Space — built from main@d852c29

4f0bd4e 4 months ago

263 Bytes

int sumArray(int *a, int n) {
    int p = 0, sum = 0;

    while (p < n) {
        sum = sum + a[p];
        p++;
    }
    return sum;
}

// write a test
void main() {
    int arr[5] = {1, 2, 3, 4, 5};
    int sum = sumArray(arr, 5);
    //@ assert sum == 15;
}

	int sumArray(int *a, int n) {
	int p = 0, sum = 0;

	while (p < n) {
	sum = sum + a[p];
	p++;
	}
	return sum;
	}

	// write a test
	void main() {
	int arr[5] = {1, 2, 3, 4, 5};
	int sum = sumArray(arr, 5);
	//@ assert sum == 15;
	}