blob: 6b0453c24abdd101425f7e9bfe488d21ac46a2e1 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
(* Copyright (C) 2017 Ryan Kavanagh <rkavanagh@cs.cmu.edu> *)
(* Distributed under the ISC license, see COPYING for details. *)
signature CHECKS =
sig
(* checks are either: *)
(* Check (name, f): *)
(* f : checks some property, and can catastrophically abort *)
(* or raise some exception if something is not satisfied. *)
(* Useful for sanity checks like: do all desired files *)
(* exist? *)
(* Problem (name, f): *)
(* name : must be the same name as the autolab problem *)
(* that is being graded. *)
(* f : returns an integer, which is the score awarded for *)
(* problem "name". *)
datatype checks = Check of string * (unit -> unit)
| Problem of string * (unit -> real)
val checks : checks list
val scoreboard : (string * real) list -> int list option
end
|
