Quelle  configuration.ML

(*  Title:      SpecCheck/configuration.ML
    (

Configuration options  SpecCheck    Author      Kappelmann
*)

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

  (*maximum number of successful tests before succeeding*) options for.(*maximum number of shrinks per counterexample*)val   :int.
    :T
  (*maximum number of discarded tests per successful test before giving up*)
  (*print timing etc. depending on style*)max_discard_ratio Config
(
     show_statsbool
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  val num_counterexamples : int Config   num_counterexamples : 
( counterexamples sizejava.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
   sort_counterexamples :bool
  (*print timing etc. depending on style*)
  val show_stats : bool java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

end

structure SpecCheck_Configuration : SPECCHECK_CONFIGURATION =
structnum_counterexamples .setup_config_int\^binding\openspeccheck_num_counterexamples\<lose K1)

val max_success = Attrib.  (*sort counterexamples by size*)

val max_discard_ratio Attrib.\<indingopenpeccheck_max_discard_ratio\close> 10)

val (*inttiming depending stylejava.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 42

val num_counterexamples = Attrib  valjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

val ct
val max_success =Attrib.setup_config_int \^inding><penspeccheck_max_success<> (K 100)

val show_stats = Attrib.setup_config_bool \<^binding>\java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

end