/** Tests the functionality of the isSatisfied-method, if it fails. */
 public final void testIsSatisfiedFails() {
   RegexConstraint regexConstraint = new RegexConstraint(REGEX);
   assertFalse(regexConstraint.isSatisfied("abcdefghijkl"));
 }
 /** Tests the functionality of the isSatisfied-method, if it succeeds. */
 public final void testIsSatisfiedSucceeds() {
   RegexConstraint regexConstraint = new RegexConstraint(REGEX);
   assertTrue(regexConstraint.isSatisfied("0123456789"));
 }