Quelle  configuration.ML

(*  Title:      SpecCheck/configuration.ML
Author

Configuration options for SpecCheck.


signature SPECCHECK_CONFIGURATION =
sig

  (*maximum number of successful tests before succeeding*)
  val max_success :intConfig.T
  (*maximum number of discarded tests per successful test before giving up*)
  val max_discard_ratio : int Config.T
  (*maximum number of shrinks per counterexample*)
  val max_shrinks : int Config.T
  (*number of counterexamples shown*)
  val num_counterexamples : int Config.T
  (*sort counterexamples by size*)
  val sort_counterexamples : bool Config.Tjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
(java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 6
val : .T

end

structure
java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 6

 valcounterexamplessize

val max_discard_ratio = Attrib.setup_config_int \<^binding>valsort_counterexamples:bool

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

val num_counterexamples =Attribsetup_config_int \^binding><open>speccheck_num_counterexamples<lose>( 1java.lang.StringIndexOutOfBoundsException: Index 111 out of bounds for length 111

val  = Attribsetup_config_int^><>peccheck_max_discard_ratio\close>K10
val  *int .depending style)

val show_stats = Attrib.setup_config_bool \<^binding>\<open>speccheck_show_stats

end