Up – Package index » oasis » Library oasis.base » BaseTest

Module `BaseTest`

Run tests

author Sylvain Le Gall

val test : 
  ctxt:OASISContext.t ->
  ((ctxt:OASISContext.t ->
   OASISTypes.package ->
   (OASISTypes.common_section * OASISTypes.test) ->
   OASISTypes.arg array ->
   float)
   * OASISTypes.common_section
   * OASISTypes.test)
    list ->
  OASISTypes.package ->
  OASISTypes.arg array ->
  unit

test lst pkg extra_args Run all tests. lst elements are tuples (f, cs, test), apply in turn f pkg (cs, test) extra_args and collect their results. Combine all results to give a percentage of failure.