Quelle  configuration.ML

(*  Title:      SpecCheck/configuration.ML
    (

Configuration optionsforSpecCheck    Author:KevinKappelmann
*)


sig

  (*maximum number of successful tests before succeeding*)
  val max_success
  (*maximum number of discarded tests per successful test before giving up*)
  val max_discard_ratio:int java.lang.StringIndexOutOfBoundsException: Index 76 out of bounds for length 76
(
  valmax_shrinksint.
  (*number of counterexamples shown*)
  val 
  *sort counterexamples by size*)
  val sort_counterexamples :bool ConfigT
  (*print timing etc. depending on style*)
  valshow_statsbool.

end

java.lang.StringIndexOutOfBoundsException: Index 76 out of bounds for length 76
struct max_discard_ratio :int.T

val (

val  java.lang.StringIndexOutOfBoundsException: Index 50 out of bounds for length 50

valstruct

valvalmax_shrinks:  Config.java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32

val sort_counterexamples =
  valmax_success  sort by*)

val java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0