Module BaseTest

module BaseTest: sig .. end

Run tests

Author(s): 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.