adding_quickcheck_test.go

func TestAddingZeroMakesNoDifference(t *testing.T) {
	/*
	Create an assertion, which is a function that takes N inputs of
	random data and returns true if the assertion passes. 
	
	In this case, we're saying take any random integer (x)
	If you add 0, it should equal x
	*/
	assertion := func(x int) bool {
		return add(x, 0) == x
	}

	// Run the assertion through the quick checker
	if err := quick.Check(assertion, nil); err != nil {
		t.Error(err)
	}
}

func TestAssociativity(t *testing.T) {
	assertion := func(x, y, z int) bool {
		return add(add(x, y), z) == add(add(z, y), x)
	}

	if err := quick.Check(assertion, nil); err != nil {
		t.Error(err)
	}
}