formal_ineqs/verifier_options.hl

   1 (* =========================================================== *)\r
   2 (* Options of the verification library                         *)\r
   3 (* Author: Alexey Solovyev                                     *)\r
   4 (* Date: 2012-10-27                                            *)\r
   5 (* =========================================================== *)\r
   6 \r
   7 module Verifier_options = struct\r
   8 \r
   9 let report0 s =\r
  10   Format.print_string s; Format.print_flush();;\r
  11 \r
  12 (* Debug/info printing level:\r
  13    0 - no debug/info printing\r
  14    1 - print important messages only\r
  15    2 - print all information *)\r
  16 let info_print_level = ref 1;;\r
  17 \r
  18 end;;\r