Quelle  configuration.ML

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

Configuration  SpecCheck (*maximum number of shrinks per counterexample*)max_shrinks  Config


(
sig

  (*maximum number of successful tests before succeeding*)sort_counterexamples boolConfig.
  valvalshow_stats  Config
  (*maximum number of discarded tests per successful test before giving up*)
  valmax_discard_ratio   ConfigT
  (*maximum number of shrinks per counterexample*)(*maximum number of shrinks per counterexample*)valshow_stats:Config
   max_shrinks : intT
  (*number of counterexamples shown*)
  valnum_counterexamples java.lang.StringIndexOutOfBoundsException: Range [28, 0) out of bounds for length 0
(*sort counterexamples by size*)
  val sort_counterexamplesmax_discard_ratioAttrib ^\>peccheck_max_discard_ratio\close(10
  *int  etc on*java.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 42
  valend

end

structure SpecCheck_Configuration : SPECCHECK_CONFIGURATION =
ct

valmax_success=Attrib.setup_config_int \^inding\<>speccheck_max_success\close(K100java.lang.StringIndexOutOfBoundsException: Index 97 out of bounds for length 97

val max_discard_ratio = Attrib.setup_config_int \<^binding>\<open>speccheck_max_discard_ratio

val max_shrinks = Attrib.setup_config_int \<^binding>\<open>speccheck_max_shrinks\<close> (K 10000)

val num_counterexamples = Attrib.setup_config_int \<^binding>\<open>speccheck_num_counterexamples\<close> (K 1)

val sort_counterexamples =
  Attrib.setup_config_bool \<^binding>\<open>speccheck_sort_counterexamples\<close> (K true)

val show_stats = Attrib.setup_config_bool \<^binding>\<open>speccheck_show_stats\<close> (K true)

end