Give testutils some test-colouring facilities

HOL-Theorem-Prover · Dec 29, 2017 · 4dfc6ba · 4dfc6ba
1 parent 25b94cf
commit 4dfc6ba
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/src/parse/testutils.sig b/src/parse/testutils.sig
@@ -18,4 +18,11 @@ val convtest : (string * (Term.term -> Thm.thm) * Term.term * Term.term) -> unit
 val timed : ('a -> 'b) -> ('b testresult -> unit) -> 'a -> unit
 val exncheck : ('a -> unit) -> 'a testresult -> unit
 
+val bold : string -> string
+val boldred : string -> string
+val boldgreen : string -> string
+val red : string -> string
+val dim : string -> string
+val clear : string -> string
+
 end
diff --git a/src/parse/testutils.sml b/src/parse/testutils.sml
@@ -38,6 +38,7 @@ val boldred = checkterm "\027[31m\027[1m"
 val boldgreen = checkterm "\027[32m\027[1m"
 val red = checkterm "\027[31m"
 val dim = checkterm "\027[2m"
+val clear = checkterm "\027[0m"
 
 val really_die = ref true;
 fun die s =