String constants for check-property error messages.

collects/deinprogramm/contract/contract-test-display.rkt

@@ -241,7 +241,7 @@
                  (formatter (not-range-min fail))
                  (formatter (not-range-max fail)))]
 	 [(property-fail? fail)
-	  (print-string "Eigenschaft falsifizierbar mit")
+	  (print-string (string-constant test-engine-property-fail-error))
 	  (for-each (lambda (arguments)
 		      (for-each (lambda (p)
 				  (if (car p)
@@ -250,7 +250,7 @@
 				arguments))
 		    (result-arguments-list (property-fail-result fail)))]
 	 [(property-error? fail)
-	  (print "`check-property' bekam den folgenden Fehler~n:: ~a"
+	  (print (string-constant test-engine-property-error-error)
 		 (property-error-message fail))])
 	(print-string "\n")))
 

collects/string-constants/english-string-constants.rkt

@@ -1433,6 +1433,10 @@ please adhere to these guidelines:
   (test-engine-not-mem-error "Actual value ~F differs from all given members in ")
   (test-engine-not-range-error "Actual value ~F is not between ~F and ~F, inclusive.")
 
+  ;; followed by list of variable bindings
+  (test-engine-property-fail-error "Property falsifiable with")
+  (test-engine-property-error-error "check-property encountered the following error~n:: ~a")
+
   ; section header
   (test-engine-check-failures "Check failures:")
   ; section header

collects/string-constants/german-string-constants.rkt

@@ -1333,6 +1333,8 @@
    "check-error erwartete den folgenden Fehler, bekam aber den Wert ~F.~n ~a")
   (test-engine-not-mem-error  "Tatsächlicher Wert ~F ist keins der Elemente ")
   (test-engine-not-range-error "Tatsächlicher Wert ~F liegt nicht zwischen ~F und ~F (inklusive).")
+  (test-engine-property-fail-error "Eigenschaft falsifizierbar mit")
+  (test-engine-property-error-error "`check-property' bekam den folgenden Fehler~n:: ~a")
 
   ; section header
   (test-engine-check-failures "Check-Fehler:")