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.