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.