Searched defs:verbosity (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DSolver.h176 int verbosity; // Verbosity level. 0=silent, 1=some progress report, 2=everything member in class:Solver
/seL4-l4v-master/l4v/tools/c-parser/standalone-parser/
H A Dmain.sml428 val verbosity = Feedback.verbosity_level value
/seL4-l4v-master/HOL4/src/opentheory/postbool/
H A DLogging.sml13 val verbosity = ref 0 value

Completed in 84 milliseconds