liboasis-ocaml-dev 0.4.10-2build1 / usr / lib / ocaml / oasis / BaseTest.annot

"src/base/BaseTest.ml" 30 1769 1773 "src/base/BaseTest.ml" 30 1769 1777
type(
  ctxt:'a ->
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.test -> 'b -> float) *
   OASISTypes.common_section * OASISTypes.test)
  list -> OASISTypes.package -> 'b -> unit
)
ident(
  def test "src/base/BaseTest.ml" 94 3555 3605 "src/base/BaseTest.ml" 1 0 -1
)
"src/base/BaseTest.ml" 30 1769 1779 "src/base/BaseTest.ml" 30 1769 1783
type(
  'a
)
ident(
  def ctxt "src/base/BaseTest.ml" 30 1769 1784 "src/base/BaseTest.ml" 94 3555 3605
)
"src/base/BaseTest.ml" 30 1769 1784 "src/base/BaseTest.ml" 30 1769 1787
type(
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.test -> 'b -> float) *
   OASISTypes.common_section * OASISTypes.test)
  list
)
ident(
  def lst "src/base/BaseTest.ml" 30 1769 1788 "src/base/BaseTest.ml" 94 3555 3605
)
"src/base/BaseTest.ml" 30 1769 1788 "src/base/BaseTest.ml" 30 1769 1791
type(
  OASISTypes.package
)
ident(
  def pkg "src/base/BaseTest.ml" 30 1769 1792 "src/base/BaseTest.ml" 94 3555 3605
)
"src/base/BaseTest.ml" 30 1769 1792 "src/base/BaseTest.ml" 30 1769 1802
type(
  'b
)
ident(
  def extra_args "src/base/BaseTest.ml" 32 1806 1808 "src/base/BaseTest.ml" 94 3555 3605
)
"src/base/BaseTest.ml" 32 1806 1812 "src/base/BaseTest.ml" 32 1806 1820
type(
  float * int ->
  (ctxt:'a ->
   OASISTypes.package ->
   OASISTypes.common_section * OASISTypes.test -> 'b -> float) *
  OASISTypes.common_section * OASISTypes.test -> float * int
)
ident(
  def one_test "src/base/BaseTest.ml" 76 2955 2957 "src/base/BaseTest.ml" 94 3555 3605
)
"src/base/BaseTest.ml" 32 1806 1822 "src/base/BaseTest.ml" 32 1806 1829
type(
  float
)
ident(
  def failure "src/base/BaseTest.ml" 32 1806 1834 "src/base/BaseTest.ml" 74 2940 2949
)
"src/base/BaseTest.ml" 32 1806 1831 "src/base/BaseTest.ml" 32 1806 1832
type(
  int
)
ident(
  def n "src/base/BaseTest.ml" 32 1806 1834 "src/base/BaseTest.ml" 74 2940 2949
)
"src/base/BaseTest.ml" 32 1806 1821 "src/base/BaseTest.ml" 32 1806 1833
type(
  float * int
)
"src/base/BaseTest.ml" 32 1806 1835 "src/base/BaseTest.ml" 32 1806 1846
type(
  ctxt:'a ->
  OASISTypes.package ->
  OASISTypes.common_section * OASISTypes.test -> 'b -> float
)
ident(
  def test_plugin "src/base/BaseTest.ml" 33 1860 1864 "src/base/BaseTest.ml" 74 2940 2949
)
"src/base/BaseTest.ml" 32 1806 1848 "src/base/BaseTest.ml" 32 1806 1850
type(
  OASISTypes.common_section
)
ident(
  def cs "src/base/BaseTest.ml" 33 1860 1864 "src/base/BaseTest.ml" 74 2940 2949
)
"src/base/BaseTest.ml" 32 1806 1852 "src/base/BaseTest.ml" 32 1806 1856
type(
  OASISTypes.test
)
ident(
  def test "src/base/BaseTest.ml" 33 1860 1864 "src/base/BaseTest.ml" 74 2940 2949
)
"src/base/BaseTest.ml" 32 1806 1834 "src/base/BaseTest.ml" 32 1806 1857
type(
  (ctxt:'a ->
   OASISTypes.package ->
   OASISTypes.common_section * OASISTypes.test -> 'b -> float) *
  OASISTypes.common_section * OASISTypes.test
)
"src/base/BaseTest.ml" 33 1860 1867 "src/base/BaseTest.ml" 33 1860 1877
type(
  ?printer:(bool -> string) -> ?name:string -> bool OASISExpr.choices -> bool
)
ident(
  ext_ref BaseEnv.var_choose
)
"src/base/BaseTest.ml" 34 1878 1893 "src/base/BaseTest.ml" 34 1878 1907
type(
  (OASISTypes.name -> string, unit, string) format ->
  OASISTypes.name -> string
)
ident(
  ext_ref Printf.sprintf
)
"src/base/BaseTest.ml" 35 1908 1921 "src/base/BaseTest.ml" 35 1908 1923
type(
  (OASISTypes.name -> string, unit, string, string) format4 ->
  (OASISTypes.name -> string, unit, string, string) format4
)
ident(
  ext_ref OASISGettext.f_
)
"src/base/BaseTest.ml" 35 1908 1924 "src/base/BaseTest.ml" 35 1908 1937
type(
  (OASISTypes.name -> string, unit, string, string) format4
)
"src/base/BaseTest.ml" 35 1908 1920 "src/base/BaseTest.ml" 35 1908 1938
call(
  stack
)
type(
  (OASISTypes.name -> string, unit, string, string) format4
)
"src/base/BaseTest.ml" 36 1939 1951 "src/base/BaseTest.ml" 36 1939 1953
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/base/BaseTest.ml" 32 1806 1848 "src/base/BaseTest.ml" 32 1806 1850
)
"src/base/BaseTest.ml" 36 1939 1951 "src/base/BaseTest.ml" 36 1939 1961
type(
  OASISTypes.name
)
"src/base/BaseTest.ml" 34 1878 1892 "src/base/BaseTest.ml" 36 1939 1962
call(
  stack
)
type(
  string
)
"src/base/BaseTest.ml" 37 1963 1980 "src/base/BaseTest.ml" 37 1963 1994
type(
  bool -> string
)
ident(
  ext_ref Pervasives.string_of_bool
)
"src/base/BaseTest.ml" 38 1995 2003 "src/base/BaseTest.ml" 38 1995 2007
type(
  OASISTypes.test
)
ident(
  int_ref test "src/base/BaseTest.ml" 32 1806 1852 "src/base/BaseTest.ml" 32 1806 1856
)
"src/base/BaseTest.ml" 38 1995 2003 "src/base/BaseTest.ml" 38 1995 2016
type(
  bool OASISTypes.conditional
)
"src/base/BaseTest.ml" 33 1860 1867 "src/base/BaseTest.ml" 38 1995 2016
call(
  stack
)
type(
  bool
)
"src/base/BaseTest.ml" 40 2034 2046 "src/base/BaseTest.ml" 40 2034 2048
type(
  unit
)
"src/base/BaseTest.ml" 40 2034 2051 "src/base/BaseTest.ml" 40 2034 2055
type(
  (OASISTypes.name -> unit, unit, string, unit) format4 ->
  OASISTypes.name -> unit
)
ident(
  ext_ref BaseMessage.info
)
"src/base/BaseTest.ml" 40 2034 2057 "src/base/BaseTest.ml" 40 2034 2059
type(
  (OASISTypes.name -> unit, unit, string, unit) format4 ->
  (OASISTypes.name -> unit, unit, string, unit) format4
)
ident(
  ext_ref OASISGettext.f_
)
"src/base/BaseTest.ml" 40 2034 2060 "src/base/BaseTest.ml" 40 2034 2079
type(
  (OASISTypes.name -> unit, unit, string, unit) format4
)
"src/base/BaseTest.ml" 40 2034 2056 "src/base/BaseTest.ml" 40 2034 2080
call(
  stack
)
type(
  (OASISTypes.name -> unit, unit, string, unit) format4
)
"src/base/BaseTest.ml" 40 2034 2081 "src/base/BaseTest.ml" 40 2034 2083
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/base/BaseTest.ml" 32 1806 1848 "src/base/BaseTest.ml" 32 1806 1850
)
"src/base/BaseTest.ml" 40 2034 2081 "src/base/BaseTest.ml" 40 2034 2091
type(
  OASISTypes.name
)
"src/base/BaseTest.ml" 40 2034 2051 "src/base/BaseTest.ml" 40 2034 2091
call(
  stack
)
type(
  unit
)
"src/base/BaseTest.ml" 41 2095 2107 "src/base/BaseTest.ml" 41 2095 2115
type(
  unit -> unit
)
ident(
  def back_cwd "src/base/BaseTest.ml" 55 2485 2493 "src/base/BaseTest.ml" 68 2823 2836
)
"src/base/BaseTest.ml" 42 2118 2134 "src/base/BaseTest.ml" 42 2118 2138
type(
  OASISTypes.test
)
ident(
  int_ref test "src/base/BaseTest.ml" 32 1806 1852 "src/base/BaseTest.ml" 32 1806 1856
)
"src/base/BaseTest.ml" 42 2118 2134 "src/base/BaseTest.ml" 42 2118 2161
type(
  OASISTypes.unix_filename option
)
"src/base/BaseTest.ml" 43 2167 2186 "src/base/BaseTest.ml" 43 2167 2189
type(
  OASISTypes.unix_filename
)
ident(
  def dir "src/base/BaseTest.ml" 44 2193 2207 "src/base/BaseTest.ml" 50 2390 2423
)
"src/base/BaseTest.ml" 43 2167 2181 "src/base/BaseTest.ml" 43 2167 2189
type(
  OASISTypes.unix_filename option
)
"src/base/BaseTest.ml" 44 2193 2211 "src/base/BaseTest.ml" 44 2193 2214
type(
  string
)
ident(
  def cwd "src/base/BaseTest.ml" 45 2234 2248 "src/base/BaseTest.ml" 50 2390 2423
)
"src/base/BaseTest.ml" 44 2193 2217 "src/base/BaseTest.ml" 44 2193 2227
type(
  unit -> string
)
ident(
  ext_ref Sys.getcwd
)
"src/base/BaseTest.ml" 44 2193 2228 "src/base/BaseTest.ml" 44 2193 2230
type(
  unit
)
"src/base/BaseTest.ml" 44 2193 2217 "src/base/BaseTest.ml" 44 2193 2230
type(
  string
)
"src/base/BaseTest.ml" 45 2234 2252 "src/base/BaseTest.ml" 45 2234 2257
type(
  string -> unit
)
ident(
  def chdir "src/base/BaseTest.ml" 49 2365 2379 "src/base/BaseTest.ml" 50 2390 2423
)
"src/base/BaseTest.ml" 45 2234 2258 "src/base/BaseTest.ml" 45 2234 2259
type(
  string
)
ident(
  def d "src/base/BaseTest.ml" 46 2262 2278 "src/base/BaseTest.ml" 47 2320 2347
)
"src/base/BaseTest.ml" 46 2262 2278 "src/base/BaseTest.ml" 46 2262 2282
type(
  (string -> unit, unit, string, unit) format4 -> string -> unit
)
ident(
  ext_ref BaseMessage.info
)
"src/base/BaseTest.ml" 46 2262 2284 "src/base/BaseTest.ml" 46 2262 2286
type(
  (string -> unit, unit, string, unit) format4 ->
  (string -> unit, unit, string, unit) format4
)
ident(
  ext_ref OASISGettext.f_
)
"src/base/BaseTest.ml" 46 2262 2287 "src/base/BaseTest.ml" 46 2262 2315
type(
  (string -> unit, unit, string, unit) format4
)
"src/base/BaseTest.ml" 46 2262 2283 "src/base/BaseTest.ml" 46 2262 2316
call(
  stack
)
type(
  (string -> unit, unit, string, unit) format4
)
"src/base/BaseTest.ml" 46 2262 2317 "src/base/BaseTest.ml" 46 2262 2318
type(
  string
)
ident(
  int_ref d "src/base/BaseTest.ml" 45 2234 2258 "src/base/BaseTest.ml" 45 2234 2259
)
"src/base/BaseTest.ml" 46 2262 2278 "src/base/BaseTest.ml" 46 2262 2318
call(
  stack
)
type(
  unit
)
"src/base/BaseTest.ml" 47 2320 2336 "src/base/BaseTest.ml" 47 2320 2345
type(
  string -> unit
)
ident(
  ext_ref Sys.chdir
)
"src/base/BaseTest.ml" 47 2320 2346 "src/base/BaseTest.ml" 47 2320 2347
type(
  string
)
ident(
  int_ref d "src/base/BaseTest.ml" 45 2234 2258 "src/base/BaseTest.ml" 45 2234 2259
)
"src/base/BaseTest.ml" 47 2320 2336 "src/base/BaseTest.ml" 47 2320 2347
type(
  unit
)
"src/base/BaseTest.ml" 46 2262 2278 "src/base/BaseTest.ml" 47 2320 2347
type(
  unit
)
"src/base/BaseTest.ml" 49 2365 2379 "src/base/BaseTest.ml" 49 2365 2384
type(
  OASISTypes.unix_filename -> unit
)
ident(
  int_ref chdir "src/base/BaseTest.ml" 45 2234 2252 "src/base/BaseTest.ml" 45 2234 2257
)
"src/base/BaseTest.ml" 49 2365 2385 "src/base/BaseTest.ml" 49 2365 2388
type(
  OASISTypes.unix_filename
)
ident(
  int_ref dir "src/base/BaseTest.ml" 43 2167 2186 "src/base/BaseTest.ml" 43 2167 2189
)
"src/base/BaseTest.ml" 49 2365 2379 "src/base/BaseTest.ml" 49 2365 2388
call(
  stack
)
type(
  unit
)
"src/base/BaseTest.ml" 50 2390 2408 "src/base/BaseTest.ml" 50 2390 2410
type(
  unit
)
"src/base/BaseTest.ml" 50 2390 2414 "src/base/BaseTest.ml" 50 2390 2419
type(
  string -> unit
)
ident(
  int_ref chdir "src/base/BaseTest.ml" 45 2234 2252 "src/base/BaseTest.ml" 45 2234 2257
)
"src/base/BaseTest.ml" 50 2390 2420 "src/base/BaseTest.ml" 50 2390 2423
type(
  string
)
ident(
  int_ref cwd "src/base/BaseTest.ml" 44 2193 2211 "src/base/BaseTest.ml" 44 2193 2214
)
"src/base/BaseTest.ml" 50 2390 2414 "src/base/BaseTest.ml" 50 2390 2423
call(
  tail
)
type(
  unit
)
"src/base/BaseTest.ml" 50 2390 2404 "src/base/BaseTest.ml" 50 2390 2423
type(
  unit -> unit
)
"src/base/BaseTest.ml" 49 2365 2379 "src/base/BaseTest.ml" 50 2390 2423
type(
  unit -> unit
)
"src/base/BaseTest.ml" 45 2234 2248 "src/base/BaseTest.ml" 50 2390 2423
type(
  unit -> unit
)
"src/base/BaseTest.ml" 44 2193 2207 "src/base/BaseTest.ml" 50 2390 2423
type(
  unit -> unit
)
"src/base/BaseTest.ml" 52 2425 2439 "src/base/BaseTest.ml" 52 2425 2443
type(
  OASISTypes.unix_filename option
)
"src/base/BaseTest.ml" 53 2447 2465 "src/base/BaseTest.ml" 53 2447 2467
type(
  unit
)
"src/base/BaseTest.ml" 53 2447 2471 "src/base/BaseTest.ml" 53 2447 2473
type(
  unit
)
"src/base/BaseTest.ml" 53 2447 2461 "src/base/BaseTest.ml" 53 2447 2473
type(
  unit -> unit
)
"src/base/BaseTest.ml" 42 2118 2128 "src/base/BaseTest.ml" 53 2447 2473
type(
  unit -> unit
)
"src/base/BaseTest.ml" 56 2497 2511 "src/base/BaseTest.ml" 56 2497 2526
type(
  float
)
ident(
  def failure_percent "src/base/BaseTest.ml" 62 2675 2685 "src/base/BaseTest.ml" 63 2698 2743
)
"src/base/BaseTest.ml" 57 2529 2541 "src/base/BaseTest.ml" 57 2529 2556
type(
  ?failsafe:bool -> OASISTypes.custom -> ('b -> float) -> 'b -> float
)
ident(
  ext_ref BaseCustom.hook
)
"src/base/BaseTest.ml" 58 2557 2571 "src/base/BaseTest.ml" 58 2557 2575
type(
  OASISTypes.test
)
ident(
  int_ref test "src/base/BaseTest.ml" 32 1806 1852 "src/base/BaseTest.ml" 32 1806 1856
)
"src/base/BaseTest.ml" 58 2557 2571 "src/base/BaseTest.ml" 58 2557 2587
type(
  OASISTypes.custom
)
"src/base/BaseTest.ml" 59 2588 2603 "src/base/BaseTest.ml" 59 2588 2614
type(
  ctxt:'a ->
  OASISTypes.package ->
  OASISTypes.common_section * OASISTypes.test -> 'b -> float
)
ident(
  int_ref test_plugin "src/base/BaseTest.ml" 32 1806 1835 "src/base/BaseTest.ml" 32 1806 1846
)
"src/base/BaseTest.ml" 59 2588 2616 "src/base/BaseTest.ml" 59 2588 2620
type(
  'a
)
ident(
  int_ref ctxt "src/base/BaseTest.ml" 30 1769 1779 "src/base/BaseTest.ml" 30 1769 1783
)
"src/base/BaseTest.ml" 59 2588 2621 "src/base/BaseTest.ml" 59 2588 2624
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/base/BaseTest.ml" 30 1769 1788 "src/base/BaseTest.ml" 30 1769 1791
)
"src/base/BaseTest.ml" 59 2588 2626 "src/base/BaseTest.ml" 59 2588 2628
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/base/BaseTest.ml" 32 1806 1848 "src/base/BaseTest.ml" 32 1806 1850
)
"src/base/BaseTest.ml" 59 2588 2630 "src/base/BaseTest.ml" 59 2588 2634
type(
  OASISTypes.test
)
ident(
  int_ref test "src/base/BaseTest.ml" 32 1806 1852 "src/base/BaseTest.ml" 32 1806 1856
)
"src/base/BaseTest.ml" 59 2588 2625 "src/base/BaseTest.ml" 59 2588 2635
type(
  OASISTypes.common_section * OASISTypes.test
)
"src/base/BaseTest.ml" 59 2588 2602 "src/base/BaseTest.ml" 59 2588 2636
call(
  stack
)
type(
  'b -> float
)
"src/base/BaseTest.ml" 60 2637 2651 "src/base/BaseTest.ml" 60 2637 2661
type(
  'b
)
ident(
  int_ref extra_args "src/base/BaseTest.ml" 30 1769 1792 "src/base/BaseTest.ml" 30 1769 1802
)
"src/base/BaseTest.ml" 57 2529 2541 "src/base/BaseTest.ml" 60 2637 2661
call(
  stack
)
type(
  float
)
"src/base/BaseTest.ml" 62 2675 2685 "src/base/BaseTest.ml" 62 2675 2693
type(
  unit -> unit
)
ident(
  int_ref back_cwd "src/base/BaseTest.ml" 41 2095 2107 "src/base/BaseTest.ml" 41 2095 2115
)
"src/base/BaseTest.ml" 62 2675 2694 "src/base/BaseTest.ml" 62 2675 2696
type(
  unit
)
"src/base/BaseTest.ml" 62 2675 2685 "src/base/BaseTest.ml" 62 2675 2696
call(
  stack
)
type(
  unit
)
"src/base/BaseTest.ml" 63 2698 2709 "src/base/BaseTest.ml" 63 2698 2724
type(
  float
)
ident(
  int_ref failure_percent "src/base/BaseTest.ml" 56 2497 2511 "src/base/BaseTest.ml" 56 2497 2526
)
"src/base/BaseTest.ml" 63 2698 2725 "src/base/BaseTest.ml" 63 2698 2727
type(
  float -> float -> float
)
ident(
  ext_ref Pervasives.( +. )
)
"src/base/BaseTest.ml" 63 2698 2728 "src/base/BaseTest.ml" 63 2698 2735
type(
  float
)
ident(
  int_ref failure "src/base/BaseTest.ml" 32 1806 1822 "src/base/BaseTest.ml" 32 1806 1829
)
"src/base/BaseTest.ml" 63 2698 2709 "src/base/BaseTest.ml" 63 2698 2735
type(
  float
)
"src/base/BaseTest.ml" 63 2698 2737 "src/base/BaseTest.ml" 63 2698 2738
type(
  int
)
ident(
  int_ref n "src/base/BaseTest.ml" 32 1806 1831 "src/base/BaseTest.ml" 32 1806 1832
)
"src/base/BaseTest.ml" 63 2698 2739 "src/base/BaseTest.ml" 63 2698 2740
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"src/base/BaseTest.ml" 63 2698 2741 "src/base/BaseTest.ml" 63 2698 2742
type(
  int
)
"src/base/BaseTest.ml" 63 2698 2737 "src/base/BaseTest.ml" 63 2698 2742
type(
  int
)
"src/base/BaseTest.ml" 63 2698 2708 "src/base/BaseTest.ml" 63 2698 2743
type(
  float * int
)
"src/base/BaseTest.ml" 62 2675 2685 "src/base/BaseTest.ml" 63 2698 2743
type(
  float * int
)
"src/base/BaseTest.ml" 56 2497 2507 "src/base/BaseTest.ml" 63 2698 2743
type(
  float * int
)
"src/base/BaseTest.ml" 64 2744 2757 "src/base/BaseTest.ml" 64 2744 2758
type(
  exn
)
ident(
  def e "src/base/BaseTest.ml" 65 2762 2772 "src/base/BaseTest.ml" 68 2823 2836
)
"src/base/BaseTest.ml" 66 2778 2790 "src/base/BaseTest.ml" 66 2778 2798
type(
  unit -> unit
)
ident(
  int_ref back_cwd "src/base/BaseTest.ml" 41 2095 2107 "src/base/BaseTest.ml" 41 2095 2115
)
"src/base/BaseTest.ml" 66 2778 2799 "src/base/BaseTest.ml" 66 2778 2801
type(
  unit
)
"src/base/BaseTest.ml" 66 2778 2790 "src/base/BaseTest.ml" 66 2778 2801
call(
  stack
)
type(
  unit
)
"src/base/BaseTest.ml" 67 2803 2815 "src/base/BaseTest.ml" 67 2803 2820
type(
  exn -> float * int
)
ident(
  ext_ref Pervasives.raise
)
"src/base/BaseTest.ml" 67 2803 2821 "src/base/BaseTest.ml" 67 2803 2822
type(
  exn
)
ident(
  int_ref e "src/base/BaseTest.ml" 64 2744 2757 "src/base/BaseTest.ml" 64 2744 2758
)
"src/base/BaseTest.ml" 67 2803 2815 "src/base/BaseTest.ml" 67 2803 2822
type(
  float * int
)
"src/base/BaseTest.ml" 65 2762 2772 "src/base/BaseTest.ml" 68 2823 2836
type(
  float * int
)
"src/base/BaseTest.ml" 55 2485 2493 "src/base/BaseTest.ml" 68 2823 2836
type(
  float * int
)
"src/base/BaseTest.ml" 41 2095 2103 "src/base/BaseTest.ml" 68 2823 2836
type(
  float * int
)
"src/base/BaseTest.ml" 39 2022 2028 "src/base/BaseTest.ml" 69 2837 2846
type(
  float * int
)
"src/base/BaseTest.ml" 72 2868 2876 "src/base/BaseTest.ml" 72 2868 2880
type(
  (OASISTypes.name -> unit, unit, string, unit) format4 ->
  OASISTypes.name -> unit
)
ident(
  ext_ref BaseMessage.info
)
"src/base/BaseTest.ml" 72 2868 2882 "src/base/BaseTest.ml" 72 2868 2884
type(
  (OASISTypes.name -> unit, unit, string, unit) format4 ->
  (OASISTypes.name -> unit, unit, string, unit) format4
)
ident(
  ext_ref OASISGettext.f_
)
"src/base/BaseTest.ml" 72 2868 2885 "src/base/BaseTest.ml" 72 2868 2905
type(
  (OASISTypes.name -> unit, unit, string, unit) format4
)
"src/base/BaseTest.ml" 72 2868 2881 "src/base/BaseTest.ml" 72 2868 2906
call(
  stack
)
type(
  (OASISTypes.name -> unit, unit, string, unit) format4
)
"src/base/BaseTest.ml" 72 2868 2907 "src/base/BaseTest.ml" 72 2868 2909
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/base/BaseTest.ml" 32 1806 1848 "src/base/BaseTest.ml" 32 1806 1850
)
"src/base/BaseTest.ml" 72 2868 2907 "src/base/BaseTest.ml" 72 2868 2917
type(
  OASISTypes.name
)
"src/base/BaseTest.ml" 72 2868 2876 "src/base/BaseTest.ml" 72 2868 2917
call(
  stack
)
type(
  unit
)
"src/base/BaseTest.ml" 73 2919 2928 "src/base/BaseTest.ml" 73 2919 2935
type(
  float
)
ident(
  int_ref failure "src/base/BaseTest.ml" 32 1806 1822 "src/base/BaseTest.ml" 32 1806 1829
)
"src/base/BaseTest.ml" 73 2919 2937 "src/base/BaseTest.ml" 73 2919 2938
type(
  int
)
ident(
  int_ref n "src/base/BaseTest.ml" 32 1806 1831 "src/base/BaseTest.ml" 32 1806 1832
)
"src/base/BaseTest.ml" 73 2919 2927 "src/base/BaseTest.ml" 73 2919 2939
type(
  float * int
)
"src/base/BaseTest.ml" 71 2856 2862 "src/base/BaseTest.ml" 74 2940 2949
type(
  float * int
)
"src/base/BaseTest.ml" 33 1860 1864 "src/base/BaseTest.ml" 74 2940 2949
type(
  float * int
)
"src/base/BaseTest.ml" 76 2955 2961 "src/base/BaseTest.ml" 76 2955 2967
type(
  float
)
ident(
  def failed "src/base/BaseTest.ml" 77 3013 3015 "src/base/BaseTest.ml" 94 3555 3605
)
"src/base/BaseTest.ml" 76 2955 2969 "src/base/BaseTest.ml" 76 2955 2970
type(
  int
)
ident(
  def n "src/base/BaseTest.ml" 77 3013 3015 "src/base/BaseTest.ml" 94 3555 3605
)
"src/base/BaseTest.ml" 76 2955 2961 "src/base/BaseTest.ml" 76 2955 2970
type(
  float * int
)
"src/base/BaseTest.ml" 76 2955 2973 "src/base/BaseTest.ml" 76 2955 2987
type(
  (float * int ->
   (ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.test -> 'b -> float) *
   OASISTypes.common_section * OASISTypes.test -> float * int) ->
  float * int ->
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.test -> 'b -> float) *
   OASISTypes.common_section * OASISTypes.test)
  list -> float * int
)
ident(
  ext_ref List.fold_left
)
"src/base/BaseTest.ml" 76 2955 2988 "src/base/BaseTest.ml" 76 2955 2996
type(
  float * int ->
  (ctxt:'a ->
   OASISTypes.package ->
   OASISTypes.common_section * OASISTypes.test -> 'b -> float) *
  OASISTypes.common_section * OASISTypes.test -> float * int
)
ident(
  int_ref one_test "src/base/BaseTest.ml" 32 1806 1812 "src/base/BaseTest.ml" 32 1806 1820
)
"src/base/BaseTest.ml" 76 2955 2998 "src/base/BaseTest.ml" 76 2955 3001
type(
  float
)
"src/base/BaseTest.ml" 76 2955 3003 "src/base/BaseTest.ml" 76 2955 3004
type(
  int
)
"src/base/BaseTest.ml" 76 2955 2997 "src/base/BaseTest.ml" 76 2955 3005
type(
  float * int
)
"src/base/BaseTest.ml" 76 2955 3006 "src/base/BaseTest.ml" 76 2955 3009
type(
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.test -> 'b -> float) *
   OASISTypes.common_section * OASISTypes.test)
  list
)
ident(
  int_ref lst "src/base/BaseTest.ml" 30 1769 1784 "src/base/BaseTest.ml" 30 1769 1787
)
"src/base/BaseTest.ml" 76 2955 2973 "src/base/BaseTest.ml" 76 2955 3009
call(
  stack
)
type(
  float * int
)
"src/base/BaseTest.ml" 77 3013 3019 "src/base/BaseTest.ml" 77 3013 3034
type(
  float
)
ident(
  def failure_percent "src/base/BaseTest.ml" 78 3090 3092 "src/base/BaseTest.ml" 94 3555 3605
)
"src/base/BaseTest.ml" 77 3013 3040 "src/base/BaseTest.ml" 77 3013 3041
type(
  int
)
ident(
  int_ref n "src/base/BaseTest.ml" 76 2955 2969 "src/base/BaseTest.ml" 76 2955 2970
)
"src/base/BaseTest.ml" 77 3013 3042 "src/base/BaseTest.ml" 77 3013 3043
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"src/base/BaseTest.ml" 77 3013 3044 "src/base/BaseTest.ml" 77 3013 3045
type(
  int
)
"src/base/BaseTest.ml" 77 3013 3040 "src/base/BaseTest.ml" 77 3013 3045
type(
  bool
)
"src/base/BaseTest.ml" 77 3013 3051 "src/base/BaseTest.ml" 77 3013 3054
type(
  float
)
"src/base/BaseTest.ml" 77 3013 3060 "src/base/BaseTest.ml" 77 3013 3066
type(
  float
)
ident(
  int_ref failed "src/base/BaseTest.ml" 76 2955 2961 "src/base/BaseTest.ml" 76 2955 2967
)
"src/base/BaseTest.ml" 77 3013 3067 "src/base/BaseTest.ml" 77 3013 3069
type(
  float -> float -> float
)
ident(
  ext_ref Pervasives.( /. )
)
"src/base/BaseTest.ml" 77 3013 3071 "src/base/BaseTest.ml" 77 3013 3083
type(
  int -> float
)
ident(
  ext_ref Pervasives.float_of_int
)
"src/base/BaseTest.ml" 77 3013 3084 "src/base/BaseTest.ml" 77 3013 3085
type(
  int
)
ident(
  int_ref n "src/base/BaseTest.ml" 76 2955 2969 "src/base/BaseTest.ml" 76 2955 2970
)
"src/base/BaseTest.ml" 77 3013 3070 "src/base/BaseTest.ml" 77 3013 3086
type(
  float
)
"src/base/BaseTest.ml" 77 3013 3060 "src/base/BaseTest.ml" 77 3013 3086
type(
  float
)
"src/base/BaseTest.ml" 77 3013 3037 "src/base/BaseTest.ml" 77 3013 3086
type(
  float
)
"src/base/BaseTest.ml" 78 3090 3096 "src/base/BaseTest.ml" 78 3090 3099
type(
  string
)
ident(
  def msg "src/base/BaseTest.ml" 83 3203 3205 "src/base/BaseTest.ml" 94 3555 3605
)
"src/base/BaseTest.ml" 79 3102 3106 "src/base/BaseTest.ml" 79 3102 3120
type(
  (float -> string, unit, string) format -> float -> string
)
ident(
  ext_ref Printf.sprintf
)
"src/base/BaseTest.ml" 80 3121 3128 "src/base/BaseTest.ml" 80 3121 3130
type(
  (float -> string, unit, string, string) format4 ->
  (float -> string, unit, string, string) format4
)
ident(
  ext_ref OASISGettext.f_
)
"src/base/BaseTest.ml" 80 3121 3131 "src/base/BaseTest.ml" 80 3121 3164
type(
  (float -> string, unit, string, string) format4
)
"src/base/BaseTest.ml" 80 3121 3127 "src/base/BaseTest.ml" 80 3121 3165
call(
  stack
)
type(
  (float -> string, unit, string, string) format4
)
"src/base/BaseTest.ml" 81 3166 3173 "src/base/BaseTest.ml" 81 3166 3177
type(
  float
)
"src/base/BaseTest.ml" 81 3166 3178 "src/base/BaseTest.ml" 81 3166 3180
type(
  float -> float -> float
)
ident(
  ext_ref Pervasives.( *. )
)
"src/base/BaseTest.ml" 81 3166 3181 "src/base/BaseTest.ml" 81 3166 3196
type(
  float
)
ident(
  int_ref failure_percent "src/base/BaseTest.ml" 77 3013 3019 "src/base/BaseTest.ml" 77 3013 3034
)
"src/base/BaseTest.ml" 81 3166 3172 "src/base/BaseTest.ml" 81 3166 3197
type(
  float
)
"src/base/BaseTest.ml" 79 3102 3106 "src/base/BaseTest.ml" 81 3166 3197
call(
  stack
)
type(
  string
)
"src/base/BaseTest.ml" 83 3203 3208 "src/base/BaseTest.ml" 83 3203 3223
type(
  float
)
ident(
  int_ref failure_percent "src/base/BaseTest.ml" 77 3013 3019 "src/base/BaseTest.ml" 77 3013 3034
)
"src/base/BaseTest.ml" 83 3203 3224 "src/base/BaseTest.ml" 83 3203 3225
type(
  float -> float -> bool
)
ident(
  ext_ref Pervasives.( > )
)
"src/base/BaseTest.ml" 83 3203 3226 "src/base/BaseTest.ml" 83 3203 3229
type(
  float
)
"src/base/BaseTest.ml" 83 3203 3208 "src/base/BaseTest.ml" 83 3203 3229
type(
  bool
)
"src/base/BaseTest.ml" 84 3235 3239 "src/base/BaseTest.ml" 84 3235 3247
type(
  string -> unit
)
ident(
  ext_ref Pervasives.failwith
)
"src/base/BaseTest.ml" 84 3235 3248 "src/base/BaseTest.ml" 84 3235 3251
type(
  string
)
ident(
  int_ref msg "src/base/BaseTest.ml" 78 3090 3096 "src/base/BaseTest.ml" 78 3090 3099
)
"src/base/BaseTest.ml" 84 3235 3239 "src/base/BaseTest.ml" 84 3235 3251
call(
  stack
)
type(
  unit
)
"src/base/BaseTest.ml" 86 3259 3263 "src/base/BaseTest.ml" 86 3259 3267
type(
  (string -> unit, unit, string, unit) format4 -> string -> unit
)
ident(
  ext_ref BaseMessage.info
)
"src/base/BaseTest.ml" 86 3259 3268 "src/base/BaseTest.ml" 86 3259 3272
type(
  (string -> unit, unit, string, unit) format4
)
"src/base/BaseTest.ml" 86 3259 3273 "src/base/BaseTest.ml" 86 3259 3276
type(
  string
)
ident(
  int_ref msg "src/base/BaseTest.ml" 78 3090 3096 "src/base/BaseTest.ml" 78 3090 3099
)
"src/base/BaseTest.ml" 86 3259 3263 "src/base/BaseTest.ml" 86 3259 3276
call(
  stack
)
type(
  unit
)
"src/base/BaseTest.ml" 83 3203 3205 "src/base/BaseTest.ml" 86 3259 3276
type(
  unit
)
"src/base/BaseTest.ml" 89 3337 3342 "src/base/BaseTest.ml" 89 3337 3368
type(
  OASISFeatures.t -> OASISTypes.package -> bool
)
ident(
  ext_ref OASISFeatures.package_test
)
"src/base/BaseTest.ml" 89 3337 3369 "src/base/BaseTest.ml" 89 3337 3393
type(
  OASISFeatures.t
)
ident(
  ext_ref OASISFeatures.flag_tests
)
"src/base/BaseTest.ml" 89 3337 3394 "src/base/BaseTest.ml" 89 3337 3397
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/base/BaseTest.ml" 30 1769 1788 "src/base/BaseTest.ml" 30 1769 1791
)
"src/base/BaseTest.ml" 89 3337 3342 "src/base/BaseTest.ml" 89 3337 3397
call(
  stack
)
type(
  bool
)
"src/base/BaseTest.ml" 89 3337 3398 "src/base/BaseTest.ml" 89 3337 3400
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( && )
)
"src/base/BaseTest.ml" 90 3401 3406 "src/base/BaseTest.ml" 90 3401 3409
type(
  bool -> bool
)
ident(
  ext_ref Pervasives.not
)
"src/base/BaseTest.ml" 90 3401 3411 "src/base/BaseTest.ml" 90 3401 3425
type(
  string -> bool
)
ident(
  ext_ref Pervasives.bool_of_string
)
"src/base/BaseTest.ml" 90 3401 3427 "src/base/BaseTest.ml" 90 3401 3448
type(
  unit -> string
)
ident(
  ext_ref BaseStandardVar.tests
)
"src/base/BaseTest.ml" 90 3401 3449 "src/base/BaseTest.ml" 90 3401 3451
type(
  unit
)
"src/base/BaseTest.ml" 90 3401 3426 "src/base/BaseTest.ml" 90 3401 3452
call(
  stack
)
type(
  string
)
"src/base/BaseTest.ml" 90 3401 3410 "src/base/BaseTest.ml" 90 3401 3453
call(
  stack
)
type(
  bool
)
"src/base/BaseTest.ml" 90 3401 3406 "src/base/BaseTest.ml" 90 3401 3453
type(
  bool
)
"src/base/BaseTest.ml" 90 3401 3454 "src/base/BaseTest.ml" 90 3401 3456
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( && )
)
"src/base/BaseTest.ml" 91 3457 3462 "src/base/BaseTest.ml" 91 3457 3465
type(
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.test -> 'b -> float) *
   OASISTypes.common_section * OASISTypes.test)
  list
)
ident(
  int_ref lst "src/base/BaseTest.ml" 30 1769 1784 "src/base/BaseTest.ml" 30 1769 1787
)
"src/base/BaseTest.ml" 91 3457 3466 "src/base/BaseTest.ml" 91 3457 3468
type(
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.test -> 'b -> float) *
   OASISTypes.common_section * OASISTypes.test)
  list ->
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.test -> 'b -> float) *
   OASISTypes.common_section * OASISTypes.test)
  list -> bool
)
ident(
  ext_ref Pervasives.( <> )
)
"src/base/BaseTest.ml" 91 3457 3469 "src/base/BaseTest.ml" 91 3457 3471
type(
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.test -> 'b -> float) *
   OASISTypes.common_section * OASISTypes.test)
  list
)
"src/base/BaseTest.ml" 91 3457 3462 "src/base/BaseTest.ml" 91 3457 3471
type(
  bool
)
"src/base/BaseTest.ml" 90 3401 3406 "src/base/BaseTest.ml" 91 3457 3471
type(
  bool
)
"src/base/BaseTest.ml" 89 3337 3342 "src/base/BaseTest.ml" 91 3457 3471
type(
  bool
)
"src/base/BaseTest.ml" 92 3477 3481 "src/base/BaseTest.ml" 92 3477 3500
type(
  (unit, unit, string, unit) format4 -> unit
)
ident(
  ext_ref BaseMessage.warning
)
"src/base/BaseTest.ml" 93 3501 3507 "src/base/BaseTest.ml" 94 3555 3605
type(
  (unit, unit, string, unit) format4
)
"src/base/BaseTest.ml" 92 3477 3481 "src/base/BaseTest.ml" 94 3555 3605
call(
  tail
)
type(
  unit
)
"src/base/BaseTest.ml" 89 3337 3339 "src/base/BaseTest.ml" 94 3555 3605
type(
  unit
)
"src/base/BaseTest.ml" 83 3203 3205 "src/base/BaseTest.ml" 94 3555 3605
type(
  unit
)
"src/base/BaseTest.ml" 78 3090 3092 "src/base/BaseTest.ml" 94 3555 3605
type(
  unit
)
"src/base/BaseTest.ml" 77 3013 3015 "src/base/BaseTest.ml" 94 3555 3605
type(
  unit
)
"src/base/BaseTest.ml" 76 2955 2957 "src/base/BaseTest.ml" 94 3555 3605
type(
  unit
)
"src/base/BaseTest.ml" 32 1806 1808 "src/base/BaseTest.ml" 94 3555 3605
type(
  unit
)