Putting the properties to the test

Let's see again the list of properties that we'd like to check:

• 0⁰ -> undefined (1 by default in pow function in C++)
• 0^{[1 .. maxInt]} -> 0
• value: [1 .. maxInt]⁰ -> 1
• value: [0 .. maxInt]¹ -> value
• x^y = x^y-1 * x

We will now implement each of the properties in turn. For every property, we will use either a normal example-based test, or the data generators inspired by the generate_ints_greater_than_1 function. Let's start with the simplest property—0⁰ should be undefined—or actually 1 in its standard implementation.

Property: 00 -> undefined

The first one is quite simple to implement using a normal example-based test. We'll extract it in a function...