assert.mli

(* CIS341 Assertion Testing and Grading Infrastructure *)
(* Author: Steve Zdancewic                             *)

(* Do NOT modify this file -- we will overwrite it     *)
(* with our own version when testing your code.        *)



(* An assertion is just a unit->unit function that either *)
(* succeeds silently or throws an Failure exception.       *)
type assertion = (unit -> unit)

type 'a test = 
  | GradedTest of string * int * (string * 'a) list
  | Test of string * (string * 'a) list

type suite = (assertion test) list


(**************)
(* Assertions *)

val assert_eq : 'a -> 'a -> assertion 
val assert_eqf : (unit -> 'a) -> 'a -> assertion
val assert_fail : assertion 


(***************************)
(* Generating Test Results *)

type result = 
  | Pass 
  | Fail of string

type outcome = (result test) list

val run_assertion : assertion -> result
val run_test : assertion test -> result test
val run_suite : suite -> outcome

(***********************)
(* Reporting functions *)

val result_test_to_string : string -> result test -> string 

(* val get_results result test -> (string * int * int * int * float * int * int) *)
val outcome_to_string :outcome -> string