/** * This is the set of contract tests from the example in the README document. * These tests are provided as examples and are not to be considered complete or production ready. */ package contracts;